Physix Frontier badgePhysix Frontier
PublishChinese | EN

Physix Frontier · News Briefing Card (Hacker News · Oct 17, 2026)

OpenAI Releases AI Proof of Mahler Conjecture

KEY FACTS

  • OpenAI released 373 problem solutions on Tuesday, with entry #087 being a proof of the Mahler conjecture.
  • The proof constructs a symplectic embedding of a ball of radius 2/√π into K×K°.
  • This yields the volume inequality Vol(K×K°)≥4^n/n!, resolving the symmetric case.
  • Two other AI papers respectively characterize the equality condition and prove the asymmetric version.
  • One mathematician said their unpublished technique was applied by AI first.

KEY DATA

373Number of problem solutions released
45Proof document page count
2/√πBall radius
1Number of paragraphs discussing the symmetric case

PHYSIX OBSERVATION

AI is starting to produce proof techniques that human mathematicians have not yet published, which is more alarming than topping leaderboards. The math community needs to shift from "digesting proofs" to "rigorous diagramming," otherwise understanding will lag behind generation. For users, AI is turning from a tool into a collaborator, but the cost of verification and explanation is actually higher.

Source: Hacker News report