В 2025 году человечество сделало большой шаг вперёд в трёхмерной гипотезе Какэи, а в октябре 2026 года OpenAI заявила, что внутренняя модель продвинула гипотезу локальной гладкости во всех размерностях и даже провела формализацию в Lean.
В заголовках СМИ это превратили в «AI за одну ночь решил королевскую гипотезу», звучит эффектно. Но в самом репозитории всё написано предельно ясно: эти материалы больше похожи на первичные исследовательские данные, часть результатов может быть ошибочной и всё ещё ожидает рецензирования коллегами. В начале октября они уже отозвали несколько рукописей.
Как я это понимаю: научное узкое место постепенно смещается от поиска ответа к проверке ответа. Если вы всё ещё считаете ИИ лишь игрушкой для болтовни, вы, возможно, недооцениваете скорость, с которой он меняет разделение труда; а если любую новость о «прохождении» воспринимаете как окончательный вывод, то, возможно, переоцениваете идею, что публикация = истина.
$TAO $FET
В заголовках СМИ это превратили в «AI за одну ночь решил королевскую гипотезу», звучит эффектно. Но в самом репозитории всё написано предельно ясно: эти материалы больше похожи на первичные исследовательские данные, часть результатов может быть ошибочной и всё ещё ожидает рецензирования коллегами. В начале октября они уже отозвали несколько рукописей.
Как я это понимаю: научное узкое место постепенно смещается от поиска ответа к проверке ответа. Если вы всё ещё считаете ИИ лишь игрушкой для болтовни, вы, возможно, недооцениваете скорость, с которой он меняет разделение труда; а если любую новость о «прохождении» воспринимаете как окончательный вывод, то, возможно, переоцениваете идею, что публикация = истина.
$TAO $FET
