AnswersPublished12 sources
ШІ розв’язав дев’ять задач Ердеша. Але що насправді доводять ці результати?
У препринті за травень 2026 року повідомляється про 9 розв’язаних задач із 353 задач Ердеша та 44 доведені гіпотези з 492, відібраних з OEIS. Це приблизно 2,5% і 8,9% перевірених наборів відповідно, а не показник успішності системи для будь якої математичної задачі.
ОпублікувавВідредаговано за допомогою GPT-6 LunaЗображення створено за допомогою GPT Image 2
Research answer
Key takeaways
- У препринті за травень 2026 року повідомляється про 9 розв’язаних задач із 353 задач Ердеша та 44 доведені гіпотези з 492, відібраних з OEIS.
- Це приблизно 2,5% і 8,9% перевірених наборів відповідно, а не показник успішності системи для будь якої математичної задачі.
- Формальна перевірка в Lean допомагає перевірити доказ, але не встановлює автоматично новизну результату чи відповідність формалізованої задачі її початковому формулюванню.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What does Google DeepMind’s October 8, 2026 Science paper, following its May arXiv preprint, report about AlphaProof Nexus’s solutions to ni. Article summary: The May preprint reports a meaningful but selective advance: AlphaProof Nexus resolved nine of 353 Erdős problems and proved 44 of 492 OEIS conjectures, with reported computing costs of a few hundred dollars per solved E. Topic tags: general, academic, general web, user generated, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, wate
Травневий препринт 2026 року повідомляє, що AlphaProof Nexus від Google DeepMind розв’язав дев’ять із 353 відкритих задач Ердеша та довів 44 із 492 гіпотез з OEIS — Онлайн-енциклопедії цілих послідовностей. Автори оцінюють обчислювальні витрати на одну розв’язану задачу Ердеша в кілька сотень доларів. Результати вказують на потенційно корисний інструмент для пошуку доказів, але самі по собі не показують, наскільки надійно система розв’язує математику загалом і чи є кожен результат новим. 17
Що стоїть за цифрами
Дев’ять із 353 — це приблизно 2,5% перевірених задач Ердеша; 44 із 492 — близько 8,9% гіпотез OEIS. Це частки успішних результатів у конкретних наборах, а не ймовірність розв’язати довільну відкриту математичну задачу. Автори також повідомляють, що після кожного успішного результату фахівці перевіряли, чи відповідає формулювання в Lean початковій гіпотезі Ердеша. 17
Важливо й те, що «кілька сотень доларів» — оцінка вартості на одну розв’язану задачу Ердеша. Ця цифра сама по собі не показує загальних витрат на невдалі спроби або економічної ефективності всього процесу пошуку. 17
Що дає перевірка в Lean — і чого вона не дає
У препринті AlphaProof Nexus описано як систему пошуку формальних доказів за допомогою ШІ. Доказ записують у формальній мові, наприклад Lean, а спеціальний перевіряльник звіряє його з формально заданим твердженням. Якщо перевірка успішна, це дає вагоме підтвердження, що доказ логічно випливає з саме цього формулювання. 17
Однак перевірити доказ і оцінити його математичний контекст — не одне й те саме. Прийняття доказу системою не встановлює автоматично, чи точно формалізоване твердження передає задум задачі, чи не довів її хтось раніше та наскільки результат важливий. Тому згадка про те, що фахівці звіряли формулювання в Lean із початковими гіпотезами Ердеша, — суттєва частина оцінки заявленого результату. 17
Що підтверджують доступні джерела
Жовтнева публікація повідомляє, що серед розв’язаних задач Ердеша є дві, поставлені Паулем Ердешем та Андрашем Шаркезі у 1970 році. Це вказує на те, що серед результатів є давні задачі, однак ідеться про вторинне висвітлення, а не про сам препринт. 19
Доступні тут матеріали охоплюють травневий препринт і вторинні повідомлення, але не повний текст жовтневої статті в Science та докладні незалежні оцінки кожної заяви. Тому на їхній основі не можна підтвердити назву версії моделі, результати з алгебраїчної геометрії та оптимізації мінімаксного типу або конкретні суперечки щодо попередніх розв’язків, зміни формулювань, альтернативних агентів, незавершених доказів і пошуків, спрямованих людьми. Без перевірки самої статті, формальних доказів та оцінок відповідних фахівців ці подробиці не слід вважати остаточно встановленими.
Як оцінювати досягнення
Надійна оцінка потребує розгляду кожної задачі окремо: звірити її початкове формулювання з формалізованим, перевірити повний доказ, переглянути попередню літературу й зафіксувати, яку роль відігравали люди. Заявлені результати роблять AlphaProof Nexus вартим уваги як інструмент пошуку доказів. Але самі по собі вони не доводять, що система самостійно проводить математичні дослідження, і не визначають новизну чи значущість кожного результату. 17
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "ШІ розв’язав дев’ять задач Ердеша. Але що насправді доводять ці результати?"?
У препринті за травень 2026 року повідомляється про 9 розв’язаних задач із 353 задач Ердеша та 44 доведені гіпотези з 492, відібраних з OEIS.
What are the key points to validate first?
У препринті за травень 2026 року повідомляється про 9 розв’язаних задач із 353 задач Ердеша та 44 доведені гіпотези з 492, відібраних з OEIS. Це приблизно 2,5% і 8,9% перевірених наборів відповідно, а не показник успішності системи для будь якої математичної задачі.
What should I do next in practice?
Формальна перевірка в Lean допомагає перевірити доказ, але не встановлює автоматично новизну результату чи відповідність формалізованої задачі її початковому формулюванню.
Sources
arxiv.orgAdvancing Mathematics Research with AI-Driven Formal ...
elmundo.esGoogle DeepMind logra que una IA resuelva problemas matemáticos que llevaban más de 50 años sin solución
science.orgAt futuristic meeting, AIs took the lead in producing and reviewing all the studies