OpenAI has announced significant advances in mathematics and theoretical computer science, utilizing an internal version of their next major model, Astra. The company revealed solutions to ten long-standing problems that had seen no progress for at least a decade, spanning fields such as high-dimensional geometry, group theory, and lattice cryptography.

Key achievements include the disproof of Connes’s rigidity conjecture and providing new results for multicolor Ramsey numbers, resolving Erdős problem 183. The model also provided new lower bounds for computing the permanent using arithmetic circuits. To ensure rigor, the arguments were formalized into a Lean certificate and accompanied by a narration of the model's thinking process.

OpenAI emphasized its responsibility to the mathematical community, stating that while the system generated the arguments, humans prepared the manuscripts. This initiative aims to empower scientists through tools that accelerate discovery, as seen with their recent 'Chat GPT for Academic Researchers' program providing access to 100,000 scientists.