OpenAI выложила 700 математических препринтов с доказательствами и контрпримерами

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

В репозитории openai/math на GitHub опубликовано около 700 препринтов, охватывающих широкий спектр математических результатов — от доказательств гипотез до контрпримеров. Среди них — опровержения гипотез Капланского, Хадвигера, Борсука, а также доказательства гипотез Сеймура и Саксла. Материалы датированы сентябрём–октябрём 2026 года и доступны для изучения.