Topic: mathematical reasoning
-
DeepMind's AI Masters Mathematical Proofs
DeepMind's AlphaProof system achieved performance comparable to silver medalists at the 2024 International Mathematical Olympiad, marking a significant advance in AI's abstract reasoning and logical deduction capabilities. Historically, computers excelled at numerical tasks but struggled with dee...
Read More » -
Gemini Wins Elite Coding Contest: A Major Step Toward AGI
Google's Gemini 2.5 AI achieved a gold medal-level performance at the 2025 ICPC World Finals by solving 10 out of 12 complex problems, showcasing significant progress in automated reasoning and generalized machine intelligence. The model outperformed most human contestants using a multi-agent sys...
Read More » -
Unlock Claude Sonnet 4.5: Your Next Coding Breakthrough
Anthropic has launched Claude Sonnet 4.5 as its premier coding model, offering significant performance improvements in coding, reasoning, and computer tasks to accelerate software development. The model excels in real-world software engineering benchmarks, outperforming previous versions and comp...
Read More » -
AI Can Now Separate Memory from Reasoning
Researchers discovered that memory and reasoning operate through separate neural pathways in AI models, enabling the creation of more efficient and specialized systems by selectively disabling one function without affecting the other. Experiments showed that disabling memorization pathways reduce...
Read More » -
Google Launches Gemini 3 AI Model and Antigravity IDE
Google has launched the Gemini 3 Pro AI model and the Antigravity IDE, expanding its AI ecosystem and reinforcing its AI-first strategy with immediate availability for developers and users. Gemini 3 Pro features enhanced reasoning and multimodal understanding, achieving a top ELO score of 1,501 o...
Read More »