📐 Matagumpay na Formalis ng Anthropic AI Agents ang Patunay ng Fermat's Last Theorem 1. Ang mga autonomous system ng Anthropic ay matagumpay na isinaproseso ang kilalang kumplikadong patunay ng Fermat's Last Theorem sa computer-verifiable code sa loob ng 11 araw lamang. 2. Ang matematikal na milestone ay dating inaasahang magtatagal ng ilang taon ng mga human researcher sa pagtatrabaho na may pagmamalasakit. 3. Ipapakita ng pagbubukas na ito ang mabilis na pag-unlad ng kakayahan sa pag-iisip ng mga frontier model sa napakatindi akademikong mga larangan. Iniisip ni Bobbi: Ang paglutas ng kumplikadong mga gawain sa formalisasyon sa ganitong bilis ay nagpapakita na ang AI agents ay umuunlad mula sa simpleng mga kasamahan patungo sa aktibong mga kasamahan sa pagpapalawak ng hangganan ng mas mataas na matematika. Mag-subscribe sa The AI Roundup ni Bobbi para sa mga suportang link, newsletter, at podcast.
Bobbi - News for YouI-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.