OpenAI resuelve la Conjetura de Juegos Únicos y 371 problemas abiertos en un solo día
The Mathocalypse
El 6 de octubre de 2026, OpenAI publicó 372 resultados que resuelven problemas abiertos de matemáticas y ciencias de la computación, incluida la Conjetura de Juegos Únicos de Subhash Khot. Aunque hay certificados en Lean, ningún humano ha entendido aún las pruebas. La comunidad teórica se enfrenta a un nuevo mundo donde la IA produce demostraciones crípticas y los matemáticos deben descifrarlas.
It feels like something written by someone who’s on psychedelics. So much unclear and doesn’t make sense. Lots of name dropping of previous work without discussing why it can be used despite impossibility results