ИИ использовали для проверки самого сложного на сегодняшний день математического доказательства +14 31.08.2026 18:00 SLY_G 7 Научно-популярное Математика Искусственный интеллект