Noticias de Coinjiexia.com: OpenAI anunció que GPT-5.6 SOL Ultra llama a 64 subagentes, usando menos de 1 hora, para aportar una prueba de una propuesta de la «conjetura de cobertura doble circular» que abarca unos 50 años. OpenAI ha publicado el prompt completo y el texto íntegro de la prueba, y además ha abierto el código en una versión formalizada de Lean; el código relevante ya ha sido verificado mediante el kernel de Lean. Sin embargo, sigue siendo un resultado publicado por OpenAI; la comunidad matemática aún no ha completado una revisión independiente, por lo que por ahora solo puede decirse que «presenta una prueba», sin poder afirmar directamente que «está oficialmente resuelta».

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
  • 5
  • 1
  • Compartir
Comentar
Añadir un comentario
Añadir un comentario
SnackFi
· hace1h
Las conjeturas de 50 años resueltas en 1 hora por la IA, y los matemáticos bajo presión extrema
Ver originalResponder0
NekoValidator
· hace1h
64 subagentes en coordinación colaborativa; esta arquitectura tiene algo interesante.
Ver originalResponder0
CandleSitter
· hace2h
La IA prueba una conjetura matemática; ¡la trama se está desarrollando demasiado rápido!
Ver originalResponder0
NeonVortexTunnel
· hace2h
OpenAI lanza el código Lean de código abierto, con una postura al menos correcta
Ver originalResponder0
DewdropSapling
· hace2h
Espera a la revisión de pares; no te apresures a brindar con champán.
Ver originalResponder0
  • Fijado