DeepMind's kunstmatige intelligentie heeft voor het eerst in de geschiedenis een nieuwe oplossing gevonden voor een complex wiskundeprobleem
DeepMind
DeepMind heeft Large Language Model (LLM) technologie gebruikt om een nieuwe oplossing te vinden voor de zogenaamde "multiple covers puzzle", een van de moeilijkste onopgeloste wiskundige problemen.
Dit is wat we weten
Bij dit probleem gaat het erom het maximale aantal punten in het vlak te bepalen dat verbonden kan worden door lijnen zodat geen drie punten op dezelfde lijn liggen. Er wordt al tientallen jaren naar een oplossing gezocht, maar alleen voor kleine verzamelingen punten.
Het model van DeepMind, FunSearch genaamd, heeft voor het eerst nieuwe ontwerpen ontdekt voor grote verzamelingen, veel verder dan wat eerder bekend was. Deze wetenschappelijke ontdekking werd mogelijk gemaakt door de combinatie van Google's PaLM 2-taalmodel en een automatisch fact-checking systeem.
Hoewel LLM het probleem niet voor eens en altijd oploste, ontdekte het wel nieuwe feiten voor de wetenschap, beweren de wetenschappers.
Volgens de ontwikkelaars is dit de eerste bevestigde ontdekking in de wiskunde die is gedaan met behulp van kunstmatige intelligentie. Het zou een nieuw tijdperk kunnen inluiden in de ontwikkeling van AI en wiskunde.
Bron: The Next Web