ИИ становится хорош в математике. Вот почему.
Эссе сообщает, что внутренняя модель OpenAI опровергла гипотезу Эрдёша о единичном расстоянии (открытую с 1946 года), доказала гипотезу о двойном покрытии циклами и решила еще десять открытых проблем — и анализирует почему: модели ищут в глубину с автоматическими верификаторами, обменивая время на вычисления, так что обычные подсказки становятся действенными, а неудачные попытки — негативными подсказками. Цитируя математика OpenAI Джейкоба Цимермана, ИИ может играть дольше и в более коварных водах, чем математики, не будучи подавленным. Важно как рамка для предсказания, какие задачи ИИ решит дальше.
ИСТОЧНИКИ
- Latent Space2026-10-23 15:19