フロンティアGPTモデル、無作為抽出した200の未解決予想の約60%に解決候補を提示と研究

OpenConjectureは2026年2月以降のarXiv数学論文から予想を収集。反例は証明の約1.3倍多く、著者は専門家による検証をしておらず、予想の誤りや記述不足を突いた解答もあった。