ИИ доказал квазигипотезу Римана. Что дальше? «Любой математический журнал немедленно отклонил бы их», — так математик Максим Радзивилл оценил качество изложения двух доказательств, представленных OpenAI. При этом последствия одного из результатов он же назвал «ошеломляющими». Речь о квазигипотезе Римана — более слабой версии знаменитой гипотезы, которая остаётся нерешённой более 160 лет. OpenAI представила два варианта доказательства: на 199 и 49 страниц. Первое прошло формальную проверку, второе пока нет. Однако именно короткую работу взялись изучать специалисты. Питер Сарнак из Принстона даже решил изменить программу своего курса, чтобы посвятить его разбору доказательства. При этом сам Сарнак пока не готов признать результат теоремой. Сначала математикам нужно проверить и понять все детали доказательства.