Import AI 445: Timing superintelligence; AIs solve frontier math proofs; a new ML research benchmark

Will 2026 be looked back on as the pivotal year for making decisions about the singularity?

Import AI·Feb 16

DeepMath: A lightweight math reasoning Agent with smolagents

Hugging Face·Dec 4

Try Deep Think in the Gemini app

We're rolling out Deep Think in the Gemini app for Google AI Ultra subscribers, and we're giving select mathematicians access to the full version of the Gemini 2.5 Deep Think model entered into the...

Google DeepMind·Oct 23

Shape, Symmetries, and Structure: The Changing Role of Mathematics in Machine Learning Research

What is the Role of Mathematics in Modern Machine Learning? The past decade has witnessed a shift in how progress is made in machine learning. Research involving carefully designed and mathematically...

The Gradient·Nov 16

Accelerating Mathematical and Scientific Discovery with Gemini Deep Think

Research papers point to the growing impact of Deep Think across fields

Google DeepMind·Feb 9

Accelerating discovery with the AI for Math Initiative

The initiative brings together some of the world's most prestigious research institutions to pioneer the use of AI in mathematical research.

Google DeepMind·Oct 29

Can GRPO be 10x Efficient? Kwai AI’s SRPO Suggests Yes with SRPO

Kwai AI's SRPO framework slashes LLM RL post-training steps by 90% while matching DeepSeek-R1 performance in math and code. This two-stage RL approach with history resampling overcomes GRPO...

Synced Review·Apr 24

What's Missing From LLM Chatbots: A Sense of Purpose

LLM-based chatbots’ capabilities have been advancing every month. These improvements are mostly measured by benchmarks like MMLU, HumanEval, and MATH (e.g. sonnet 3.5, gpt-4o). However, as these...

The Gradient·Sep 9

Import AI 442: Winners and losers in the AI economy; math proof automation; and industrialization of cyber espionage

Is superintelligence a phase change or a gradual shift?

Import AI·Jan 26

Discovering new solutions to century-old problems in fluid dynamics

Our new method could help mathematicians leverage AI techniques to tackle long-standing challenges in mathematics, physics and engineering.

Google DeepMind·Oct 24

Fixing Open LLM Leaderboard with Math-Verify

Hugging Face·Feb 14

How NuminaMath Won the 1st AIMO Progress Prize

Hugging Face·Jul 11