Anthropicin julkaisematon malli edistyy keskeisessä matematiikan ongelmassa

Riemannin hypoteesi, yksi matematiikan kuuluisimmista ratkaisemattomista ongelmista, joka koskee alkulukujen jakaumaa, on pysynyt ratkaisemattomana yli 150 vuotta, ja sen todistuksesta on luvassa miljoonan dollarin palkinto. Anthropic on ilmoittanut, että julkaisematon malli saavutti huomattavaa edistystä nostaen merkittävästi alarajaa niille ratkaisuille, joille hypoteesin tiedetään pätevän. Työntekijä, jolla oli rajallinen matematiikan tausta, ehdotti mallille ongelman ratkaisemista ja jätti sen sitten koordinoimaan tehtävää seuraavan puolentoista vuorokauden ajaksi. Tuona aikana malli kokeili 650 ratkaisupolkua, koordinoi 60 alimallia ja kulutti 31 miljoonaa tulostusmerkkijonoa. Alimalleista 2 kehitti päämatemaattiset ratkaisut, 13 tuotti uusia muunnelmia näille alimalleille, 30 yritti mutta epäonnistui uusien ideoiden tuottamisessa, 13 toimi tarkistajina ja 2 auttoi alustavan paperin kirjoittamisessa. Tulos vahvistettiin kahden matematiikan henkilökunnan jäsenen toimesta ja formalisoitiin Lean-todistusavustimella. Viime vuosina tekoälymallit ovat ratkaisseet useita Pál Erdősin ongelmia, ja OpenAI:n Astra-malli ratkaisi kymmenen, ja toinen Anthropicin malli osoitti vääräksi pitkäaikaisen Jacobin hypoteesin. Nämä saavutukset herättävät sekä innostusta että huolta matematiikan yhteisössä tekijyydestä ja vastuusta oikeellisuudesta, ja jotkut väittävät, että teoreemoja ei tarvitse liittää tiettyihin tutkijoihin.