News

Google DeepMind develops AlphaEvolve AI agent optimized for coding and math
Alphabet Inc.’s Google DeepMind unit today detailed AlphaEvolve, an artificial intelligence agent that can tackle complex ...
Hosted on MSN21d
Microsoft's Phi-4-Reasoning Models Bring AI Math and Logic Skills to Smaller Devices
It is made to work well in places where computing power or speed is limited ... Microsoft says this model can outperform other models more than twice its size on certain math benchmarks.
DeepSeek upgrades its math-focused AI model Prover
Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theorems.
WinBuzzer1d
Google Unveils Gemini 2.5 Pro ‘Deep Think’ for Advanced AI Reasoning, Improves 2.5 Flash Model
Google boosts its Gemini 2.5 AI with a 'Deep Think' option for Pro, and enhances its Gemini 2.5 Flash model.
Microsoft’s most capable new Phi 4 AI model rivals the performance of far larger systems
Microsoft has launched several new 'open' AI models, the most capable of which is competitive with OpenAI's o3-mini on at ...