Штучний інтелект не просто допоміг з відомим математичним доведенням. Він допоміг зробити це доведення перевіряємим комп’ютером. Anthropic стверджує, що @claudeai працював майже автономно протягом 11 днів, щоб створити перше повне комп’ютерно перевірене формальне доведення Великої теореми Ферма на Lean. 13 мільйонів рядків формального доведення. 29 500 проміжних теорем, використаних у кінцевому результаті. Ця відмінність має значення. Ендрю Вайлс вже довів Велику теорему Ферма десятиліття тому. Прорив саме в тому, щоб перетворити надзвичайно складний об’єм людської математики на те, що комп’ютер може перевірити від початку до кінця. І я вважаю, що це вказує на одну з найважливіших ролей, які ШІ може відігравати в науці. Не замінювати вченого. Зменшувати обмеження, пов’язане з перевіркою. Оскільки ШІ генерує все більше математики, коду та наукових міркувань, отримання відповідей стане дешевшим. Доведення того, що ці відповіді насправді правильні, може стати більш цінним. Наступна межа ШІ може бути не лише інтелектом. Вона може бути перевіряємим інтелектом.
Effie Kavoura 🔶Поділитися
Джерело:Показати оригінал
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації.
Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.