3 stories tagged ai-proofs, newest first.
23 points by paulorlando | 9 comments
Blog essay on mathematicians' emotional reactions to AI-generated proofs, framing it as the end of math's romantic era and comparing it to past industrial disruptions.
50 points by danielmorozoff | 5 comments
New Scientist article reporting that OpenAI's human-readable Navier-Stokes proof and its computer-formalized version do not match due to mistranslation into code.
92 points by tomjakubowski | 46 comments
Scientific American article on whether OpenAI's claimed Navier-Stokes proof qualifies for the $1-million Millennium Prize only through a controversial loophole.