Тег
#math
3 поста
- Aug 31, 2025 · Эссе · 1 мин
Причина отказа Перельмана от награды в миллион долларов
Перельман отказался от миллиона долларов, разочарованный научным сообществом и его конформизмом.
- Aug 21, 2025 · Эссе · 1 мин
GPT-5-pro решил задачу, где люди застряли
GPT-5-pro нашел более точную границу для выбора шага в выпуклой оптимизации.
- Dec 14, 2023 · Эссе · 1 мин
Lean Copilot: Новый шаг в автоматизации доказательства теорем
Lean Copilot - новый инструмент, который меняет процесс доказательства теорем с помощью AI.