WetenschapNew Scientist
OpenAI maakt in één klap 722 wiskundige ontdekkingen bekend
AI wordt steeds beter in wiskunde. Tot grote verbazing van wiskundigen heeft het bedrijf OpenAI nu honderden artikelen met wiskundige vondsten tegelijk gepubliceerd.
Onderwerp
Kevin Buzzard
7 nieuwsberichten over Kevin Buzzard.
WetenschapNew Scientist
Grootste AI-doorbraak in de wiskunde tot nu toe verbluft wiskundigen
Een AI-model heeft een decenniaoud vermoeden van wiskundige Paul Erdős opgelost. Wiskundigen noemen het een belangrijke mijlpaal voor AI in de wiskunde.
WetenschapNew Scientist
Geheim project poogt omstreden wiskundig bewijs met de computer op te lossen
Een groep wiskundigen werkt al meer dan twee jaar in het geheim aan het oplossen van een omstreden wiskundig bewijs.
WetenschapNew Scientist
Wiskundigen vinden fout in een zestig jaar oud bewijs
Bij een project dat als doel heeft om wiskunde leesbaar te maken voor computers, ontdekten wiskundigen een fout in een belangrijk bewijs. Ze wisten de fout te herstellen, maar het incident illustreert dat er mogelijk meer fouten schuilgaan in oude...
WetenschapNew Scientist
Amateurspeurder vindt grootste priemgetal ooit
Een amateurwiskundige heeft met een krachtig computernetwerk een priemgetal ontdekt dat uit 41 miljoen cijfers bestaat. Daarmee is het 16 miljoen cijfers langer dan het vorige record.
WetenschapNew Scientist
Wiskundigen zijn het er niet over eens wat ‘is gelijk aan’ betekent
Wat betekent ‘is gelijk aan’? Voor wiskundigen heeft deze eenvoudige vraag meer dan één antwoord. Dat levert problemen op wanneer we computers inzetten om bewijzen te controleren. Misschien moeten wiskundigen daarom terug naar de tekentafel om de...
WetenschapNew Scientist
AI gaat voor goud bij vraagstukken Wiskunde Olympiade
Een kunstmatig intelligent computersysteem kan nu meetkundige stellingen bewijzen. Dat doet de AI net zo goed als deelnemers aan de Internationale Wiskunde Olympiade, een wiskundewedstrijd voor middelbare scholieren.