OpenAI afirma que el modelo Astra sin publicar resolvió 10 problemas matemáticos abiertos
El laboratorio publicó un documento de 249 páginas, transcripciones del razonamiento y certificados en Lean para afirmaciones que abarcan geometría, criptografía y complejidad cuántica.
By Ryan Merket · Published
Primary source: Noam Brown on X
Por qué importa
Astra le da a OpenAI la evidencia más clara de que los modelos de frontera pueden generar resultados de investigación auditables, abriendo un mercado para sistemas de IA vendidos como infraestructura de descubrimiento.
OpenAI dijo el 1 de agosto que una versión interna de Astra, su próximo modelo importante, produjo nuevos resultados para 10 problemas de larga data en matemáticas y ciencias de la computación teóricas, una afirmación que empuja la competencia de vanguardia en IA más allá de las puntuaciones de benchmarks y hacia trabajo que puede ser inspeccionado por matemáticos de investigación.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.