Skip to content
Bramble

Technology

OpenAI announces three 'major' science results and names outside experts to vet them

On 26 October OpenAI announced AI-produced results in mathematics, computer science and physics, including a claimed refutation of the Exponential Time Hypothesis. It said outside experts, called "shepherds", would help verify and explain them. None of the results has been independently confirmed.

2 outlets · 1L · 1C · 0R First reported Account updated
Image: The Verge
Image: Hindustan Times

1 / 2

The story, neutrally told

Mixed · 2On Monday 26 October OpenAI announced three "major" discoveries in mathematics, computer science and physics. Mixed · 2In computer science, OpenAI says it has a deterministic algorithm that counts satisfying assignments of fixed-width CNF formulas in subexponential time and polynomial space. It says the 3-SAT case refutes the Exponential Time Hypothesis (ETH), which was widely believed to be true. Left · 1In mathematics, OpenAI says its model proved the local smoothing conjecture in every dimension. It says this also resolves the Kakeya conjecture and Stein's restriction conjecture in all dimensions.

Left · 1The Verge notes that NYU professor Hong Wang was awarded a Fields Medal a few months ago for resolving the Kakeya conjecture in three dimensions. Mixed · 2The physics result has not been released in full. OpenAI describes it as a "mathematically rigorous existence proof of certain interacting quantum field theories containing gauge fields and fermions in four dimensions, including Quantum Chromodynamics (QCD) and a unified completion of the Standard Model of particle physics." Centre · 1What OpenAI says is new is the use of external experts as "shepherds", who organise groups to understand the results. OpenAI said it was "experimenting with a new approach" to turn raw research output into scientific understanding.

Left · 1David Gross will lead a group including Michael Douglas, Arthur Jaffe, Igor Klebanov and Nikita Nekrasov to shepherd the physics work. Left · 1For the ETH result, a working group led by Russell Impagliazzo, Ramamohan Paturi and Ryan Williams will examine and explain the proof. Impagliazzo and Paturi, of UC San Diego, were part of the group that proposed the ETH in 1999. At the group's request, the write-up and Lean proof were posted publicly on GitHub immediately. Left · 1For the mathematics result, OpenAI released the model output directly, as it did on 6 October. The Verge reports that the experts advised this so researchers could work out their own explanations.

Centre · 1The announcement follows OpenAI's release last month of hundreds of manuscripts claiming solutions to long-standing maths problems. Hindustan Times says the company was criticised for bypassing academic peer review then. Left · 1The Verge adds that the new approach may have its own problems, which the company admits. It says an AGMAI panel of math advisers assembled by OpenAI said a day earlier, "we recommend that AI companies do not adopt" the practice of designating certain people to receive output first. The panel cited unequal access, borrowed reputation and biased selection. It instead recommended releasing output on scholarly repositories with Lean-formalised proofs, information on how problems were chosen, and funding for people working to understand the results.

Every sentence links to the reporting it rests on. The pill in front of each says where its sources sit: Left, Centre or Right when one side supplies at least half of them, Mixed when they are evenly split. The number is how many outlets it cites.

Left1 outlet

Framing
The Verge treats the announcement as a new way of working with academics and sets it against an advisory panel's warning against the same practice.
Emphasis
The tension between OpenAI's shepherd model and the AGMAI panel's recommendations; the Fields Medal context for Kakeya.
Leaves out or plays down
Does not quote any independent expert's verdict on whether the proofs are correct.
Charged language
“major”
For example
“This approach could have its own issues, the company admits” — The Verge
“What’s different this time is the choice to have external experts that OpenAI describes as “shepherds”” — The Verge

Centre1 outlet

Framing
Hindustan Times reports the announcement largely through OpenAI's own words, as three claimed breakthroughs and a changed approach after earlier criticism.
Emphasis
The three headline claims, the earlier peer-review criticism and the named expert leads.
Leaves out or plays down
Does not mention the AGMAI panel's recommendation against designated early recipients. It also does not say that the ETH write-up and Lean proof were posted on GitHub.
Charged language
“major”“breakthroughs”
For example
“OpenAI claims three major breakthroughs in physics, mathematics and computer science, including resolving two mathematical conjectures and challenging ETH.” — Hindustan Times
“This time, the company followed a different approach by incorporating academics as "shepherds" to guide the findings.” — Hindustan Times

Right0 outlets

No right outlet in our sources has covered this story yet.

Ask about this story

Loading…