AnswersPublished21 sources
OpenAI:s 722 matematikmanus väcker frågor om vad som räknas som forskning
Association for Human Mathematics (AHM) uppmanar matematiker att sluta samarbeta med OpenAI. OpenAI publicerade manus och bevismaterial, liksom Lean formaliseringar för vissa resultat – men inte för hela samlingen.
Publicerad avRedigerad med GPT-6 LunaBilder genererade med GPT Image 2
Research answer
Key takeaways
- Association for Human Mathematics (AHM) uppmanar matematiker att sluta samarbeta med OpenAI.
- OpenAI publicerade manus och bevismaterial, liksom Lean formaliseringar för vissa resultat – men inte för hela samlingen.
- Debatten handlar både om resultatens möjliga matematiska värde och om insyn, oberoende kontroll och hur mycket granskningsarbete som läggs på forskare.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
Association for Human Mathematics (AHM) uppmanar matematiker att avbryta samarbeten med OpenAI efter att företaget den 6 oktober 2026 publicerade en stor samling matematikmanus. AHM:s invändning är inte bara att enskilda bevis kan innehålla fel. Organisationen ifrågasätter också om en masspublicering från en företagsmodell kan ersätta vetenskaplig granskning, dokumentation och diskussion.45
Materialet kan innehålla intressanta resultat. Men många manus, tekniska bevisfiler och uppseendeväckande påståenden är inte i sig ett kvitto på att resultaten stämmer. Konflikten rör också vem som kan granska modellen, hur den har arbetat och vem som får lägga tiden på att kontrollera resultaten.
Vad OpenAI publicerade
OpenAI:s första presentation omfattade 722 manus inom 17 matematiska områden, grupperade i 372 familjer av relaterade resultat. Det betyder att samlingen inte består av 722 fristående, oberoende upptäckter. Företaget publicerade manus och stödjande bevismaterial i ett öppet GitHub-arkiv med Apache-2.0-licens.7
15
OpenAI uppgav att modellen hade prövat omkring 4 000 problem och att den genomsnittliga beräkningsinsatsen per resultat motsvarade ungefär tre timmars ChatGPT Pro Thinking. Företaget publicerade också tio förkortade sammanfattningar av modellens resonemang och Lean-formaliseringar av vissa bevis.7
12
16 Lean är ett verktyg som gör det möjligt att kontrollera formella bevis med dator.
Arkivet uppger att resultaten befinner sig på olika stadier av verifiering och att alla inte har en Lean-formalisering. Den aktuella katalogen visar 719 manus, jämfört med de 722 som angavs vid den första publiceringen.10
11
Bland resultaten finns påståenden om bland annat Mahlers förmodanden och det exakta irrationalitetsexponenten för π. De bör inte betraktas som slutgiltigt bekräftade enbart för att de förekommer i ett publicerat manus.5
21
Varför AHM protesterar
I sitt uttalande skrev AHM att matematikerna ”inte bad om att det här arbetet skulle göras”. Organisationen kallade publiceringen av hundratals filer en ”maktuppvisning”, inte vetenskapligt arbete, och efterlyste skepsis och forskning med människan i centrum i stället för ett snabbt godkännande eller en massgranskning av företagsproducerade resultat.45
En konkret fråga är mängden material. För att bedöma manusen behöver sakkunniga läsa och kontrollera bevisen och sätta resultaten i relation till tidigare forskning. Att filerna är öppet tillgängliga ger forskare material att granska, men det tar inte bort arbetet – i stor utsträckning hamnar det i stället hos dem.
AHM hänvisade också till en varning från Advisory Group on Mathematics and Artificial Intelligence, en grupp som bildats för att ge AI-företag råd om deras relation till matematisk forskning. Enligt AHM hade gruppen varnat för att låta interna företagsmodeller pröva avancerade matematiska problem.45
Vad Lean kan kontrollera – och vad verktyget inte säger
Lean-formaliseringar är värdefulla eftersom de gör det möjligt att kontrollera de bevis som faktiskt har översatts till systemet. OpenAI uppger att huvudresultatet i 162 manus har formaliserats.5 Det stärker kontrollen av just dessa resultat, men innebär inte att varje påstående i varje manus automatiskt är verifierat.
När en formalisering saknas behöver matematiker bedöma argumentet genom att läsa och granska det. Arkivet säger självt att resultaten befinner sig på olika verifieringsstadier och att alla inte har Lean-formaliseringar.10
11 Därför är det rimligt att bedöma resultaten ett i taget – inte att betrakta hela samlingen som antingen bevisad eller värdelös.
Mer information om processen – men inte full insyn
Uppgifterna om de omkring 4 000 prövade problemen och beräkningsinsatsen, tillsammans med de tio sammanfattningarna av modellens resonemang, ger en viss inblick i hur resultaten togs fram.7
12
16 Men de visar inte en fullständig arbetsgång för varje resultat. Modellen är dessutom intern och inte tillgänglig för oberoende granskning.
7
11
Antalet prövade problem säger inte heller i sig hur ofta modellen lyckades på en tydligt definierad uppsättning riktigt svåra problem. För att bedöma resultatens tillförlitlighet och om de går att återskapa behöver forskare mer information om metoden och hur de enskilda resultaten kom till.
OpenAI uppgav att företaget planerar workshoppar och konferenser där viktiga resultat ska undersökas.7 Sådana initiativ kan underlätta granskningen, men ersätter inte tillgång till tillräckliga uppgifter för att andra forskare självständigt ska kunna bedöma hur bevisen togs fram.
Vad konflikten säger om mänsklig forskning
Det finns inget enkelt svar på vad samlingen är värd. AI-genererade argument kan rymma verkliga matematiska framsteg, men värdet avgörs av vilka resultat som klarar oberoende granskning – inte av hur stor publiceringen är eller hur betydelsefulla problemen verkar.7
10
AHM:s reaktion väcker också frågor om hur tidigare mänskligt arbete ska erkännas, vem som ska stå för kostnaden för granskningen och om uppmärksamhet eller stöd kan flyttas från forskning som görs av människor. Manuspubliceringen besvarar inte de frågorna, men gör dem mer angelägna.45
Kärnan i debatten är skillnaden mellan att kunna producera många matematiska påståenden och att få dem vetenskapligt bekräftade. Frågan gäller både vad AI kan bidra med till matematiken och vilka regler som behövs för att bidragen ska vara möjliga att kontrollera, tillräckligt öppna och meningsfulla för forskarsamhället.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAI:s 722 matematikmanus väcker frågor om vad som räknas som forskning"?
Association for Human Mathematics (AHM) uppmanar matematiker att sluta samarbeta med OpenAI.
What are the key points to validate first?
Association for Human Mathematics (AHM) uppmanar matematiker att sluta samarbeta med OpenAI. OpenAI publicerade manus och bevismaterial, liksom Lean formaliseringar för vissa resultat – men inte för hela samlingen.
What should I do next in practice?
Debatten handlar både om resultatens möjliga matematiska värde och om insyn, oberoende kontroll och hur mycket granskningsarbete som läggs på forskare.