В сентябре OpenAI объявила о предполагаемом решении одной из семи проблем премии тысячелетия в математике: Navier-Stokes, долговременный вопрос о уравнениях, описывающих поведение жидкостей. Хотя компания позже представила сотни результатов, никаких новых доказательств премии тысячелетия не было, хотя некоторые находки показали прогресс в пяти оставшихся открытых вопросах.
Какие это специализированные вопросы? Они трудны даже для большинства математиков. Одна из них — гипотеза Римана, сформулированная в статье 1859 года немецким математиком Бернардом Риманом. Она касается простых чисел и их распределения по числовой прямой. По мере увеличения чисел простые числа становятся реже. Риман предложил гипотезу, предоставляющую точную формулу для оценки того, сколько простых чисел существует ниже любого заданного числа. Он умер в возрасте 39 лет, не вернувшись к проблеме. Питер Сарнак, математик Университета Принстона и Института продвинутых исследований, назвал её "великой проблемой" и сказал, что доказательство "будет монументальным с математической точки зрения".
Результат, связанный с квази-гипотезой Римана, был проверен Lean, компьютерным помощником по доказательствам, и считается, вероятно, правильным. Однако это недостаточно, чтобы решить исходную проблему премии тысячелетия. Алекс Конторович, председатель отделения математики Rutgers, описал это как "фундаментальное прорыв", отметив, что для доказательства полной гипотезы потребуются новые идеи.
Другие оставшиеся проблемы включают догадку Бирча и Свиннетона-Дайера, сформулированную в начале 1960-х годов британскими математиками Брайан Джон Бирч и Сэр Питер Свиннетон-Дайер с использованием раннего компьютера EDSAC-2.
Источник: New York Times Top Stories · Сводку подготовил HeadlinesBriefing