Недавно Anthropic оголосила, що її Claude AI за 11 днів самостійно здійснив формальний доказ Великої теореми Ферма, згенерувавши близько 13 мільйонів рядків коду, який можна перевірити рядок за рядком, і цей доказ вже підтверджений математиком Кевіном Баджардом. Ця робота проводилася десятками інтелектуальних агентів Claude паралельно, з використанням інструментів співпраці Prove2Me, розроблених групою Пен Тянь, для координації розподілу завдань у реальному часі; приблизно 7% рядків у доказі походять з ранніх невдалих спроб, а формалізація проводилася мовою Lean, що дозволяє комп’ютеру перевіряти кожен логічний крок.
xiyuПоділитися
Джерело:Показати оригінал
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації.
Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.