За даними Beating Monitoring, OpenAI вперше офіційно оголосила про наступну головну модель — Astra. Внутрішня версія досягла нових результатів у 10 довгостроково нерозв’язаних математичних та теоретичних проблемах інформатики. Основні висновки цих проблем не змінювалися щонайменше 10 років, а більшість з них застрягла ще довше. Деякі з цих проблем було безпосередньо розв’язано або спростовано. Astra вперше побудувала не-sofic групу, відповівши на одне з ключових відкритих питань теорії груп; вона також спростувала гіпотезу Коннеса про жорсткість та розв’язала 3 проблеми Ердеша. Інші досягнення включають нові верхні та нижні межі та доведення складності для проблем, пов’язаних із упаковкою куль, теорією кодування, квантовою складністю та післяквантовою криптографією. OpenAI зазначила, що кількість токенів, використаних моделлю для знаходження цих 10 результатів, за ціною Sol API становить приблизно 2000 доларів США. Ці математичні міркування були згенеровані Astra. Після цього люди допомогли оформити їх у вигляді статей, а модель перетворила кожен доказ на сертифікат Lean, що дозволило комп’ютеру поступово перевірити коректність логічних виводів. OpenAI опублікувала статті, сертифікати доведень та процес міркувань моделі.
Нова модель OpenAI Astra розв’язує 10 довгострокових математичних задач
MarsBitПоділитися
Короткий зміст
OpenAI запустила нову модель Astra, яка розв’язала 10 довгострокових математичних та теоретичних задач інформатики. Ці проблеми не мали жодного прогресу більше 10 років, а деякі з них залишалися нерозв’язаними десятиліттями. Astra розв’язала або спростувала ключові виклики, включаючи побудову першої несофічної групи та спростування гіпотези Коннса про жорсткість. До досягнень також належать прогрес у упаковці сфер та післяквантовій криптографії. OpenAI використала близько $2000 у токенах через Sol API. Люди структурували доведення у статті, які були перетворені на Lean-сертифікати для перевірки. OpenAI зробила всі матеріали загальнодоступними. Для довгострокових інвестицій у криптовалюті розуміння цих опорних та опорних рівнів у розвитку ШІ може впливати на майбутні рухи ринку.
Джерело:Показати оригінал
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації.
Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.