Ten advances in mathematics and theoretical computer science (openai.com)

In a groundbreaking initiative, OpenAI has announced free access to advanced ChatGPT models for 100,000 scientists and mathematicians, aiming to enhance research capabilities in mathematics and theoretical computer science. This move follows the AI's success in generating significant results, such as a disproof of the Erdős unit-distance conjecture, which has already influenced ongoing mathematical inquiries. The announcement includes ten new results addressing longstanding open problems across various domains, including high-dimensional geometry, coding theory, and quantum complexity, achieved using Astra, an advanced internal model. Each result has implications for its respective field, such as improved bounds in sphere packing density and a polynomial-factor hardness for the closest vector problem, which is crucial for post-quantum cryptography. Furthermore, the process of developing these results involved a combination of AI-generated arguments and human preparation to formalize proofs. OpenAI emphasizes the importance of accurately depicting the role of AI in generating mathematical insights, urging the mathematical community to engage with these discoveries while navigating the evolving landscape of research collaboration. This initiative not only accelerates mathematical discovery but also prompts critical discussions on AI's role and attribution in scientific contributions.