Modelo de lenguaje grande+Aprendizaje por refuerzo → IA en matemáticas

AlphaProof y AlphaGeometry 2 de DeepMind resuelven 4 de los 6 problemas de la Olimpiada Internacional de Matemáticas: 28 puntos, nivel de plata — deepmind.google ↗

Ciencia · Educación

⚑ Respaldan

• Ciencia / Timothy Gowers: «Demostrar algo que los LLM no puedan demostrar»
• Ciencia / Hugo Duminil-Copin: «La publicación por OpenAI de cientos de demostraciones de IA es un «choque monumental»: para los matemáticos «es el día después»; en uno de los problemas sintió que corría un maratón con alguien a cuestas que se bajó en los últimos 100 metros para cruzar la meta antes que él»
• Ciencia / Jack Clark: «La IA se vuelve creativa, tanto en matemáticas como en la investigación sobre la propia IA, así que la automejora recursiva completa ahora es más probable que sea posible en 2027 que en 2028»

¶ cpmp95wjd