Штучний інтелект розв’язав чотири задачі, які роками були не під силу вченим

09 лютого 2026 р. 10:17

09 лютого 2026 р. 10:17

Стартап Axiom стверджує, що розроблений ним штучний інтелект AxiomProver за останні тижні згенерував кілька нових математичних доказів. Йдеться про докази, які стосуються різних галузей теорії чисел та алгебраїчної геометрії. За словами компанії, ці результати свідчать про зростання можливостей штучного інтелекту в задачах, що потребують складного міркування, передає Wired .

Хоча штучний інтелект поки що не здолав найвідоміших математичних викликів, система Axiom за останні тижні знайшла рішення для кількох задач, які роками заводили експертів у глухий кут. Ці успіхи демонструють стабільний розвиток математичних здібностей ШІ, який дедалі активніше використовується науковцями для перевірки гіпотез та пошуку нових ідей.

“ Я вважаю, що штучний інтелект слугуватиме новим інтелектуальним інструментом — або, можливо, більш доречно сказати “інтелектуальним партнером” — відкриваючи більш широкі горизонти для математичних досліджень”, — підкреслив математик Давей Чен.

Один із доказів стосується гіпотези, над якою п’ять років тому працював Чен з математиком Квентіном Гендроном. Тоді вони не змогли обґрунтувати ключову формулу з теорії чисел і подали свою ідею лише як гіпотезу.

Нещодавно Чен обговорив цю проблему з математиком Кеном Оно, який приєднався до Axiom. Наступного дня Оно представив доказ, згенерований системою AxiomProver, після чого результат доопрацювали та опублікували на arXiv.

“Після цього все стало на свої місця природним чином”, — зазначив Чен. За його словами, інструмент штучного інтелекту виявив зв’язок із числовим явищем, відомим ще з XIX століття.

AxiomProver повністю самостійно довела гіпотезу Фела, я ка стосується сизигій, або математичних виразів, де числа шикуються в алгебрі. Вона базується на формулах математика Шрініваси Рамануджана, знайдених понад 100 років тому в його блокноті. Експерти, зокрема професор Гарварду Скотт Комінерс, вражені не лише автоматизацією процесу, а й “елегантністю та красою” знайденого рішення.

Ще два результати стосуються ймовірнісних моделей у теорії чисел та методів, розроблених у контексті доведення Великої теореми Ферма. У компанії наголошують, що йдеться не про найвідоміші відкриті задачі, але про проблеми, які роками не мали розв’язання.

“Математика — це справді чудовий полігон і пісочниця для реальності. Ми справді вважаємо, що існує багато досить важливих випадків використання з високою комерційною цінністю ”, — заявила генеральна директорка Axiom Каріна Хонг.

Підхід Axiom поєднує великі мовні моделі з власною системою AxiomProver, яка спеціалізується на логічному мисленні. Головною перевагою є використання мови Lean для автоматичної перевірки доказів, що відрізняє цей інструмент від звичайного штучного інтелекту. Це дозволяє системі не просто шукати готові відповіді в базах даних, а генерувати нові, математично обґрунтовані рішення.

Раніше Google DeepMind оголосила про “історичне досягнення” у сфері штучного інтелекту. Модель Gemini 2.5 за 30 хвилин розв’язав надскладну задачу з гідродинаміки, яка виявилася непосильною для учасників-людей.

Водночас дослідження організації ORCA, проведене наприкінці 2025 року, поставило під сумнів надійність штучного інтелекту в математичних обчисленнях. Тестування п’яти провідних моделей — Gemini, Grok, DeepSeek, ChatGPT, Claude — показало, що в середньому чат-боти помиляються у 40% випадків .

Політика