🔢 AI Solved 6 Paul Erdős Mathematical Problems in 5 Days
Researcher Shouqiao Wang claims to have solved six open mathematical problems by Paul Erdős using OpenAI's GPT-5.6 Sol model. The use of the Codex workflow enabled results through a structured approach to proof searching.
🌍 This demonstrates the transition of AI from chatbots to specialized research agents capable of multi-agent orchestration and long-term search. This could change the pace of scientific progress.
👤 AI is becoming a tool for solving problems that were previously considered inaccessible to automation. This is a signal of the growing autonomy of future AI agents.
Source 1: https://x.com/Qiaoqiao2001/status/2080003441821163958
Source 2: https://windowsforum.com/threads/gpt-5-6-sol-erdos-problem-119-claim-remains-unverified.439743/