Claude etenee 167 vuotta vanhassa matematiikan ongelmassa: 31 miljoonaa tokenia, 60 agenttia ja harppaus 41,6 prosentista 67,2 prosenttiin

Anthropicin Claude-malli on siirtänyt 167 vuotta vanhaa matemaattista ongelmaa eteenpäin ja saavuttanut merkittävän läpimurron. Vuonna 1859 esitetty ongelma juontaa juurensa analyyttiseen lukuteoriaan ja liittyy alkulukujen luonteeseen. Clauden suorituskyky tässä ongelmassa parani 41,6 prosentista 67,2 prosenttiin uuden harjoitusmenetelmän soveltamisen jälkeen. Malli käytti 31 miljoonaa tokenia, mikä vastaa noin 25,6 miljoonaa sanaa, ja prosessin aikana se tuotti 650 gigatavua dataa. Ongelman ratkaisemiseksi Claude käytti 60 erikoistunutta agenttia, joista jokainen analysoi noin 2400 julkaisua, mukaan lukien 54 relevanttia arXiv-julkaisua, varmistaakseen päättelynsä oikeellisuuden. Vahvistusoppimisen ja Lean-nimisen todistusavustajan avulla tehty verifiointi olivat ratkaisevassa asemassa. Anthropic selittää menestyksen johtuvan tästä suurimittakaavaisen laskennan ja formaalin verifioinnin yhdistelmästä, mikä merkitsee uutta virstanpylvästä tekoälyavusteisessa matemaattisessa löytämisessä.