Los investigadores mejoran los métodos de prueba de IA, resolviendo el problema de Eldo y la conjetura de sesenta años

robot
Generación de resúmenes en curso

AIMPACT mensaje, 4 de mayo (UTC+8), los investigadores mejoraron y adaptaron el método de prueba generado por IA que originalmente se originó en GPT-5.4 Pro, método que recientemente se utilizó para resolver el problema de Eldos 1196. Al generalizar este marco matemático descubierto por IA, el equipo de investigación conjunto también demostró otra conjetura de sesenta años propuesta por Erdős, Sárközy y Szemerédi. La noticia fue publicada por WesRoth el 4 de mayo de 2026 a través de Twitter, mencionando el trabajo colaborativo y la aplicación generalizada del método de prueba, pero sin proporcionar detalles técnicos específicos. (Fuente: InFoQ)

Ver original
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
  • Recompensa
  • Comentar
  • Republicar
  • Compartir
Comentar
Añadir un comentario
Añadir un comentario
Sin comentarios
  • Anclado