ИИ в математике.

Ещё не выпущенная модель OpenAI подготовила 722 математические работы

OpenAI открыла репозиторий с 722 математическими рукописями, подготовленными внутренней, пока не выпущенной моделью. Работы объединены в 372 семейства: в каждое входят связанные результаты, дополнительные доказательства или следствия.

продолжить чтение

Claude Fable 5 нашла контрпример к гипотезе Якобиана — ИИ «сломал» 87-летнюю математическую гипотезу

Claude Fable якобы нашла контрпример к гипотезе Якобиана (Jacobian Conjecture) — проблеме, которая оставалась открытой с 1939 года.О находке рассказал математик и сотрудник Anthropic Левент Альпёге (Levent Alpöge). В публикации в X он в шутливой форме поблагодарил своего друга Akhil за вопрос и Claude Fable 5 «за работу во время финала чемпионата мира».За шутливым тоном скрывается серьёзный математический результат: опубликованная конструкция выглядит как явный контрпример, который можно проверить обычными вычислениями.Что такое гипотеза Якобиана

продолжить чтение