The Claim

The claim, rendered from the Korean original, reads: "OpenAI nears a solution to another Millennium math problem, the Hodge Conjecture." The word "another" is doing heavy lifting — it ties the story to prior reports of AI-assisted progress on the Navier-Stokes problem. Read literally, the claim promises two things: that research linked to OpenAI is actively advancing on the Hodge Conjecture, and that a solution is near.

What the Sources Show

The desk examined the 10 primary sources behind the report. The record supports the premise that work connected to OpenAI has generated genuine movement on the Hodge Conjecture and that the company's models are being pushed at hard, open problems in mathematics. What the record does not establish is a completed proof. None of the material reviewed amounts to an accepted solution of the conjecture, and in mathematics the distance between "close" and "solved" is notoriously wide — celebrated near-solutions can linger for generations without ever crossing the line.

Why It Matters

The Hodge Conjecture ranks among the most prestigious open questions in mathematics, and any AI-assisted advance would be consequential — and closely watched in Korea, where AI labs, semiconductor makers and research institutes are racing to gauge the trajectory of frontier models. The episode is also a reminder that headlines about machines "solving" famous problems routinely outrun the slower, peer-driven process by which mathematics actually accepts a new result. On the evidence reviewed, the claim's core premise holds while its most dramatic implication — an imminent solution — is not established, so our desk rates it Partly True.