Investigador de FirstPrinciples publica preprint asistido por IA sobre conjetura de grafos de 1989
Randy Davila usó Theo Conjecture, OpenAI Codex y pruebas exactas para desarrollar una prueba que aún no ha sido revisada por pares.
By Ryan Merket · Published
Primary source: FirstPrinciples
Por qué importa
El preprint ofrece una prueba concreta de las matemáticas asistidas por IA: Theo Conjecture y OpenAI Codex apoyaron la búsqueda, las pruebas y la revisión, mientras que la demostración resultante permanece abierta a la revisión por pares y al escrutinio independiente.
Ildar Shar, el ex director ejecutivo de StackAdapt que fundó FirstPrinciples en 2024, está construyendo la empresa de investigación alrededor de una proposición difícil: los sistemas de IA pueden participar en la ciencia original sin pedir a los investigadores que confíen en una caja negra. Un nuevo resultado en matemáticas ofrece hasta ahora la prueba más clara de esa tesis.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.