Наступне покоління моделі міркувань OpenAI, яка внутрішньо називається Astra, щойно зробила те, що змусило б більшість кандидатів наук плакати над своїми дошками. Компанія оголосила 1 серпня, що модель автономно згенерувала 10 нових результатів щодо відкритих проблем у математиці та теоретичній інформатиці, кожен з яких був перевірений зовнішніми математиками, включаючи лауреата Філдсівської премії Тіма Гауерса.
Це не перший раз, коли Астра це робить. 20 травня та сама модель спростувала гіпотезу Ердеша про планарні одиничні відстані — проблему, яка протягом майже 80 років викликала труднощі у математиків.
Що насправді зробила модель
Проблема, сформульована легендарним угорським математиком Полем Ердешем, стосується того, скільки пар точок на площині можуть бути розташовані точно на відстані одна одиниця. Astra побудувала конфігурації, що дають щонайменше n^(1+δ) пар на відстані одна одиниця, де δ більше за нуль, для нескінченної кількості значень n. Уточнений результат визначив δ на рівні 0,014. Це був перший раз, коли ШІ самостійно розв’язав значну проблему в дискретній геометрії. Жодного спеціалізованого математичного навчання. Жодної людської допомоги. Модель самостійно застосувала просунуті алгебраїчні міркування.
У серпневому оголошенні додано ще 10 результатів, що стосуються геометрії та теоретичної інформатики. Кожен результат був незалежно перевірений професійними математиками. Сам Гауерс назвав це досягнення «віхою в математиці з використанням ШІ». Математики, зокрема Гауерс і Томас Блум, опублікували супутні статті, що підтверджують доведення та надають додатковий аналіз.
Чому це має значення далі за чисту математику
Криптографія, основа кожного блокчейну та цифрового активу, є фундаментально застосованою математикою. Безпека, що лежить в основі Bitcoin, Ethereum та кожного іншого крипто-протоколу, ґрунтується на обчислювальній складності певних математичних задач. Модель, яка сьогодні спростовує 80-річні гіпотези в дискретній геометрії, — це модель, нащадки якої можуть досліджувати математичні основи шифрування завтра.
Що насправді слід спостерігати інвесторам
Негайний ринковий вплив тут нульовий. OpenAI не згадувала криптовалютні токени, цифрові активи чи пов’язані протоколи в жодному зі своїх оголошень. Це чистий досягнення у галузі штучного інтелекту.
Спочатку токени та проекти, пов’язані з ШІ, які зосереджені на математичних обчисленнях та перевірці доведень, можуть знову здобути інтерес. Ідея про те, що ШІ здатний виконувати справжню, перевірну інтелектуальну роботу, а не лише генерувати правдоподібний текст, посилює аргументи на користь проектів, які розробляють рішення на перетині ШІ та перевірки через блокчейн.
Друге, постквантова криптографія переходить від теоретичної проблеми до практичної пріоритетної задачі. Проекти, що працюють над криптографічними стандартами, стійкими до квантових обчислень та штучного інтелекту, можуть стати все більш актуальними.