Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику
Привет! Меня зовут Игорь Росляков, я технический писатель.
Зачем человечеству открытые задачи науки?
Disclaimer: в преддверии ожидания публикации от OpenAI новых решенных задач (которые не вошли в DevDay, как хотелось бы) делюсь обзором на понимание, зачем человечеству открытые задачи науки и как они улучшают нам жизнь.Наука у меня обычно ассоциируется со знанием: законы, уравнения и теоремы с доказательствами. Но передовые открытия устроены наоборот, и главную часть составляют открытые задачи, то есть гипотезы, истинность которых пока не известна. Такие задачи показывают границы не только наших знаний, но и наших методов мышления.А вот попытка решить фундаментальную задачу часто оказывается важнее самого ответа.
Нейронный Навье‑Стоксгейт: скандал с OpenAI вокруг решения «задачи тысячелетия» на $1’000’000
Новый скандал, на этот раз на стыке матана и AI: кожаные математики насмерть сцепились с вооруженными нейронками бигтехами за титул «Решивший Задачу Тысячелетия». OpenAI, по сути, обвиняют в том, что они украли чужую идею решения из пользовательской сессии Codex.
