The tweet was deleted by the author.
But we saved everything 🙂.
An OpenAI artificial intelligence model has found a counterexample to a mathematical conjecture proposed by Paul Erdős eight decades ago.
Researchers Alex Wei, Hongxun Wu, and Wenzhi Ma shared the story on the OpenAI Podcast with Andrew Mayne, outlining how advanced language models and mathematicians are collaborating to solve longstanding mathematical mysteries. The achievement marks a significant moment, demonstrating the potential for AI systems to contribute independently to mathematical research. The researchers highlighted the importance of AI and human experts working together to explore new frontiers in mathematics, opening possibilities for future breakthroughs.
In a separate development, an OpenAI model previously challenged longstanding consensus on the planar unit distance problem first posed by Erdős. OpenAI has also expanded its enterprise offerings, launching frontier models and Codex on AWS through Amazon Bedrock with enhanced security features. Both advances reflect the company's increasing involvement in advanced mathematical and technical applications.