./новости · 29 июля 2026 г.
новость
ИИ закрывает открытые задачи уже не в одной области: GPT-5.6 доказала гипотезу Фейге о 1/e
источник: @gdb · X·
машинная выжимка · сверена с источником
Greg Brockman
@gdb
5.6 - за решение ещё одной давней открытой задачи, теперь в теории вероятностей:
Мой друг Чжэнцин с помощью GPT-5.6 решил красивую и хорошо известную гипотезу в теории вероятностей. Гипотеза Фейге о 1/e: для независимых неотрицательных X_1,…,X_n с E[X_i] ≤ 1 и S_n = X_1+⋯+X_n верно P(S_n ≤ E[S_n] + 1) ≥ 1/e. Здорово, что задача, которую мы когда-то гоняли за обедами и ужинами, наконец решена! 1/2
· 2,6 тыс. просмотров
29 июля Грег Брокман сообщил, что GPT-5.6 решила гипотезу Фейге о 1/e. Формулировка простая: для независимых неотрицательных X_1,…,X_n с E[X_i] ≤ 1 и суммой S_n верно P(S_n ≤ E[S_n] + 1) ≥ 1/e. Доказательство получил математик Чжэнцин, друг автора цитируемого поста; Брокман называет это ещё одной давней открытой задачей, на этот раз в теории вероятностей.
Почему это важно: До сих пор модели мерили задачами, у которых ответ уже кто-то знал: олимпиадные наборы, бенчмарки, разобранные доказательства. Здесь ответа не знал никто, гипотезу годами перебрасывали за обедом и не могли добить. Слово 'ещё одну' в твите значит, что до вероятностей был как минимум один такой случай в другой области. Как именно проверяли доказательство, сколько заходов ушло у модели и где препринт - об этом не сказано ни слова.
Что дальше: Цитируемый пост помечен как 1/2: вторая часть с деталями ещё не вышла. Ждать её и препринт, пока доказательство не прочитал никто, кроме автора.
первоисточник