› Vijfentwintig wiskundigen - elk bekroond met de Fields-medaille, de meest prestigieuze prijs in de wiskunde - hebben een open brief ondertekend waarin ze stellen dat AI-labs hun intellectueel werk bedreigen door wiskundebewijzen te publiceren zonder gedegen verificatie of correcte bronvermelding.Het conflict spitste zich deze week toe toen NYU-professor Tristan Buckmaster OpenAI ervan beschuldigde hem onder druk te hebben gezet om een medewerker van Anthropic niet te vermelden als medeauteur van een belangrijk bewijs.
› Buckmaster uitte ook het vermoeden dat OpenAI zijn Codex-gebruik had ingezet om een eigen baanbrekend bewijs te produceren.
› Op donderdag trok OpenAI zijn sponsoring in van een wiskundeevenement aan CalTech, nadat onderzoekers van die universiteit het bedrijf publiekelijk hadden bekritiseerd.
› Het bewijs van OpenAI is tot nu toe niet geverifieerd.In de brief schrijven de ondertekenaars: "Vaak worden deze oplossingen overhaast aangekondigd, waardoor er geen tijd is voor een gedegen uitwerking, de isolatie van nieuwe methoden en ideeën, en het citeren van relevant eerder werk van anderen." De brief volgt op de Leiden Declaration, die een werkgroep van wiskundigen al in juni publiceerde met aanbevelingen voor wiskundigen, instellingen en beleidsmakers over de gevolgen van LLM-bewijzen voor hun vakgebied.Waarom zijn wiskundigen bezorgd over AI-gegenereerde bewijzenDe Fields-medaille wordt beschouwd als de Nobelprijs van de wiskunde en wordt slechts eens per vier jaar uitgereikt aan maximaal vier wiskundigen.