ИИ от OpenAI доказал квазигипотезу Римана, удивив математиков

6 октября OpenAI опубликовала коллекцию из 722 математических работ, среди которых одно исследование привлекло особое внимание. В нём утверждается доказательство квазигипотезы Римана, предполагающей, что все нетривиальные нули дзета-функции расположены в более узкой полосе, чем это было известно с XIX века.

Математики-теоретики в течение двух недель анализировали представленное доказательство и в основном пришли к выводу о его корректности. Примечательно, что ИИ не вводил новых концепций, а сумел объединить уже существующие методы и формулы, включая ту, что была доказана Радзивиллом и Данном в 2021 году. Модель выявила целое семейство функций, которое ранее оставалось без внимания исследователей.