OpenAI publica 722 manuscritos que resuelven problemas abiertos de matemáticas
OpenAI releases 722 math manuscripts
OpenAI ha liberado una colección de 722 manuscritos que abarcan 372 familias de resultados, con demostraciones de la conjetura de Goldfeld, la irracionalidad de la constante de Catalan, la hipótesis cuasi-Riemann y una respuesta negativa al décimo problema de Hilbert sobre los racionales. Los trabajos incluyen pruebas asistidas por Lean y cubren desde la conjetura de Deligne–Drinfeld hasta la exclusión uniforme de ceros de Landau–Siegel.
Proves that no algorithm decides whether an integer-coefficient polynomial in an arbitrary number of variables has a rational zero, resolving Hilbert's tenth problem over ℚ negatively.