Wes Roth · AI

OpenAI HEEFT zojuist wiskunde opgelost....

OpenAI zegt dat 10,000 AI-agenten in slechts 88 uur een voorgestelde oplossing voor het Navier–Stokes Millennium Prize Problem hebben geproduceerd. Maar de aankondiging heeft een geschil doen oplaaien over erkenning, concurrerend onderzoek en de rol van menselijke wiskundigen. We ontleden de wiskunde, het werk van Tristan Buckmaster en Levent Alpöge, de reactie van OpenAI en wat dit zou kunnen betekenen voor de toekomst van wetenschappelijke ontdekkingen. Van de vergelijkingen van Euler en vloeistofdynamica tot Lean-bewijsverificatie

Introductie van de bron.