Development

A conjecture from 2019 is settled and its author approves

development2026-03-24

Claim

GPT-5.4 Pro cracked the first open problem in the FrontierMath Open Problems benchmark, and Will Brian, the professor who posed the conjecture in 2019, called it an exciting solution that eliminated an inefficiency in his construction.

Reporting date: 2026-03-24 (not necessarily the event date)

Sources

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

Welcome to March 24, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

About

FrontierMath

Reported in

Welcome to March 24, 2026

Actor

OpenAI

Evidence for

Supersedes

A model solves two open problems, improving on published results

Referenced by

Cite or correct this record

Citation formatCitation text

A conjecture from 2019 is settled and its author approves
Innermost Loop KB — secondary record
Reporting date: 2026-03-24
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-03-24-first-frontiermath-open-problem-solved
Claim: GPT-5.4 Pro cracked the first open problem in the FrontierMath Open Problems benchmark, and Will Brian, the professor who posed the conjecture in 2019, called it an exciting solution that eliminated an inefficiency in his construction.
Attributed sources:
- Welcome to March 24, 2026 — https://theinnermostloop.substack.com/p/welcome-to-march-24-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.