Нов модел на Anthropic постигна напредък по една от най-трудните задачи в математиката

AI системата е тествала 650 идеи за доказване на хипотезата на Риман с помощта на 60 подагента и 31 млн. изходни токена
Сподели тази новина