← Дайджест от 1 ноября 2026
Исследования
2 источникаHN 227
2 источникаHN 227Математик Теренс Тао призвал признать, что профессия изменилась под ИИ
Математик Теренс Тао написал, что математика уже изменилась под влиянием ИИ и профессия должна признать это вслух. Речь о проверке доказательств машиной, о поиске контрпримеров и о том, что часть рутинных шагов теперь делается автоматически.
Тао предлагает менять практику: пересмотреть, что считается вкладом в статью, как рецензируют работы с машинной частью и чему учат аспирантов. Пост собрал 227 очков и 251 комментарий на Hacker News — спорят в основном о том, где проходит граница между инструментом и соавтором.
Что говорят
0c3ca83Hacker News
Аналогия с таблицей Менделеева, которая «не решила химию», — полная ерунда. Говорят так, будто ИИ разово решит программу Ленглендса, а не будто мы получили универсальный инструмент. Это как сказать: «машина проехала милю, а каждая миля открывает новые дороги — чего вы так волнуетесь за лошадей?»
bananaflagHacker News
То, что после решения любой задачи появляются новые, — не суть спора. Суть в том, что ИИ сможет продвигаться в любой задаче лучше любого человека.
fookerHacker News
Поразительно наблюдать, как математические исследования превращаются из ремесла в технологию — в CS это случилось десятилетия назад. Когда я занимался математикой в аспирантуре с соседом-постдоком, меня удивляло отвращение к любым вычислениям в этом ремесле. Что ж, теперь доказательство — в сгенерированном ИИ пудинге.