Development

A model solves a FrontierMath problem no model had solved

development2026-02-23

Claim

Gemini 3.1 Pro solved a FrontierMath Tier 4 problem no model had solved before, pushing machine reasoning past what most professional mathematicians reach.

Reporting date: 2026-02-23 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to February 23, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

About

FrontierMath

Reported in

Welcome to February 23, 2026

Actor

Google

Evidence for

Supersedes

FrontierMath Tier 4 jumps from 19% to 31%

Referenced by

Cite or correct this record

Citation formatCitation text

A model solves a FrontierMath problem no model had solved
Innermost Loop KB — secondary record
Reporting date: 2026-02-23
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-02-23-frontiermath-problem-nobody-had-solved
Claim: Gemini 3.1 Pro solved a FrontierMath Tier 4 problem no model had solved before, pushing machine reasoning past what most professional mathematicians reach.
Attributed sources:
- Welcome to February 23, 2026 — https://theinnermostloop.substack.com/p/welcome-to-february-23-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.