TGViewer
Математика Дата саентиста Математика Дата саентиста @data_math · 14.3K subscribers
Post #1050 2.87K
🚨 ИИ начал решать задачи, которые не могли закрыть десятилетиями

Появился ещё один кейс, который сложно игнорировать.

GPT-5.4 Pro вместе с системой Aristotle помог решить две задачи уровня научных исследований. Одна из них задача Эрдёша №650, которая оставалась нерешённой больше 60 лет.

Это уже не про ускорение вычислений. Здесь модель участвует в поиске решений. Фактически работает на уровне идей, а не только формул.

Важно, что такие задачи раньше требовали лет работы и сильной интуиции. Теперь часть этого процесса начинает закрываться моделями.

Теренс Тао уже прямо сказал, что в математике ИИ перестал быть хайпом. Он начинает влиять на реальные открытия.

Для ИИ специалистов это важный сдвиг.

Модель превращается из инструмента автоматизации в инструмент исследования. И это меняет саму механику научной работы.
  • 🔥 9
  • ❤ 3
  • 👍 3
More from @data_math
  1. Sep 21, 2026OpenAI близка к решению ещё одной задачи тысячелетия — гипотезы Ходжа, сообщает The Inform…
  2. Sep 20, 2026VisualGenAI — курс по генеративным моделям в компьютерном зрении, который идёт в ногу с пе…
  3. Sep 18, 2026🧠 Одна формула, которая объясняет идею гомоморфизма: φ(a ∗ b) = φ(a) ∘ φ(b) Смысл простой…
  4. Sep 16, 2026📘 Бесплатная книга по выпуклой оптимизации Convex Optimization: Algorithms and Complexity…
  5. Sep 15, 2026photo post
  6. Sep 13, 2026🔥 Хочешь расти в IT быстрее остальных? Перестань учиться в одиночку Можно годами смотреть…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →