Frontier LabsUna IA acaba de resolver un difícil problema abierto en matemáticas puras. Los matemáticos están conmocionados.
El modelo Astra de OpenAI resolvió este mes una pregunta de larga data en teoría de grupos. Un matemático en ejercicio explica por qué parecía imposible hace solo semanas.
