Mmastodon TechnologyTechnology first seen 1 d ago, last 1 d ago, peak #8
OpenAI mistranslated maths in Navier-Stokes proof attempt
Original: OpenAI mistranslated mathematics into code for its Navier-Stokes proof https://www.newscientist.com/article/2592824-open
OpenAI's claimed proof of the Navier-Stokes equations has come under scrutiny after its mathematics was found to have been incorrectly translated into code. The Navier-Stokes problem is one of the Millennium Prize Problems, and any purported solution attracts intense scrutiny. Commenters are debating what the error means for AI systems attempting formal mathematical proofs.
Why now: A claimed AI-generated proof of a famous unsolved mathematics problem contains errors, drawing criticism and debate about AI's role in mathematics
OpenAINavier-Stokes equationsNew Scientist
Evidence
- OpenAI mistranslated mathematics into code for its Navier-Stokes proof https://www.newscientist.com/article/2592824-openai-mistranslated-mathematics-into-code-for-its-navier-stokes-proof/ # HackerNews # Tech # AI · hackernews@robot.villas · 5
API: https://socialmediatrends-api.osmike.com/v1/trends/1684675