Использование искусственного интеллекта в математике, физике и научных исследованияхПолитика и властьвчераПостов: 5Каналов: 4visibility19.4К
Хабр@habr_comТехнологии и IT18 октября 2026more_horizНавье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику Как уложить одинаковые шары максимально плотно? С апельсинами на прилавке всё кажется очевидным. А вот доказательство оптимальной упаковки в восьми измерениях появилось только в 2016 году. Спустя десять лет ИИ-агент Gauss помог завершить перевод этого доказательства на формальный язык Lean. Правда, к тому моменту люди уже проделали огромную подготовительную работу. А в сентябре 2026 года OpenAI объявила, что её новая модел...ещё🔥 19 ❤ 4 😱 4 🎉 3 💯 3 🤯 2
ProFinance.Ru@marketsnapshotФинансы и криптовалютывчераmore_horiz«Романтическая эпоха» математики закончилась, заявил вундеркинд из Калифорнийского университета в Лос-Анджелесе OpenAI начала свое резкое вторжение в эту область, решив в начале сентября уравнение Навье — Стокса — одну из математических задач тысячелетия. (читать далее) 👉 https://pfs.ms/c31sM9 @marketsnapshot👍 37 👎 10
Жестокая реальность@zestokayarealnostПолитика и властьвчераmore_horizУ математиков случилось то, что скоро случится почти в любой профессии. Матокалипсис! За драмой можно наблюдать прям сейчас, там очень весело и интересно. Началось с того, что в августе OpenAI собрала 40 математиков на встречу с интригующим названием «Конец математики». Если коротко — в одном из вариантов человеческая помощь моделям нафиг уже не нужна, спасибо, мясные, отойдите, пожалуйста. Ещё математики там попросили публиковать всё статьями, но OpenAI всё выбросила постами, типа, сношайтесь...ещё
global_chan@global_chanПолитика и власть18 октября 2026more_horiz😂 Забавная история приключилась с бенчмарком TheoPhysEval, где ИИ доказал, что умнее кожаных физиков, которые его составили. Изначально GPT-6 Astra набрал +80% на бенчмарке по физике. Однако агент настаивал, что результаты экспертов-физиков ошибочны, а его расчёты верны. При этом ИИ отказывался играть в подхалима операторам-физикам (что хороший знак повышения качества LLM), а требовал от физиков пересмотреть бенчмарк как ошибочный. После тщательной проверки оказалось, что куча экспертов с PhD...ещё
global_chan@global_chanПолитика и властьвчераmore_horizИз-за нейросетей закрылся сайт decomp.dev, где энтузиасты годами вручную разбирали старые игры 😬 Админ Encounter заявил: "Сообщество декомпиляторов разрушено из-за ИИ". Раньше декомпиляция игры среднего размера занимала годы, а теперь GPT-6-Astra справляется быстрее — если рядом есть человек с головой. ИИ лучше выполняет сложные инструкции, сопоставляет ресурсы и пишет код. Прогресс налицо, только сообщество приказало долго жить. История decomp.dev — наглядная демонстрация того, как автоматиз...ещё