Модель OpenAI вирішила десять задач, над якими математики працювали десятиліттями

TL;DR

• •Модель Astra — це новіть неопублікована модель OpenAI, заснована на архітектурі GPT-5.6 Sol.
• •Вона вирішила десять відкритих математичних задач, над якими вчені не мали прогресу принаймні десять років.
• •Загальна вартість обчислень становить приблизно 2 000 доларів за тарифом GPT-5.6 Sol.
• •Розв’язки були сформульовані моделлю, а потім формалізовані у системі доведення Lean.
• •Стаття посилається на офіційний блог OpenAI: https://openai.com/index/ten-advances-in-mathematics/

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

Для наукових та R&D-відділів це сигнал, що ШІ може стати інструментом для автоматизації складних доведів, що скорочує час та витрати на дослідження. Компанії, які інвестують в ШІ-пошукові лабораторії, можуть отримати конкурентну перевагу за скорочення циклу винаходів. Однак, оскільки модель ще не доступна зовнішньо, безпосередній вплив на бізнес залишається обмеженим до експериментальних проєктів. Потенційно це може зменшити залежність від дорогих експертів-математиків на ранніх етапах проєктів, особливо в галузях фармацевтики, фізики та фінансового моделювання, де довідкові докази є критичними.

Визначення: ШІ‑модель — це штучний інтелект, що вчиться на великих даних і здатний генерувати тексту, код або математичні докази.

Для кого це і за яких умов

• •Мінімальне обладнання: Для тестування подібних моделей потрібен доступ до API з можливістю запуску великих м моделей (наприклад, GPU 24 ГБ або еквівалентна хмарна інфраструктура).
• •Бюджет: Орієнтовна вартість запуску моделі розміром аналогічним GPT-5.6 Sol — від 0,5 до 2 доларів за 1 млн токенів, що для дослідження може становити кілька сотень доларів.
• •Команда: Потрібна至少 один дослідник з досвідом роботи з формальними методами (Lean, Coq) та один інженер ML для інтеграції.
• •Мінімальний масштаб: Адекватно для проєктів з бюджетом від 5 000 доларів, де ШІ допомагає у формулюванні гіпотез.
• •Час на впровадження: Експериментальне інтегрування може займати від 1 до 2 тижнів, включаючи налаштування середовища та пробні запуски.

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