OpenAI опублікувала докази для десяти математичних задач, що залишалися відкритими з 2016 року

TL;DR

• •OpenAI опублікувала докази розв’язки десяти математичних задач, відкритих з 2016 року.
• •Використана внутрішня модель Astra — наступна велика модель компанії.
• •Среди результатів — доведення існування несофічних груп, відкрите з 1999 року.
• •Витрати на пошук відповідей через API становили близько $2000.
• •«Задачі тисячелеття» Astra не розв’язала, що показує межі поточних ШІ.

Як це змінить ваш ринок?

Публікація доказів Astra сигналізує про те, що ШІ може досягати високого рівня формального розуміння, що досі вважалося исключительно людською доміною. Для компаній, які працюють з складними логічними системами — наприклад, фармацевтичні дослідження, фінансові моделі або криптографія — це відкриває можливість скоротити час на перевірку гіпотез. Однак, оскільки модель не доступна зовні, безпосереднє впровадження можливе лише через партнерство з OpenAI або очікування публічного релізу. Тому найближчий вплив буде на стратегічні розмови про доступ до передових моделей, а не на операційні зміни.

Визначення: Несофічні групи — це алгебраїчні структури, які не можуть бути вкладені в будь-яку групу симетрії кінцевого розміру. Питання про їх існування відкрите з 1999 року та вважається важливим у теорії груп.

Для кого це і за яких умов (ОБОВ'ЯЗКОВО: мін. обладнання/бюджет, потрібна команда чи ні, мін. масштаб, час на впровадження)

• •Дослідні лабораторії та університети: потрібен доступ до API OpenAI з можливістю запуску запитів з високою токенною ефективністю; бюджет від $500 на тестування; команда з 1-2 дослідників; впровадження за 1-2 тижні (перевірка доказів, адаптація під свої задачі).
• •Компанії з потребою у формальному розумінні (фінанси, биотех, крипто): якщо є ліцензія на використання моделей OpenAI, можна спробувати запити з подібними токенними витратами; безпосереднє використання Astra неможливо, тому варто розглядати вже доступні моделі (GPT-4o, Claude 3) для наближення до результату; час на оцінку — 1 тиждень.
• •Стартапи та SMB без спеціалізованих AI-команд: практично немає можливості використати Astra безпосередньо; краще сконцентруватись на готові рішеннях, які вже включають логічні модули (наприклад, Wolfram Alpha або спеціалізовані SAT-розв’язники).

Альтернативи