---
title: "Модель ШІ Anthropic досягла прориву у розв'язанні задачі, що мучила математиків понад 150 років"
description: "🤖 **Революція ШІ в математиці**: Нейронна мережа Anthropic досягла прориву у розв'язанні задачі, яку людство не може вирішити понад 150 років. 🧠 **Як це сталося**: — Співробітник без математичного бекграунду віддав команду моделі. — ШІ працював 1,5 доби, протестувавши 650 ідей. — До процесу було залучено 60 субагентів. ✅ **Результат**: Два математики підтвердили правильність висновків, а доведення були формалізовані в системі Lean. 📉 **Контекст**: Це продовження серії успіхів ШІ у 2026 році (проблеми Ердеша, модель Astra, гіпотеза Якобі). ⚖️ **Суперечки**: Математики обговорюють, чи не підриває ШІ цінність авторства, але лауреат Філдса Тімоті Говерс бачить у цьому майбутнє науки. #AI #Math #Anthropic #Science #Technology"
date: 2026-08-12T08:16:00.000Z
lang: uk
url: https://xab.info/uk/posts/model-shi-antropic-dosiahla-proryvu-u-rozvyazanni-zadachi-150-rokiv
tags: [anthropic, artificial-intelligence, mathematics, ai-research, technology-news]
publisher: "XAB.info"
---

# Модель ШІ Anthropic досягла прориву у розв'язанні задачі, що мучила математиків понад 150 років

![Робот-андроїд за комп'ютером, що символізує прорив ШІ-моделі Anthropic у вирішенні складної математичної задачі](https://xab.info/media/2026/08/12/ii-antropic-dobilsya-proryiva-v-reshenii-zadachi-150-let/ii-antropic-dobilsya-proryiva-v-reshenii-zadachi-150-let-1.webp)

## 🎯 Key Points

- Нейронна мережа Anthropic досягла прогресу у розв'язанні задачі, над якою працюють понад 150 років.
- ШІ протестував 650 ідей за 1,5 доби з використанням 60 субагентів.
- Результати підтверджені математиками та формалізовані в системі Lean.
- У науковому співтоваристві тривають суперечки щодо впливу ШІ на авторство та відповідальність у науці.

У світі сучасної науки та технологій стався знаковий момент, який може перевернути уявлення про роль штучного інтелекту у фундаментальних дослідженнях. Співробітник компанії Anthropic, який не має спеціальної математичної підготовки, запустив експеримент, що призвів до несподіваних результатів. Нейронна мережа отримала команду спробувати довести одну з найскладніших математичних гіпотез, над якою людство б'ється вже понад півтора століття. За доведення цієї гіпотези досі обіцяють премію в один мільйон доларів.

### Автоматизація наукового пошуку: 650 ідей за 36 годин

Процес роботи ШІ над задачею тривав 1,5 доби. За цей час алгоритм продемонстрував здатність до автономного планування та координації. Модель самостійно координувала виконання завдання, протестувавши 650 різних ідей та підходів до розв'язання. Масштаб обчислювальних ресурсів був вражаючим: алгоритм використав 31 мільйон вхідних токенів та залучив до процесу 60 окремих субагентів. Це свідчить про перехід від простого генерації тексту до складної когнітивної діяльності, що вимагає багаторівневої логіки та перевірки гіпотез.

### Верифікація результатів та формалізація

Ключовим етапом стало підтвердження правильності отриманих результатів. Два штатні математики компанії Anthropic перевірили висновки нейронної мережі та підтвердили їх коректність. Згодом висновки були формалізовані за допомогою системи інтерактивного доведення теорем Lean. Це критично важливий крок, оскільки Lean є стандартом для перевірки математичних доведень, що виключає людську помилку та забезпечує абсолютну точність логіки.

### Контекст: ШІ в математиці у 2026 році

Цей успіх став продовженням ряду математичних відкриттів, досягнутих за допомогою нейронних мереж у останні роки. У поточному 2026 році алгоритми вже вирішили кілька проблем Ердеша, а модель Astra від OpenAI довела 10 важливих результатів. Раніше команда Anthropic також спростувала відому гіпотезу Якобі. Ці події вказують на те, що ШІ перестав бути просто інструментом для обробки даних і став повноцінним співавтором у створенні нових математичних знань.

### Етичні дебати: Авторство та відповідальність

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

### Оптимістичний погляд: Майбутнє математики

У той же час, багато експертів, включаючи лауреата премії Філдса Тімоті Говерса, вважають, що залучення ШІ може змінити математику на краще. Вони вважають, що нейронні мережі здатні знаходити зв'язки та патерни, недоступні людському розуму, що відкриє нові горизонти для науки. Прорив Anthropic підтверджує, що ШІ здатний не лише розв'язувати поставлені задачі, але й знаходити несподівані підходи до вирішення проблем, які здавалися нерозв'язними.

## 🔍 Fact-Check Verification

- [An unreleased Anthropic model made progress on one of math’s biggest unsolved problems](https://www.msn.com/en-us/news/opinion/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems/ar-AA29S2nX) - Источник подтверждает основные факты о прогрессе модели Anthropic в решении математической задачи.

## ❓ FAQ

### Q: Яку задачу вирішив ШІ?
**A:** ШІ досяг прогресу у розв'язанні математичної гіпотези, над якою людство працює понад 150 років. За її доведення обіцяють мільйон доларів.

### Q: Скільки часу працював ШІ?
**A:** Алгоритм працював 1,5 доби, протестувавши 650 різних ідей.

### Q: Хто підтвердив результати?
**A:** Результати підтвердили два штатні математики компанії Anthropic, а висновки були формалізовані в системі Lean.

### Q: Що кажуть математики про використання ШІ?
**A:** Думки розділені: деякі побоюються втрати авторства, інші, як Тімоті Говерс, вважають, що ШІ змінить математику на краще.