Математика Дата саентиста

Программисты, которые переживают из-за ChatGPT Математики, которые пережили изобретение калькулятора

(без текста)

⚡️ Бесплатный клон Perplexity сейчас активно хайпует - Perplexica. Это опенсорс-поисковик с ИИ, который делает глубокий ресерч, проверяет факты и собирает ответы со ссылками на источники. • Глубокий

🌟 Эрик Шмидт (бывший CEO Google) выпустил сильную колонку в Time о будущем ИИ. Главная мысль: следующая революция ИИ произойдёт не в софте, а в физическом мире. Мы больше десяти лет наблюдали, как

GPT-5.4 Pro только что показал 38% на FrontierMath Tier 4 - одном из самых сложных математических бенчмарков. Эти 50 исследовательских задач по математике могут занимать у математиков недели на решен

🖥 Большинство парсеров умирают через 2 дня. Ты научишься делать те, которые работают в продакшене. Это не про BeautifulSoup ради галочки. Это про системы сбора данных, которые: • не падают из-

🔥 Легендарный математик - Дональд Кнут начал свою новую научную работу словами: “Shock! Shock!” Почему? Потому что Claude Opus 4.6 решил открытую задачу, над которой Кнут работал несколько недель.

🚀 Релиз LongCat-Flash-Prover - это одна из самых сильных open-source моделей для формальной математики. Модель строит и проверяет доказательства как в реальной математике. Внутри • 🧠 Не один аг

🚀 GPT-5.4 Pro решил открытую задачу из FrontierMath Kevin Barreto и Liam Price с помощью GPT-5.4 Pro нашли решение, которое подтвердил математик Will Brian (UNC Charlotte) Речь про одну из открыт

Топ-12 GitHub-репозиториев по ИИ, отобранных по популярности и количеству звезд 🧑‍💻 Что бы ты добавил к этой подборке?