wiskunde
Anthropic-model bewijst quantumvermoeden uit 2008
AI-bedrijf PSI zegt met een niet-openbaar Anthropic-model het Aaronson-Ambainis-vermoeden te hebben bewezen. Lean keurde het bewijs goed.
Axiom laat AI-agents het grootste wiskundebewijs controleren
Axiom zette de classificatie van eindige enkelvoudige groepen (15.000 pagina’s) in 24 dagen om naar Lean, met 43,1 miljoen regels code en tientallen AI-agents.
OpenAI claimt AI-bewijzen voor ETH, Kakeya en Yang-Mills
OpenAI zegt dat een intern model de Exponential Time Hypothesis weerlegde en Kakeya en Yang-Mills bewees. Onafhankelijke experts gaan het controleren.
Microsoft-onderzoekers bewijzen KLS-vermoeden met hulp van AI
Microsoft Research bewees met AI-agents het KLS-vermoeden uit 1995. Zo werkte de samenwerking tussen mens en machine, en zo werd het bewijs gecontroleerd.
OpenAI publiceert 722 wiskundepapers van intern model
OpenAI zet 722 wiskundige manuscripten van een nog niet uitgebracht model op GitHub. Een deel is met Lean gecontroleerd, de rest moet nog door wiskundigen worden beoordeeld.
Meta Muse Spark helpt wiskundigen open problemen oplossen
Meta publiceert zes wiskundepapers die onderzoekers met Muse Spark schreven via de gewone chat. Vijf beantwoorden open vragen, maar er zijn kanttekeningen.
Claude helpt wiskundigen aan record voor elliptische krommen
Met hulp van Claude vonden Levent Alpöge en Ava Howell elliptische krommen met rang 30 en 31. Het vorige record van 29 dateerde uit 2024.
Fields-winnaars waarschuwen voor AI in de wiskunde
Vijfentwintig Fields-medaillewinnaars, onder wie Terence Tao, tekenden een brief tegen de jacht van AI-bedrijven op beroemde wiskundeproblemen. Aanleiding is de Navier-Stokes-claim van OpenAI.
Fields-winnaar start instituut voor AI-veiligheid
Fields-medaillewinnaar Jacob Tsimerman richt het Mathematical AI Safety Institute op. Het instituut wil wiskundigen laten definieren wat veilige AI in theorie betekent en start in januari 2027.
OpenAI claimt bewijs voor Navier-Stokes, ruzie over eer
OpenAI zegt dat 10.000 AI-agents in 88 uur het Navier-Stokes-probleem kraakten. Wiskundige Tristan Buckmaster betwist de gang van zaken rond de eer.