OpenAI claimt oplossing voor complex wiskundig vraagstuk
Een intern AI-systeem van OpenAI heeft een bewijs geleverd voor een bekend wiskundig probleem rond vloeistofbewegingen. Het resultaat is tevens vastgelegd in een formele programmeertaal.
OpenAI heeft bekendgemaakt dat een interne AI-toepassing erin is geslaagd om een hardnekkig wiskundig vraagstuk over vloeistofdynamica op te lossen. Het gaat om vergelijkingen die beschrijven hoe vloeistoffen en gassen stromen, waarbij het systeem heeft aangetoond dat er binnen een eindige tijd singulariteiten kunnen ontstaan. Bij de bekendmaking is zowel een documentatie van het bewijs als een formele verificatie gedeeld.
Toenemende rol van AI in de wetenschap
Het oplossen van ingewikkelde wiskundige vraagstukken behoorde traditioneel uitsluitend tot het domein van menselijke wetenschappers, die hier soms decennia over doen. De laatste jaren proberen technologiebedrijven echter steeds vaker om geavanceerde systemen in te zetten voor theoretische wetenschap en formele bewijsvoering. Dit soort mijlpalen illustreert hoe machine learning verschuift van taaltaken en creatieve toepassingen naar fundamenteel onderzoek.
Deze samenvatting is gebaseerd op een origineel artikel van Unite.AI. Lees het volledige, originele bericht bij de bron.
Lees het originele artikel