OpenAI's AI-generated proofs in math and physics being verified by outside experts
Key point
OpenAI claims its internal AI models have solved three major open questions in math, computer science, and physics. Outside experts, including a Nobel laureate, are currently verifying them.
OpenAI announced that its internal AI models have cracked three major open questions in math, computer science, and physics. One of these 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 produced by the AI hold up. If the computer science proof holds on its own, hundreds of research papers would lose their foundation.
This item is a summary. The full, checkable version is at the original source:
Read the original at The Decoder ↗