📐 Автономні агенти Anthropic AI успішно формалізували доведення Великої теореми Ферма 1. Автономні системи Anthropic успішно перетворили відомо складне доведення Великої теореми Ферма на код, який може перевірити комп’ютер, за лише 11 днів. 2. Ця математична віху раніше очікувалася на кілька років напруженої ручної трансляції дослідниками. 3. Цей прорив демонструє швидкий розвиток здатностей до міркування передових моделей у дуже технічних академічних галузях. Боббі вважає: Розв’язання складних завдань з формалізації з такою швидкістю свідчить про те, що агенти ШІ переходять від простих асистентів до активних співробітників у розширенні меж вищої математики. Підпишіться на The AI Roundup на Bobbi, щоб отримати посилання, бюлетень та подкаст.
Bobbi - News for YouПоділитися
Джерело:Показати оригінал
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації.
Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.