Lean
Нейросети и ИИ
ИИ-агент Google DeepMind решил 9 задач Эрдёша, две ждали 56 лет
17.10.2026
Нейросети и ИИ
Неопубликованная модель Anthropic продвинулась в решении гипотезы Римана
11.08.2026
Нейросети и ИИ
OpenAI показала Astra с 10 математическими достижениями и проверкой в Lean
01.08.2026
