OpenAI сообщи́ла о возмо́жном реше́нии зада́чи Навье́—Сто́кса
Listen to the Article
This audio was generated using an AI voice.
8 сентября компа́ния OpenAI сообщи́ла, что её вну́тренняя систе́ма ИИ нашла́ доказа́тельство для одно́й из самых тру́дных зада́ч матема́тики. Речь идёт о зада́че существова́ния и гла́дкости уравне́ний Навье́—Сто́кса. Она́ вхо́дит в семь Пробле́м ты́сячелетия, и её не удава́лось реши́ть о́коло 90 лет.
Э́ти уравне́ния опи́сывают движе́ние жи́дкостей и га́зов — напри́мер, воды́, во́здуха и кро́ви. Учёные давно́ пыта́ются выяснить, мо́жет ли ско́рость жи́дкости в како́й-то то́чке вы́расти без грани́ц за ограни́ченное вре́мя. OpenAI утвержда́ет, что её систе́ма пока́зала: э́то возмо́жно.
По да́нным компа́нии, над зада́чей одновреме́нно рабо́тали о́коло 10 000 ИИ-аге́нтов. Они́ получи́ли результа́т приме́рно за 88 часо́в. За́тем с по́мощью GPT-6 Astra был созда́н и прове́рен фо́рмальный ва́риант доказа́тельства в програ́мме Lean.
Но зада́чу пока́ нельзя́ счита́ть оконча́тельно решённой. Незави́симые матема́тики должны́ изучи́ть доказа́тельство. После́ публи́кации возник и спо́р с двумя́ иссле́дователями, кото́рые рабо́тали над похо́жей зада́чей. OpenAI заяви́ла, что не получа́ла до́ступа к их неопублико́ванной рабо́те, но не исключи́ла, что обезли́ченные да́нные могли́ улучшить её моде́ли.
Show English Translation
OpenAI Reports Possible Solution to Navier–Stokes Problem
On September 8, OpenAI said that its internal AI system had found a proof for one of mathematics’ most difficult problems. It is the Navier–Stokes existence and smoothness problem. It is one of the seven Millennium Prize Problems and had remained unsolved for about 90 years.
These equations describe the movement of liquids and gases, for example water, air, and blood. Scientists have long tried to find out whether the speed of a fluid can grow without limit at some point in a limited time. OpenAI says that its system showed this is possible.
According to the company, about 10,000 AI agents worked on the problem at the same time. They obtained the result in about 88 hours. Then a formal version of the proof was created and checked in the Lean program with the help of GPT-6 Astra.
But the problem cannot yet be considered finally solved. Independent mathematicians must study the proof. A dispute also arose after publication with two researchers who had worked on a similar problem. OpenAI said that it had not accessed their unpublished work, but did not rule out that de-identified data could have improved its models.
Key Vocabulary
| Russian | Part of speech | English |
|---|---|---|
| доказа́тельство | noun | proof |
| существова́ние | noun | existence |
| гла́дкость | noun | smoothness |
| уравне́ния | noun | equations |
| жи́дкостей | noun | liquids; fluids |
| ограни́ченное | adjective | limited |
| ИИ-аге́нтов | noun | AI agents |
| фо́рмальный | adjective | formal |
| незави́симые | adjective | independent |
| обезли́ченные | adjective | de-identified; anonymized |
Sources
- OpenAI: On the Navier–Stokes Millennium Prize Problem
- Nature: OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’
- The Guardian: OpenAI claims to have solved maths problem that stumped humans for decades
This learner article is an original summary based on the sources above. The featured image is an AI-generated editorial illustration.