Дослідник OpenAI Олександр Вей повідомив, що нова модель штучного інтелекту компанії досягла результату, який відповідає золотовому медалісту на Міжнародній математичній олімпіаді (IMO). Цей успіх означає, що модель змогла виконати шість задач за 4,5 години без доступу до Інтернету та калькуляторів, що є звичайними умовами для учасників.
Проте, деякі джерела стверджують, що оскільки OpenAI самостійно оцінював свої результати, це викликає сумніви щодо легітимності заяви. Компанія планує опублікувати математичні докази та критерії оцінювання для відкритого перегляду.
OpenAI зазначає, що це досягнення є значним кроком вперед у порівнянні з попередніми спробами, які використовували спеціалізовані системи доведення теорем. Нова модель працює як звичайна мовна модель, обробляючи задачі у вигляді простого тексту та генеруючи природні мовні докази.
Ця новина з’явилася після оголошення Google про те, що їх моделі AlphaProof і AlphaGeometry 2 отримали срібну медаль на IMO, проте їм знадобилося до трьох днів на розв’язання задачі з залученням людської допомоги.
У заяві OpenAI наголошується, що математика є перевіркою для логічного мислення, і ця досягнення демонструє, що загальні методи можуть перевершити системи, налаштовані вручну, у завданнях, які раніше здавалися недосяжними.