Філософи поставили під сумнів заявку OpenAI про розв'язання проблеми Нав'є — Стокса
After Math
OpenAI 8 вересня 2026 року оголосила про створений штучним інтелектом розв'язок проблеми існування та гладкості рівнянь Нав'є-Стокса — однієї із семи проблем тисячоліття. Математик Трістан Бакмастер назвав це «моментом на кшталт Deep Blue-Каспарова», що спричинило дискусію про розподіл заслуг між людиною і машиною. Автори аналітичного допису стверджують, що формально коректний доказ у системі Lean ще не дорівнює «зрозумілому» доказу, який математики можуть осмислити й використати для подальшого розвитку науки, тож остаточна оцінка результату передчасна.
Мовою оригіналу · EN
On September 8, 2026, OpenAI announced an AI-generated solution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems, sparking debate over credit…
Читати оригінал на Hacker News (100+ балів) →
Чому в стрічці: Розвиток теми AI-математики та авторства доказів — резонує з переглядами про конфлікт OpenAI з математиками.