I-Anthropic imemezele namuhla (mhla ziyi-11) ukuthi inguqulo yocwaningo ka-Claude engakashicilelwa izuze intuthuko ebalulekile enqubweni yokuxazulula i-hypothesis ka-Riemann.
Esivivinyweni esathatha izinsuku eziningana futhi saqedwa imodeli ngokuzimela, u-Claude wakhuphula umngcele ophansi wesikhathi eside wesilinganiso samaphuzu ayiziro emugqeni obucayi womsebenzi we-Riemann ζ ukusuka ku-41.6% waya ku-67.2%.
U-Claude wenze ucwaningo ku-Claude Code, wakhiqiza ama-output Token ayizigidi ezingu-31 esivivinyweni esiphindwe kabili. Ngemva kwemizamo ehlulekile engu-650, imodeli yahlanganisa ama-agent angaphansi angu-60 ukuze iqhubeke nomsebenzi, yenza imiyalo ye-Shell engu-2,400, futhi yabhala amakhulu ezikripthi ze-Python.
I-Anthropic yabe isicela izazi zezibalo zangaphakathi u-Levente Árpád no-Ralph Furman ukuba ziqinisekise imiphumela, yabe isiyinikeza ochwepheshe bangaphandle bethiyori yezinombolo u-Brian Conrey no-Dan Goldston ukuze bayibuyekeze. Isisebenzi u-Eric Easley sasiza futhi ekubhaleni ubufakazi ngendlela engaqinisekiswa ngu-Lean.
I-hypothesis ka-Riemann yaphakanyiswa okokuqala ngo-1859, kanti i-Clay Mathematics Institute ibeke umklomelo ka-$1 million wokuxazulula le nkinga enzima (Qaphela: ngokwesilinganiso samanje sokushintshisana, cishe u-6.755 million yuan).
Kulo msebenzi, u-Claude wahlanganisa izinhlaka zocwaningo ezazikhona zabachwepheshe bezibalo abafana no-Baluyot, Goldston, Suriajaya, Turner-Buterbaugh no-Bombieri.
I-Anthropic iphinde yachaza indlela ethile esetshenzisiwe.
U-Claude wakha isikhala esifanele semisebenzi, wabe esethula kuso ifomu le-quadratic elakhiwa ngu-Weil. Amaphuzu ayiziro asemugqeni obucayi akha i-subspace enedeterminant enhle, kanti lawo angaphandle komugqa obucayi akha i-subspace enedeterminant embi. Ngemva kwalokho, u-Claude wasebenzisa ulwazi lwe-first moment ne-second moment ukuze akhe ngokuqondile ukungalingani kwezinga lefomu le-quadratic. (Ngokusebenzisa umbono we-dual kuma-prime, noma ngokulawula i-Hilbert transform ukuze kubalwe ulwazi lwe-second moment, lokhu akumangalisi ku-analytic number theory.)
Isinyathelo esibaluleke ngempela, ngomqondo othile, kwaba ukuphatha sonke isikhala ngendlela ehlanganisiwe, kufakwe kokubili izingxenye ezinedeterminant enhle nezinedeterminant embi, futhi kuvunyelwe ifomu le-quadratic elingelona i-diagonal. Kuncike ocwaningweni olubalulekile lwabanduleli, u-Claude wafinyelela kulesi siphetho esishiwo ngenhla.
I-Anthropic iphinde yashicilela iphepha elibhalwe ngu-Claude, yanikeza nokuphawula kochwepheshe okungakahleleki, umbhalo onemininingwane wenqubo, kanye nobufakazi obungaqinisekiswa ngokusemthethweni ngu-Lean. Nokho, i-Anthropic ayidalulanga ukuthi la makhono ama-agent amaningi azovulelwa umphakathi maduze yini.
Izikhombo
Iphepha lika-Claude
Ukuvezwa okusemthethweni kuka-Claude
Imemorandamu engakahleleki ye-Anthropic
Incazelo ka-Claude yemiphumela ayitholile
Umbhalo onemininingwane wenqubo ka-Claude