Anthropicin Claude-tekoälyn julkaisematon tutkimusversio on tehnyt historian suurimman yksittäisen parannuksen Riemannin hypoteesiin liittyvään keskeiseen matemaattiseen raja-arvoon. Se nosti Riemannin zeeta-funktion kriittisellä suoralla sijaitsevien epätriviaalien nollakohtien osuuden todistetun alarajan 41,6 prosentista 67,2 prosenttiin.
Anthropic ilmoitti kokeellisen Claude-mallin tehneen historian suurimman yksittäisen parannuksen vuosikymmeniä vanhaan raja-arvoon, joka liittyy Riemannin hypoteesiin. Kyseessä on miljoonan dollarin arvoinen Millennium-palkinto-ongelma, joka on ollut ratkaisematta vuodesta 1859 lähtien.anthropic+1
Tekoäly koordinoi noin 60 alagenttiä, loi 31 miljoonaa tokenia ja yhdisti olemassa olevia matemaattisia viitekehyksiä sen sijaan, että olisi keksinyt uusia menetelmiä, Anthropic kertoo.theaiinsider+1
Kaksi Anthropicin matemaatikkoa ja ulkopuoliset lukuteoreetikot vahvistivat tuloksen, ja Claude tuotti muodollisesti todennettavan todistuksen Lean-kielellä.theaiinsider+1