Тег

#math

4 поста

• Oct 13, 2026 · Эссе · 1 мин

  Веревка вокруг Земли длиннее на 1 метр

  Веревка вокруг Земли длиннее на 1 метр - и под ней пролезет кошка. Зазор почти 16 см, не зависит от радиуса.

• Aug 31, 2025 · Эссе · 1 мин

  Причина отказа Перельмана от награды в миллион долларов

  Перельман отказался от миллиона долларов, разочарованный научным сообществом и его конформизмом.

• Aug 21, 2025 · Эссе · 1 мин

  GPT-5-pro решил задачу, где люди застряли

  GPT-5-pro нашел более точную границу для выбора шага в выпуклой оптимизации.

• Dec 14, 2023 · Эссе · 1 мин

  Lean Copilot: Новый шаг в автоматизации доказательства теорем

  Lean Copilot - новый инструмент, который меняет процесс доказательства теорем с помощью AI.