Julkaisematon Anthropic-malli edistyy Riemannin hypoteesissa

Anthropic on ilmoittanut, että vielä julkaisematon malli on edistynyt merkittävästi Riemannin hypoteesissa, joka on kuuluisa yli 150 vuotta ratkaisematta ollut alkulukuja koskeva ongelma. Anthropicin työntekijä, jolla ei ole merkittävää matemaattista koulutusta, kehotti mallia yrittämään todistusta ja jätti sen sitten koordinoimaan tehtävää puolentoista vuorokauden ajaksi. Malli testasi 650 erilaista ideaa, koordinoiden 60 alitehtävän välillä ja käyttäen yhteensä 31 miljoonaa tokenia. Kaksi alitehtävistä kehitti keskeiset matemaattiset ideat, kun taas toiset auttoivat ideoilla, yrittivät mutta epäonnistuivat kehittämään uusia, toimivat vahvistajina tai auttoivat kirjoittamaan paperin. Kaksi Anthropicin omista matemaatikoista vahvisti löydökset, ja todistus formalisoitiin avoimen lähdekoodin todistusapuväline Leanillä. Tämä on osa sarjaa suurten kielimallien matemaattisia läpimurtoja, mukaan lukien ratkaistut Erdősin ongelmat ja muita tuloksia OpenAI:n 'Astra'-mallilta sekä Anthropicin Jacobin konjektuurin kumoaminen. Kasvava tulosten määrä on herättänyt sekä innostusta että huolta; jotkut matemaatikot ovat huolissaan todistusten tekijyydestä ja vastuusta, kun taas Fieldsin mitalin voittaja Timothy Gowers ehdottaa, että muutos saattaa olla vähemmän ongelmallinen kuin miltä se näyttää.