数学者がAIを使って四十年の空白を最後に埋めた
六人の数学者が、26個ある特殊な対称群のうち最後まで残っていたM23を解いた。AIエージェントが膨大な対称の組み合わせを探し、七つの候補面の方程式を近似で出した。正確な多項式は人間が書き、論文にAIの文は一行もないという。
なぜ重要かこれはAI数学の静かな形で、機械が範囲を絞り、人が仕上げる。根拠は企業の発表ではなく、公開された証明そのものだ。
アプリで読む——無料・9言語
関連ニュース
新種のマルウェアが次の一手を四つのAIに投票させる2026-09-23オープンAIの百万ドルの証明は自然にない力に頼っていた。
2026-09-232005 年から解けなかったエニグマ電文を、AI が破った。
2026-09-22古代ギリシャ語だけを学んだモデルが、欠けたパピルスを補う。
2026-09-22人形を刺す指示を、最上位モデルは二度しか断らなかった。
2026-09-22