A «Mathocalypse» e a revelação como regime normal
Em 6 de outubro de 2026, a OpenAI publicou 722 manuscritos de matemática produzidos por um modelo interno ainda não disponibilizado ao público. Organizados em 372 famílias de resultados, os manuscritos cobrem várias áreas da matemática e da ciência da computação teórica; alguns incluem formalizações em Lean.
