The most exciting claims from OpenAI’s heap of new proofs
Scientists have called out several math and computer science results as the most significant in the company’s overwhelming new deluge of achievements
Żadne inne medium obserwowane przez Zonactu nie podaje jeszcze tej wiadomości.
On Tuesday afternoon OpenAI dropped more than 700 manuscripts reporting proofs, solutions and progress on 372 open problems across theoretical research.
It will take time for mathematicians to trudge through all the artificial-intelligence-generated results. No one, not even OpenAI researchers themselves, has been able to even read through everything yet. And not all of the proofs were certified as correct by the automatic logic verification platform Lean—in fact, some have already been retracted after outside scientists found mistakes. OpenAI also did not include full prompts or run-time…
