Недавние исследования показали, что математический прорыв, заявленный OpenAI, вызывает вопросы. Учёные сравнили опубликованное доказательство по уравнениям Навье-Стокса с его алгоритмической версией, разработанной с использованием системы Lean, и обнаружили расхождения в нескольких ключевых местах. В частности, машинный вариант содержит более слабые утверждения, что ставит под сомнение его достоверность.

Хотя это не является окончательным опровержением, результаты анализа создают почву для дальнейших обсуждений и исследований. Учёные подчеркивают, что важно внимательно изучить все аспекты доказательства, чтобы понять, насколько оно действительно является прорывным. В данной ситуации необходимо учитывать, что подобные расхождения могут возникать в процессе алгоритмической обработки сложных математических концепций.

Значимость данного вопроса заключается в том, что успехи в области математического моделирования и алгоритмов могут оказывать влияние на многие области науки и техники. Если доказательство окажется не столь надежным, это может повлиять на дальнейшие исследования и разработки в области математического анализа и машинного обучения.