AI-nyhederAnthropic-model gør fremskridt på 150 år gammelt matematisk problem
En ikke-udgivet AI-model fra Anthropic har taget et stort skridt mod at løse Riemann-hypotesen. Modellen arbejdede selvstændigt i halvanden dag og testede hundredvis af idéer.
Det store gennembrud
I over 150 år har matematikere forsøgt at bevise Riemann-hypotesen om primtallenes fordeling. Der er en dusør på 1 million dollars til den, der kan levere et endeligt bevis. Nu har en hemmelig AI-model fra Anthropic forbedret det kendte område, hvor hypotesen holder stik. Det er ikke et fuldt bevis, men det er et markant fremskridt, som to af firmaets egne matematikere har bekræftet.
Sådan arbejdede modellen
En medarbejder uden særlig matematisk baggrund bad modellen om at 'tage et reelt skud' på problemet. Modellen organiserede derefter arbejdet selv og brugte 60 underagenter til at fordele opgaverne. I alt testede den 650 forskellige idéer og brugte 31 millioner tokens – svarende til et kæmpe antal sider tekst. Kun to af underagenterne udviklede de centrale idéer, mens andre validerede resultaterne.
Debatten raser
Mange matematikere er bekymrede. En gruppe prominente forskere har underskrevet en erklæring, der siger, at AI kan underminere vigtigheden af, at beviser kan tilskrives specifikke forfattere. Men andre, som Fields-medalje-vinderen Timothy Gowers, ser det mere positivt og sammenligner med, at stjerner ikke er opkaldt efter astronomer. Fremtiden for matematisk opdagelse kan se meget anderledes ud.
Flere AI-resultater
Dette er ikke et isoleret tilfælde. AI-modeller har i år løst flere såkaldte Erdos-problemer. OpenAI har præsenteret 10 store resultater fra sin model Astra, og Anthropic har tidligere modbevist en gammel formodning om Jacobian. Det tyder på, at AI ikke bare kan regne hurtigere, men også kan finde nye veje i videnskaben.
- En ikke-udgivet Anthropic-model forbedrede grænsen for, hvor Riemann-hypotesen gælder.
- Modellen arbejdede uafhængigt i halvanden dag med at teste 650 idéer.
- Projektet brugte 60 underagenter og 31 millioner output-tokens.
- Resultatet blev bekræftet af to interne matematikere og formaliseret med Lean.
- OpenAI's model Astra har bevist 10 store matematiske resultater.
- En gruppe matematikere har underskrevet en erklæring mod AI's rolle i feltet.
Du kan snart se AI som en reel videnskabelig partner, der selv opdager og beviser nye ting – ikke bare et værktøj, der følger opskrifter.
Kilder:
TechCrunch AI →
Genfortalt i egne ord af AI-nyheder.com · Tjek altid originalkilden, før du handler på vigtige oplysninger.