OpenAI says its internal AI models have cracked three major open questions in math, computer science, and physics. One of them is part of a famous Millennium Prize Problem, each of which carries a $1 million prize. Outside experts, including a Nobel laureate, are now checking whether the proofs hold up. If the computer science proof holds on its own, hundreds of research papers lose their foundation.
The article OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics appeared first on The Decoder.
source & further reading
the-decoder.com — original article
Researchers find six patterns that make AI text so exhausting to read
Nvidia open-sources Flora to make robot video labeling 125x cheaper than GPT-6 Astra
Anthropic co-founder Jack Clark moves his prediction for self-improving AI forward to 2027