Three new discoveries in mathematics, computer science, and physics
- ID
- 39801
- Status
- summarized
- Published
- 27 Oct 2026, 5:35 AM
- Fetched
- 27 Oct 2026, 11:14 AM
- Provider
- Hacker News
- Category
- dev-community
- Original URL
- https://openai.com/index/building-scientific-understanding-with-academic-communities/
- Source URL
- https://hnrss.org/best
Summary
- Score
- 6.0
- Created
- 27 Oct 2026, 11:15 AM
- Tags
- Audience
- developersai_ml_learnersai_agent_users
What happened
OpenAI announced three model-produced results in harmonic analysis, complexity theory, and quantum field theory (published October 26, 2026), and used each to test a different release process: the math output is released as-is, the computer science result gets an external collaborator group with the AI output made public, and the physics materials are held back at the collaborators' request. The stated principles are no NDAs, no academic credit sought by OpenAI, unpaid voluntary participation, and participants speaking only for themselves. For computer science, the collaborators chose to publish the natural-language proof and its Lean formalization immediately in OpenAI's GitHub repository; the announcement itself does not state what any of the three results actually claim.
Why it matters
The only thing you can actually check today is the CS result: a natural-language proof plus a Lean formalization sitting in a public repo, so a developer with Lean basics can attempt to compile and inspect it rather than trusting the blog post. The announcement gives no theorem statements, no benchmark, and no peer-review status, so treat the 'three discoveries' framing as unverified until the shepherded write-ups land — and note the release template (AI output as 'raw research data', no NDAs, no credit to the vendor) if you ever ship model-generated artifacts under your own name.
Discussion angle
Is 'publish the Lean proof and let anyone compile it' a better accountability mechanism than peer review — and what happens when a formalization compiles but the theorem it formalizes isn't the interesting one?