OpenAI разом опубликовала 377 математических результатов ИИ: квазигипотеза Римана и показатель умножения матриц снижен до 2,25

## OpenAI разом опубликовала 377 математических результатов ИИ OpenAI опубликовала собрание математических результатов, созданных внутренней передовой моделью: 722 рукописи и 372 «семейства результатов» по теории чисел, алгебре, топологии, логике и теоретической информатике. По сообщениям, модель работала примерно с 4000 открытых математических задач, а уцелевшие результаты были собраны и опубликованы. **Главное** - **Квазигипотеза Римана**: доказано, что дзета-функция Римана и родственные L-функции не имеют нулей в области Re(s)>7/8. Гипотеза Римана утверждает это для Re(s)>1/2. Известные ранее безнулевые области сужались по мере подъёма вдоль мнимой оси; на этот раз получена безнулевая полоса постоянной ширины. - **Показатель умножения матриц снижен до 2,25**: прежний мировой рекорд — около 2,37. Математик из Корнеллского университета Strogatz сказал, что этот скачок «подобен прыжку в длину Боба Бимона». - **Формальная проверка в Lean**: многие доказательства формализованы в системе Lean, и машина может проверить их строка за строкой; однако формализованы не все, и в неформализованных результатах возможны ошибки. - **Реакция научного сообщества поляризована**: математики потрясены тем, что «любого из них хватило бы на медаль Филдса», другие сомневаются: проверка в Lean примерно у половины результатов означает, что для остальной половины по-прежнему нужно «поверьте на слово». > Оригинал: [читать первоисточник](https://helloentrepreneurs.com/technology/openai-publishes-hundreds-of-ai-generated-math-results-including-claimed-advance-on-riemann-zeta-function-100727/). Текст является кратким изложением и носит справочный характер.