OpenAI’s Astra щойно розв’язала 10 довгострокових математичних задач. Нова багатоагентна модель розв’язала серію складних нерозв’язаних математичних проблем, які залишалися непідтвердженими десятиліттями — а потім формалізувала доведення в Lean. Сем Альтман представив Astra в Вашингтоні цього тижня. Вона стане першою моделлю, яка пройде новий процес схвалення урядом перед випуском. Найбільш вражаючий деталь: розв’язання всіх 10 задач використало менше ніж $2000 токенів за цінами Sol. OpenAI також намагалася розв’язати інші складні задачі, де деякі ще залишаються нерозв’язаними — але потенціал масштабування надзвичайно великий. Чи може це позначити нову еру для математичного відкриття з допомогою ШІ?
David ArnalПоділитися
Джерело:Показати оригінал
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації.
Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.