Published • loading... • Updated
OpenAI claims major proofs in math, computing and quantum physics
OpenAI said outside experts will review the claims as the company releases math proofs and funds independent work on the findings.
- On Monday, OpenAI announced an internal model produced a claimed refutation of the Exponential Time Hypothesis, releasing the model's write-up and a Lean-verified proof on GitHub.
- To manage scrutiny, OpenAI enlisted external experts to act as "shepherds" guiding the results. Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams lead an independent group examining the ETH claim.
- Beyond the ETH refutation, the model produced a proof of the local smoothing conjecture in every dimension, resolving the Kakeya conjecture. OpenAI also claims a rigorous proof for certain interacting quantum field theories in four dimensions.
- The AGMAI panel of math advisers advised yesterday against designating specific people to receive output first, citing "unequal access, borrowed reputation, and biased selection" as primary concerns.
- OpenAI committed $5m to the Simons Foundation for workshops on AI-produced results. Researchers are debating how credit should recognize AI discoveries versus human verification work.
Insights by Ground AI
39 Articles
39 Articles
OpenAI's official publication proposes a change in the relationship between AI and scientific research.
OpenAI reports new successes of its AI. It has solved three old riddles of mathematics, computer science and quantum physics.
·Berlin, Germany
Read Full Article
The company has released its findings through a press release on the novelties in harmonic analysis, computational complexity theory and quantum field theory.
·Madrid, Spain
Read Full Article
A Step Towards Solving the Millennium Challenge: OpenAI Announced Three New AI Science Breakthroughs
OpenAI AI models refuted the exponential time hypothesis and proved the local smoothing hypothesis.
·Kyiv, Ukraine
Read Full ArticleCoverage Details
Total News Sources39
Leaning Left7Leaning Right4Center5Last UpdatedBias Distribution44% Left
Bias Distribution
- 44% of the sources lean Left
44% Left
L 44%
C 31%
R 25%
Factuality
To view factuality data please Upgrade to Premium
