OpenAI afirma haber resuelto un problema matemático de 80 años de antigüedad, esta vez de verdad
El nuevo modelo de razonamiento de OpenAI ha refutado de forma autónoma una famosa conjetura geométrica, recibiendo el respaldo de matemáticos destacados.Resumen
OpenAI ha anunciado que su nuevo modelo de razonamiento general ha resuelto una importante conjetura matemática propuesta originalmente por Paul Erdős en 1946. A diferencia de afirmaciones anteriores de la empresa sobre problemas matemáticos resueltos que carecían de verificación, esta prueba cuenta con el respaldo de matemáticos destacados como Noga Alon, Melanie Wood y Thomas Bloom. El modelo descubrió una nueva familia de construcciones que refuta la creencia de que las soluciones óptimas debían ser estructuras de rejillas cuadradas. Este logro marca un hito, ya que demuestra que los sistemas de IA son capaces de realizar cadenas de razonamiento complejas de manera autónoma, lo que tiene implicaciones significativas para campos como la biología, la física y la ingeniería.
(Fuente：TechCrunch)