Перші 66 призових задач @justinsuntron оголосив перші 66 призових задач для премії Джастіна Суна, де призові задачі вищого рівня пропонують до $1 млн. Але цікаве — не лише нагорода. Це нова модель, що стоїть за ними: Розв’язати → Формалізувати → Перевірити → Нагородити 1. Доводчик отримує 70% Особа, яка розв’язала математичну задачу. 2. Формалізатор отримує 30% Особа, яка конвертує доведення у формат, придатний для машинної перевірки, за допомогою Lean. Якщо одну особу виконує обидва етапи, вона отримує 100% призу. І не має значення, чи походить розв’язок від людини, штучного інтелекту чи людини + ШІ. Важливо лише те, чи може Lean формально перевірити доведення. Це особливо цікаво в еру ШІ. ШІ, що генерує доведення, яке виглядає правильним — це одне. Машина, що перевіряє кожен крок цього доведення — це інше. У першому списку вже є рівняння Нав’є-Стокса у категорії Pinnacle: OpenAI Team — з боку розв’язання, а OpenAI — з боку перевірки Lean. Це реалізує початкову ідею премії Джастіна Суна: Математика × ШІ × Формальна перевірка × Блокчейн 66 задач — лише початок. Більш важливе питання: Що відбудеться, коли математичні прориви стануть відкритими, мотивованими та машинно перевіреними завданнями?
nbaluong (✱,✱)Поділитися
Джерело:Показати оригінал
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації.
Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.