Нова модель Astra від OpenAI розв’язує 10 довгострокових математичних і комп’ютерних задач

iconChainthink
Поділитися
AI summary iconКороткий зміст
1 серпня OpenAI випустила свою нову модель Astra, яка вирішила 10 довгострокових математичних та комп’ютерних наукових задач. Ці проблеми не мали жодного прогресу більше десяти років, а більшість з них залишалися нерозв’язаними ще довше. Astra побудувала першу несофічну групу, спростувала гіпотезу жорсткості Коннеса та вирішила три проблеми Ердеша. Вона також просунула теорію упаковки сфер, теорію кодування та постквантову криптографію. Модель використала приблизно $2000 у вигляді токенів для генерації доведень, які були зібрані у статті з допомогою людей та перевірені за допомогою Lean. Трейдери, які аналізують рівні підтримки та опору, можуть знайти довгострокові інвестиційні можливості у інноваціях, заснованих на ШІ.

ChainThink повідомляє, 1 серпня OpenAI вперше офіційно представила наступну основну модель Astra, яка досягла нових результатів у 10 довгостроково нерозв’язаних математичних і теоретичних проблемах інформатики.

Основні висновки цих питань не мали прогресу щонайменше 10 років, більшість з них перебували у стані застою довше. Серед них Astra вперше побудувала не-sofic групу, відповівши на одне з ключових відкритих питань теорії груп;

Одночасно спростував гіпотезу Коннса про жорсткість та вирішив три проблеми Ердеша. Інші досягнення стосуються нових верхніх та нижніх меж та доведень складності для проблем, пов’язаних із упаковкою сфер, теорією кодування, квантовою складністю та постквантовою криптографією.

OpenAI зазначила, що токени, використані моделлю для пошуку цих 10 результатів, за ціною Sol API дорівнюють приблизно 2000 доларів США.

Відповідні математичні міркування були згенеровані Astra, після чого людина допомогла їх структурувати у вигляді статті, а модель перетворила кожен доказ на сертифікат Lean для поступової комп’ютерної перевірки правильності виведень.

Джерело:Показати оригінал
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації. Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.