Kinilala ni Anthropic noong recent na araw na natapos ng kanyang Claude AI ang pormal na patunay sa Fermat's Last Theorem sa loob ng 11 araw, na nagbuo ng halos 13 milyong linya ng code na maaaring masuri sa bawat linya ng machine, at napatunayan na tama ni matematikong si Kevin Buzzard. Ang proyektong ito ay inilunsad ng mga dekada ng Claude agents na nagtrabaho nang sabay-sabay, na gumagamit ng mga kasangkapang pagsasamahan na binuo ni Peng Tian Group na Prove2Me, na nagkoordinasyon sa pamamagitan ng real-time na listahan ng gawain; halos 7% ng mga linya sa patunay ay galing sa mga nakaraang mali na pagsubok, at ang proseso ng pormalisasyon ay gumamit ng wika na Lean, upang maaaring suriin ng computer ang bawat hakbang sa lohika.
xiyuI-share
Source:Ipakita ang original
Disclaimer: Ang information sa page na ito ay maaaring nakuha mula sa mga third party at hindi necessary na nagre-reflect sa mga pananaw o opinyon ng KuCoin. Ibinigay ang content na ito para sa mga pangkalahatang informational purpose lang, nang walang anumang representation o warranty ng anumang uri, at hindi rin ito dapat ipakahulugan bilang financial o investment advice. Hindi mananagot ang KuCoin para sa anumang error o omission, o para sa anumang outcome na magreresulta mula sa paggamit ng information na ito.
Maaaring maging risky ang mga investment sa mga digital asset. Pakisuri nang maigi ang mga risk ng isang produkto at ang risk tolerance mo batay sa iyong sariling kalagayang pinansyal. Para sa higit pang information, mag-refer sa aming Terms ng Paggamit at Disclosure ng Risk.