Пока GPT-5.2 решает задачи Эрдёша, Gemini доказывает теоремы: новости ИИ-математики
habr.comПока GPT-5.2 решает задачи Эрдёша, Google DeepMind осваивает другой формат: математики из Стэнфорда и DeepMind опубликовали статью по алгебраической геометрии, где доказательство теоремы нашли с помощью Gemini Deep Think.
Это первый известный случай, когда LLM участвует в открытии теоремы в исследовательской математике — не олимпиадной задачи и не проблемы из готового списка.
