Claude Fable 5.2 guida i test e formalizza Fermat in 30 ore

Circa 1.000 agenti di Claude Fable 5.2 hanno formalizzato la dimostrazione dell'ultimo teorema di Fermat in 30 ore, secondo Anthropic.…

leggi