AI advances in mathematics: OpenAI’s Astra solves 10 problems for $2,000

Something unusual is happening in the world of pure mathematics, and it isn’t coming from a university lab. OpenAI says an internal AI system has helped crack ten mathematical and computer-science problems that have sat unsolved for at least a decade, in some cases far longer. The announcement, paired with a separate initiative opening advanced ChatGPT access to 100,000 researchers, signals that AI advances in mathematics are moving from novelty to genuine research infrastructure.

Key takeaways

• OpenAI launched ChatGPT for Academic Researchers, giving 100,000 scientists and mathematicians free access to its top ChatGPT models.
• An unreleased OpenAI model produced an AI-generated disproof of the Erdős unit-distance conjecture in May.
• Ten new results, achieved with an internal version of a next-generation model called Astra, solve open problems across eight fields of mathematics and theoretical computer science.
• Finding the solutions cost roughly $2,000 in tokens at Sol API rates, according to OpenAI.
• Human researchers turned the AI-generated arguments into manuscripts, and the model then formalized each proof in a Lean certificate.

OpenAI opens ChatGPT access to 100,000 academic researchers

OpenAI’s starting point for this push is access, not just output. The company recently rolled out ChatGPT for Academic Researchers, an initiative that hands 100,000 scientists and mathematicians free use of its most capable ChatGPT models. The idea, as OpenAI frames it, is to put stronger reasoning tools directly into the hands of people working on unsolved problems, rather than keeping the most advanced models behind a paywall reserved for enterprise customers.

… Continue reading the full article at the original source below.