Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику
Привет! Меня зовут Игорь Росляков, я технический писатель.
Девять петель от Claude — почему это очень важно для кода будущего
25 сентября 2026 года Anthropic опубликовал «Yes, Claude can do Nine Loops».По сообщению участников проекта, Claude получил символ девятипетлевой шестичастичной MHV-амплитуды двумя способами. Речь идёт о специальной квантовой теории поля — планарной
Виталик Бутерин призвал к осторожности в криптографии из‑за угрозы ИИ для математических структур
Основатель Ethereum Виталик Бутерин предупредил о возможных прорывах в математике, ускоренных развитием искусственного интеллекта. Он полагает, что такие прорывы могут подорвать безопасность криптографии на основе эллиптических кривых и решёток гораздо быстрее, чем ожидалось.
Математики бойкотируют новые ИИ‑открытия от компании OpenAI
Компания OpenAI представила решения ряда давних математических задач, полученные с помощью ещё не выпущенной передовой модели искусственного интеллекта. Публикация включает 722 документа, сгруппированных по 372 тематическим направлениям. Однако математическое сообщество бойкотирует эти документы.
Что мы можем выиграть, отказавшись от бесконечности?
Ультрафинитизм — философию, которая отвергает бесконечность, — долго считали математической ересью. Но он же помогает делать открытия в математике и за её пределами.
Ещё не выпущенная модель OpenAI подготовила 722 математические работы
OpenAI открыла репозиторий с 722 математическими рукописями, подготовленными внутренней, пока не выпущенной моделью. Работы объединены в 372 семейства: в каждое входят связанные результаты, дополнительные доказательства или следствия.
Зачем человечеству открытые задачи науки?
Disclaimer: в преддверии ожидания публикации от OpenAI новых решенных задач (которые не вошли в DevDay, как хотелось бы) делюсь обзором на понимание, зачем человечеству открытые задачи науки и как они улучшают нам жизнь.Наука у меня обычно ассоциируется со знанием: законы, уравнения и теоремы с доказательствами. Но передовые открытия устроены наоборот, и главную часть составляют открытые задачи, то есть гипотезы, истинность которых пока не известна. Такие задачи показывают границы не только наших знаний, но и наших методов мышления.А вот попытка решить фундаментальную задачу часто оказывается важнее самого ответа.
Задача 3SUM решена быстрее, чем за O(N²) — а именно за O(N¹·⁹⁹⁹²). Без нейронок не обошлось
вместо тысячи слов5 октября американские исследователи Вирджиния Василевска-Уильямс, известная своими быстрыми (и безумно сложными) алгоритмами перемножения матриц за
Гипотеза простых близнецов и «ментальный сдвиг»
Актуальный контекст«В последние месяцы успехи искусственного интеллекта в решении крупных математических проблем всё чаще становятся новостями далеко за пределами профессионального математического сообщества. Но решение задач — это лишь средство и косвенный показатель продвижения к более глубокой цели: концептуальному пониманию и появлению новых идей
Крошечная нейронная сеть без компьютера и калькулятора
"- Когда я вижу ответ LLM, я скорее поверю, что где-то сидят миллион индусов, чем то, что ответ есть результат перемножения матриц.- Я тебе покажу "молекулу" этих нейросетей и ты поверишь, что индусы заняты не этим."После этого диалога с Юриком, держу слово. Написал ему письмо, и решил - пусть и остальные прочтут. Прошу простить за несколько развязный тон письма, но это все-таки личное письмо и в нашем общении он допустим.«Дорогой, Юрик!
