OpenAI publica 722 manuscritos matemáticos y el sector reacciona con duelo
OpenAI publicó 722 manuscritos matemáticos agrupados en 372 familias de investigación, muchos con versiones formalizadas en Lean, un lenguaje que permite a una computadora verificar cada paso lógico. La colección abarca matemática pura, informática teórica y física matemática. Matemáticos como Hugo Duminil-Copin, ganador de la Medalla Fields en 2022, y Steven Strogatz describen el lanzamiento como un golpe a su campo de investigación.
Qué significa
Los resultados incluidos quedan verificados paso a paso por una computadora, lo que facilita comprobarlos sin revisión humana completa. Quien trabaje en matemática teórica debe contar con que parte de su terreno ya está cubierto por estos manuscritos.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- El Ecosistema StartupLeer la noticia completa en El Ecosistema Startup