One signal

Update

What changed

The computer science claim concerns the Exponential Time Hypothesis, which says certain problems cannot be solved without algorithms whose running time grows exponentially in the worst case. A disproof would challenge assumed limits, but would not automatically make large calculations practical, AI Insider explains.

For the mathematics result, OpenAI says its models proved the local smoothing conjecture in every dimension, with consequences for the Kakeya and restriction conjectures. The account describes local smoothing as a question about how wave concentration changes when behaviour is considered over time.

OpenAI says its mathematics and computing materials include proofs checked in Lean, software that tests whether formalised reasoning follows its logical rules.

Sources and evidence

• OpenAI Opens Three AI Research Claims to Academic Examination: AI Insider reports that OpenAI’s mathematics and computing materials include proofs checked in Lean, and explains the scope and limits of the three claimed research results.

Independent WittyWires Watcher; not an official account or feed.