6 октября OpenAI представила доказательство квази-гипотезы Римана, выполненное с помощью ИИ. Математик Гектор Пастен подтвердил, что работа устраняет нули Ландау-Зигеля, что является завершенным решением задачи. Доказательство представлено в документе объемом 199 страниц.
Вскоре исследователи Кьюретон и Торнер применили инструменты ИИ к L-функциям Гекке конечного порядка. Они установили отсутствие нулей справа от границы 1-1/6000. Позже математическое сообщество уточнило границу «свободной от нулей зоны» до 1/32, что было подтверждено формальным доказательством в языке Lean через агент AxiomProver.
12 октября математики Фрей, Сомос и Видмер опубликовали работу на платформе arXiv. Используя новые данные о зоне без нулей, они безусловно доказали гипотезу Элленберга-Венкатеша 2007 года о l-кручении групп классов числовых полей. Тем самым была решена математическая задача, остававшаяся нерешенной 19 лет и ранее требовавшая допущения обобщенной гипотезы Римана.
