Tag with "Mathematics"

Anthropic's AI, Claude, has achieved a mathematical milestone by formalizing Fermat's Last Theorem in just 11 days. This isn't about discovering a new proof, but converting existing ones into a form that a computer can verify step by step. The AI generated millions of lines of code, proving thousands of theorems along the way. This breakthrough could revolutionize how mathematicians verify complex proofs, making the process faster and more reliable.

OpenBMB has open-sourced MathForm, a framework, dataset, and model that helps AI understand and verify mathematical theorems. The MathForm-8B model, despite its small size, outperforms larger rivals in formalization benchmarks, marking a significant step toward AGI. This breakthrough could make automated theorem proving more accessible and reliable.

In a remarkable display of artificial intelligence's growing capabilities, Claude Opus solved a complex graph theory problem that had eluded Donald Knuth for decades. The Turing Award winner described his astonishment as the AI not only found the solution but demonstrated creative problem-solving akin to human mathematicians. This breakthrough highlights AI's potential as a collaborative partner in advanced mathematical research.

In an unprecedented feat, GPT5.2 has solved 11 of Paul Erdős' legendary unsolved mathematical problems in just two weeks, verified by formal proof tools. The breakthrough has top mathematicians like Terry Tao taking notice, with Harvard's Noam Elkies building on AI-generated solutions. This marks a turning point where artificial intelligence isn't just assisting human researchers - it's making autonomous discoveries at the frontiers of pure mathematics.

In a landmark moment for AI research, GPT-5 has independently solved a complex mathematical problem without human guidance. Swiss mathematician Johannes Schmitt revealed the breakthrough, noting the AI employed creative techniques from unexpected areas of algebraic geometry. The achievement validates predictions by mathematician Terence Tao while sparking debates about AI's role in academic research and the need for new attribution standards in scientific publishing.

OpenAI's claims about GPT-5 solving unsolved mathematical problems have been challenged by experts. While the AI found existing solutions in literature, researchers argue it didn't 'solve' anything new. The controversy highlights ongoing discussions about AI's true capabilities versus marketing hype.

Mathematician Terence Tao collaborated with AI model GPT-5 Pro to solve a complex differential geometry problem in just 11 minutes. The breakthrough highlights AI's growing role in mathematical research and demonstrates a new paradigm for human-AI collaboration.

ByteDance's Seed-Prover, an automated theorem-proving system, successfully tackled four complex problems at IMO2025, showcasing AI's potential in advanced mathematics. The system demonstrated speed, rigor, and innovation, though its model weights remain unreleased.

Google DeepMind's Gemini Advanced AI model has achieved a historic milestone by winning a gold medal at the 2025 International Mathematical Olympiad (IMO). The AI solved five complex problems using natural language processing, demonstrating advanced reasoning capabilities that could redefine AI's role in academic and commercial applications.

Huawei has unveiled its 'Ascend + Pangu Ultra MoE' system, capable of solving advanced math problems in just two seconds without relying on GPUs. The breakthrough highlights Huawei's advancements in domestic computing power and AI model training efficiency.

Google DeepMind unveils AlphaEvolve, an AI system that broke a 56-year-old math record and optimized Google's data centers and chip designs. The self-evolving AI also improved its own training efficiency by 23% and solved complex problems like the "kissing number" in 11-dimensional space.

**Summary** 1. Shanghai AI Lab has recreated OpenAI’s Olympiad tool, LLaMA-O1, open-sourcing it for the world. 2. The project harnesses Monte Carlo Tree Search, reinforcement learning, and AlphaGo Zero architecture. 3. LLaMA-O1 excelled in tackling mathematical Olympiad problems, outperforming most closed-source models. 4. The project uses Google’s Gemma2 as a base for training. 5. The mysterious GitHub account SimpleBerry is behind the LLaMA-O1 code, while another project, O1-Journey, from Shanghai Jiao Tong University, is also progressing fast.