OpenAI presenterar tio matematiska genombrott med hjälp av AI
OpenAI har presenterat tio betydande framsteg inom matematik och teoretisk datavetenskap. Dessa lösningar adresserar problem som varit olösta i över ett decennium, med en beräkningskostnad på cirka 2000 dollar för den AI-forskning som användes.
OpenAI, ett företag inriktat på AI-forskning, har meddelat att de uppnått tio betydande framsteg inom områden som matematik och teoretisk datavetenskap. Dessa lösningar tar sig an problem som varit olösta i minst ett decennium, och där ingen signifikant utveckling skett tidigare.
De senaste framstegen genomfördes med en intern version av OpenAI:s nästa generations modell, Astra. Beräkningskostnaden för att ta fram dessa lösningar, baserat på Sol API:s prissättning, uppgick till cirka 2000 dollar i token-kostnader.
OpenAI betonar vikten av att korrekt erkänna AI:s bidrag. Företaget menar att om ett bevis som helt genererats av AI framställs som ett mänskligt verk, skulle det inte bara minska AI-systemets insats utan också förvränga naturen av faktiskt mänskligt intellektuellt arbete.
Mänskliga forskare hjälpte till med att skriva manuskriptet och formaliserade bevisen i Lean-språket för att säkerställa deras korrekthet. Själva de matematiska bevisen genererades dock av OpenAI:s system. De presenterade framstegen inkluderar bland annat högdimensionell sfärpackning, binära och sfäriska koder, existensen av icke-sofic grupper och utvecklingen av ett teorem gällande kvantparallellrepetition.