за 2025 год системы прошли путь от «может решить простые олимпиадные задачи» до «решает...
за 2025 год системы прошли путь от «может решить простые олимпиадные задачи» до «решает открытые проблемы, существовавшие десятилетия». Комбинаторика остаётся ахиллесовой пятой — даже лучшие системы решают лишь ~30% задач CombiBench. Research-level математика (Fate-X, PhD-уровень) пока даётся с трудом — Seed-Prover 1.5 решил 33%, но это уже начало. Скорость и стоимость вывода: решение сложных задач всё ещё требует многодневных вычислений и сотен долларов на задачу.
96 просмотров