News

Navigating the ever-expanding universe of AI models can feel overwhelming. With OpenAI continually releasing new versions of ...
OpenAI’s o3-mini solves centuries-old math problems, reshaping discovery and sparking debates on AI’s role in human ...
Parameters roughly correspond to a model’s problem-solving skills, while MoE breaks down tasks into subtasks and delegates them to smaller, specialized “expert” components. DeepSeek last ...
Despite its smaller size, DeepSeek-R1-0528-Qwen3-8B beats Google’s Gemini 2.5 Flash on a tough math test called AIME 2025 and ...
Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest ...
Alexandria Bradley & Sarah Waite guest blog on their qualitative evaluation of Greater Manchester's women's problem-solving ...