OpenAI meldt doorbraak rond wiskundig vraagstuk
Een intern AI-systeem van OpenAI heeft een bewijs geleverd voor een complex vraagstuk over vloeistofdynamica. Het resultaat is tevens geformaliseerd met behulp van de Lean proof assistant.
OpenAI heeft bekendgemaakt dat een intern ontwikkeld AI-systeem erin is geslaagd om een formeel bewijs te leveren voor een bekend wiskundig probleem. Het betreft de Navier-Stokes-vergelijkingen, die het gedrag van vloeistoffen en gassen beschrijven. Volgens de aankondiging toont het systeem aan dat in deze vergelijkingen in eindige tijd singulariteiten kunnen ontstaan. Het bewijs is daarbij gecontroleerd en vastgelegd met behulp van gespecialiseerde software.
De rol van AI in de fundamentele wetenschap
Het oplossen van ingewikkelde wiskundige vraagstukken geldt al langere tijd als een ultieme test voor de capaciteiten van geavanceerde algoritmen. Traditioneel vereist dit soort onderzoek jaren van menselijk speurwerk door specialisten. Het vermogen van kunstmatige intelligentie om hierin stappen te zetten, laat zien hoe computermodellen steeds vaker worden ingezet voor fundamenteel theoretisch onderzoek en het verifiëren van complexe logische structuren.
Deze samenvatting is gebaseerd op een origineel artikel van Unite.AI. Lees het volledige, originele bericht bij de bron.
Lees het originele artikel