Anthropic segir Claude hafa tæplega tvöfaldað mikilvæg mörk tengd Riemann-tilgátunni

Óútgefin rannsóknarútgáfa af Claude-gervigreind Anthropic hefur náð stærstu einstöku framförinni á mikilvægum stærðfræðilegum mörkum tengdum Riemann-tilgátunni. Hún hækkaði sannaða neðri markið fyrir hlutfall markverðra núllstöðva Riemann-zeta-fallsins á krítísku línunni úr 41,6% í 67,2%.

Anthropic tilkynnti um niðurstöðuna þann 10. ágúst og lýsti henni sem óvæntri aukaafurð tilraunar til að leysa Riemann-tilgátuna sjálfa, en hún hefur verið óleyst frá 1859 og hefur eins milljónar dollara verðlaunafé á herðum sér frá Clay-stærðfræðistofnuninni.anthropic

Hvernig það gerðist

Tilraunin hófst þegar Jarred Sumner, starfsmaður Anthropic sem er ekki stærðfræðingur, bað Claude um að „reyna fyrir alvöru“ við Riemann-tilgátuna og eftirlét líkaninu allar stærðfræðilegar ákvarðanir. Claude mistókst það verkefni en rambaði á annað í staðinn.anthropic

Yfir tvær lotur í Claude Code bjó líkanið til 31 milljón úttakstákna. Fyrsta tilraun skilaði um 650 misheppnuðum hugmyndum. Claude samræmdi síðan um 60 undirkerfi á einum og hálfum degi, keyrði 2.400 skeljaskipanir og skrifaði hundruð Python-skrifta. Undirkerfin keyrðu þúsundir tölulegra athugana á þekktum zeta-núllstöðvum og rýndu vinnu hvers annars.theaiinsider+1

Aðkoma Sumner takmarkaðist að mestu við hvatningarskilaboð, útgáfur af „haltu áfram“ og „trúðu á sjálfan þig“, sem Anthropic sagði að hefðu hjálpað Claude að yfirstíga upphaflega efasýni um að það gæti náð árangri í svo vel rannsökuðu viðfangsefni.anthropic

Stærðfræðilegu framfarirnar

Niðurstaðan sanna ekki Riemann-tilgátuna, en til þess þyrfti að sýna fram á að 100% markverðra núllstöðva liggi á krítísku línunni. Þess í stað sameinaði Claude nýleg verk stærðfræðinganna Baluyot, Goldston, Suriajaya og Turnage-Butterbaugh, sem byggðu á aðferðum Hugh Montgomery frá 1973, við ritgerð Enrico Bombieri frá árinu 2000.theaiinsider+1

Fyrri mörkin upp á 41,6% voru afrakstur áratuga hægfara framfara hjá mannlegum rannsakendum. Claude tæplega tvöfaldaði þann grunn í einu skrefi. Í tæknilegri lýsingu Anthropic kemur fram að lykilatriðið hafi verið að meðhöndla núllstöðvar á og utan krítísku línunnar innan eins sameinaðs stærðfræðilegs ramma frekar en sitt í hvoru lagi.anthropic+1

Sannprófun og samhengi

Tveir stærðfræðingar hjá Anthropic, þeir Levent Alpöge og Ralph Furman, rannsökuðu verkið. Utanaðkomandi talnafræðingar, Brian Conrey og Dan Goldston, rýndu einnig greinina með skömmum fyrirvara. Að auki skilaði Claude formlegri sönnun í Lean sem stenst hefðbundna sannprófun.neowin+1

Anthropic birti grein Claude, ítarleg afrit af ferlinu og GitHub-gagnasafn sem inniheldur Lean-sönnunina. Fyrirtækið varaði þó við því að ekki væri búist við að aðferðir Claude myndu leiða til sönnunar á Riemann-tilgátunni í heild sinni.anthropic+1

Niðurstaðan bætist við vaxandi fjölda dæma þar sem gervigreind leggur sitt af mörkum til óleystra stærðfræðivandamála. Fyrr á árinu 2026 notaði rannsakandi hjá Anthropic nýrra Claude-líkan til að hrekja Jacobian-tilgátuna, sem er annað gamalt og óleyst vandamál. Anthropic setti niðurstöðuna ekki fram sem leyst verðlaunavandamál, heldur frekar sem vísbendingu um að gervigreindkerfi séu farin að útvíkka fyrirliggjandi stærðfræðirannsóknir í stað þess að endurtaka aðeins þekktar niðurstöður.officechai+1