OpenAI deelt wiskundige doorbraken van intern frontier-model op GitHub

OpenAI publiceert volgens eigen berichtgeving een reeks nieuwe wiskundige resultaten van een intern frontier-model. De resultaten verschijnen in een GitHub-repository, inclusief protocollen voor paperrevisies en citaties. Veel bewijzen zijn geformaliseerd in Lean, zodat ze computermatig te controleren zijn; OpenAI zegt die formalisaties verder aan te vullen. Voor transparantie deelt het bedrijf in die repository ook werkwijze-details: tien samenvattingen van modelredeneringen, schattingen van rekeninspanning in ChatGPT Pro-gebruik en statistieken over pogingen. Het gemiddelde resultaat zou ongeveer drie uur ChatGPT Pro-denken equivalent zijn. OpenAI zegt te overleggen met de onafhankelijke Advisory Group on Mathematics and Artificial Intelligence van het Institute for Advanced Study over publicatiepraktijken, en plant workshops rond AI-resultaten in de wiskunde. Een verantwoordelijke release van het model zelf is volgens OpenAI nog in voorbereiding.