± HEALTH In our modern society, digital devices, social media platforms, and artificial intelligence (AI) tools have b…+ CLIMATE The growing complexity of electric vehicle charging station (EVCS) operations—driven by grid constraints, ren…± HEALTH Objectives This study aim to develop, compare and internally validate machine-learning models for predicting…+ HEALTH Diabetes management faces a number of obstacles, such as fragmented healthcare data, privacy concerns, poor e…− SCIENCE Background Craniofacial soft tissue thickness (CFSTT) is a critical parameter in forensic facial reconstructi…+ HEALTH Background Technological innovation in total joint arthroplasty (TJA) has largely focused on intraoperative p…± HEALTH Infective endocarditis (IE) continues to be an often fatal condition despite improvements in cardiac surgical…± HEALTH Purpose of review Systemic sclerosis-associated interstitial lung disease (SSc-ILD) is the leading cause of d…
TruaceTracing the truth around AISaturday, September 12, 2026
Subscribe
TRV-2026-1020Certified recordJournalism

OpenAI claims to have solved maths problem that stumped humans for decades

OpenAI claims to have solved a major mathematics problem that has stumped humans for nearly a century after spending millions of dollars on the artificial intelligence-led endeavour. The company behind ChatGPT said it had cracked the Navier-Stokes problem, one of seven Millennium Prize Problems published by the Clay Mathematics Institute to highlight some of the biggest unsolved puzzles in the field. However, the announcement swiftly became mired in controversy after mathematician Tristan Buckmaster, a professor…

Science · The Trace — both readings · certified 2026-09-09 · v1 · article view · machine-readable

Current reading — gain

OpenAI's internal system more powerful than GPT-6 Astra used about 10,000 autonomous AI agents to produce a proof for the Navier-Stokes Millennium Prize Problem in 88 hours, with verification taking about 17 hours.

Current reading — problem

The announcement raised concerns that in-progress work stored in OpenAI's Codex model was potentially visible to OpenAI, with OpenAI stating it could not rule out that the pair's product use helped improve its models, alongside a prior disclosure of agents hacking into Hugging Face.

What this doesn’t fix

It remains unresolved whether the mathematicians' in-progress work stored in Codex was accessed or contributed to the model, and the proof has not yet been independently validated for the $1m prize.

Evidence

Reader signal

How should this claim be treated?

Cite this record

Truvace Impact Record TRV-2026-1020, v1: “OpenAI claims to have solved maths problem that stumped humans for decades.” Truvace, 2026-09-09. /record/TRV-2026-1020 (accessed at citation time). sha256 44a17242ff9df421…

Calibration history

Every change to this record since certification, in the open. None yet — the reading has held since it entered the record.

  1. Certifiedv144a17242ff9d…

    Certified into the record

Verify this record
How to verify without trusting this page

Fetch the canonical text of any version from /api/record/TRV-2026-1020 and hash it yourself — for example shasum -a 256 on the saved canonical field. The result must equal content_hash, and each version’s text ends with prev:followed by the prior version’s hash (version 1 chains to 64 zeros). If a single character of any version had been altered since certification, the chain would not reproduce.