Тег

#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.