OpenAI представила два доказательства квазигипотезы Римана
Х@habr_comмедиа / агрегатор
вчераOpenAI представила два варианта доказательства квазигипотезы Римана. Математики изучают короткую работу, но пока не признали результат теоремой.
Если результат подтвердится, он может изменить понимание важной математической задачи, но проверка доказательства ещё продолжается.
- OpenAI представила два варианта доказательства квазигипотезы Римана.
- Первое доказательство прошло формальную проверку, второе пока нет.
- Математики должны проверить детали, прежде чем признать результат теоремой.
ИИ доказал квазигипотезу Римана. Что дальше?
«Любой математический журнал немедленно отклонил бы их», — так математик Максим Радзивилл оценил качество изложения двух доказательств, представленных OpenAI. При этом последствия одного из результатов он же назвал «ошеломляющими».
Речь о квазигипотезе Римана — более слабой версии знаменитой гипотезы, которая остаётся нерешённой более 160 лет. OpenAI представила два варианта доказательства: на 199 и 49 страниц. Первое прошло формальную проверку, второе пока нет. Однако именно короткую работу взялись изучать специалисты. Питер Сарнак из Принстона даже решил изменить программу своего курса, чтобы посвятить его разбору доказательства.
При этом сам Сарнак пока не готов признать результат теоремой. Сначала математикам нужно проверить и понять все детали доказательства.
Кратко (AI)
OpenAI представила два варианта доказательства квазигипотезы Римана: на 199 и 49 страниц. Математики изучают короткую работу, но пока не считают результат доказанной теоремой; Питер Сарнак планирует посвятить разбору доказательства курс.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖