mathematics

Тема		Ответов	Просм.	Активность
Более 100 математиков подписали «Лейденскую декларацию», предупреждая о том, что ИИ подрывает независимость математических исследований Обычный ai , mathematics , 莱顿宣言		0	23	03.06.2026
ИИ-агент от Google DeepMind решил 9 открытых задач Эрдёша и доказал 44 гипотезы из OEIS; стоимость каждого доказательства составляет сотни долларов Обычный ai , deepmind , mathematics , formal-verification , lean		0	11	25.05.2026