OpenAI says its AI model solved a Navier–Stokes problem
OpenAI announced that its model had solved a Navier–Stokes problem, according to Greg Brockman. He described the result as finding a counterexample or a proof that the theoretical equations can develop a singularity under certain circumstances. Navier–Stokes is one of the seven Millennium Problems and has remained open for a long time.
Brockman called the result new knowledge for humanity and evidence that models can help generate knowledge and tackle difficult scientific problems. The equations have applications in fluid dynamics, ocean currents, aircraft airflow and turbulence, but the announcement presented broader applications—including disease treatment and new medicines—as possibilities rather than completed outcomes. The supplied material does not independently verify the result or specify the proof’s exact formal status.
OpenAI заявила, что ее ИИ-модель решила задачу Навье—Стокса
OpenAI объявила, что ее модель решила задачу Навье—Стокса, сообщил Грег Брокман. По его описанию, результатом стал контрпример или своего рода доказательство того, что теоретические уравнения при определенных обстоятельствах могут привести к сингулярности. Задача Навье—Стокса входит в число семи задач тысячелетия и долгое время оставалась открытой.
Брокман назвал результат новым знанием для человечества и свидетельством того, что модели могут помогать получать знания и решать сложные научные задачи. Уравнения применяются к гидродинамике, океанским течениям, обтеканию самолетов и турбулентности, однако более широкие применения — включая лечение заболеваний и разработку новых лекарств — были представлены как возможности, а не как уже достигнутые результаты. В предоставленных материалах результат не подтвержден независимо, а точный формальный статус доказательства не уточняется.