Newsletter Subscribe
Enter your email address below and subscribe to our newsletter
[forminator_form id="25163"]

openai+1scientificamericanscientificamericanOpenAI:s nästa stora AI-modell, som internt kallas Astra, har löst tio långvariga öppna problem inom matematik och teoretisk datavetenskap. Tillkännagivandet har dock överskuggats av anklagelser om forskningsfusk från matematiker som menar att företaget har underlåtit att ge erkännande till tidigare arbeten.
Den 31 juli publicerade OpenAI ett blogginlägg med detaljer om resultat från "en intern version av Astra, vår nästa stora modell". Företaget hävdade framsteg inom områden som högdimensionell sfärpackning, kvantspelteori, gruppteori och extremal kombinatorik. Enligt företaget var den totala token-kostnaden för att generera de matematiska argumenten bara 2 000 dollar. Varje resultat formaliserades i bevisassistenten Lean, och OpenAI uppgav att de tar "ansvar för deras korrekthet".mashable+3
Resultaten följer på en rad AI-drivna matematiska framgångar under året, däribland OpenAI:s tidigare motbevis av Erdős enhetsavståndshypotes i maj och Anthropics roll i att motbevisa Jacobis förmodan.mashable
Allt eftersom matematiker granskade den nästan 250 sidor långa rapporten växte frustrationen. Steven Miller, matematiker vid Yeshiva University, säger till Scientific American att OpenAI:s resultat för sfärpackning bygger på ett argument som "faktiskt först dök upp i en artikel från 2016" som han var medförfattare till. "De kör medvetet över andras arbete som gjorts före dem", säger Miller. "Det framstår som helt systematiskt för mig, och det tyder på forskningsfusk."scientificamerican
Ett annat resultat, som rör icke-sofiska grupper, mötte kritik från Francesco Fournier-Facio vid University of Cambridge. Han upptäckte att nyckelsteget kombinerade idéer från artiklar publicerade 2016 och 2019, vilket motsäger OpenAI:s ursprungliga påstående om att problemen "har varit öppna och inte sett några framsteg på huvudresultatet på minst ett decennium". OpenAI har sedan dess ändrat den formuleringen.scientificamerican
"Det finns en stor PR-apparat som vill låta så imponerande som möjligt och inte bryr sig om att vara 100 procent korrekt", säger Fournier-Facio till Scientific American.scientificamerican
Få detaljer har kommit ut om när Astra ska släppas offentligt. OpenAI har inte sagt om Astra kommer att lanseras som GPT-5.7, början på GPT-6 eller under ett annat namn. Företaget uppges visa upp modellen i Washington D.C., och ett frivilligt ramverk från Vita huset för att testa banbrytande modeller före lansering kan komma att påverka tidsplanen.mashable
Matematikern Andrew Blumberg vid Columbia University gav en mer dämpad bedömning. Resultaten är "ganska korta" konstruktioner, "antingen motexempel eller små, extremt smarta konstruktioner som bygger på kända saker", snarare än djupa konceptuella genombrott. "Om en människa hade gjort många av dessa saker skulle den personen med rätta hyllas", säger han till Mashable, "men de förändrar inte mina grundantaganden."mashable