OpenAI o3 × 算額——数学AIと神社に奉納された「解けない問い」
2025年、OpenAI, Inc.の推論モデル「o3」が国際数学オリンピック（IMO）の問題で金メダル相当のスコアを達成した。AIが人間の数学的推論に匹敵する——この衝撃は大きい。しかし「解けない問題に挑む」という行為そのものに価値を見出す文化は、江戸時代の日本にすでに存在していた。「算額」である。
算額——神社に奉納された「数学の絵馬」
算額（さんがく）とは、江戸時代に神社仏閣に奉納された数学の問題と解答を記した木の額のことだ。和算家（日本独自の数学者）たちが、自ら解いた難問の解法を美しい図形とともに板に描き、神社に掲げた。
現存する算額は約975面（1997年の調査による）。最古のものは1683年（天和3年）、栃木県佐野市・星宮神社に奉納されたとされる。内容は幾何学が中心で、円に内接する図形の関係、球の体積計算、曲線で囲まれた面積の求積など、現代の大学数学に匹敵する高度な問題が含まれる。
算額の最も興味深い点は、「問題を解くこと」だけでなく「問題を出すこと」にも価値が置かれていたことだ。算額には「遺題」（いだい）と呼ばれる未解決問題が記されることがあった。「この問題を解ける者は、解答を奉納せよ」——これは、現代の数学における「未解決問題の公開」と同じ構造だ。
「解く喜び」を神に捧げる——和算の精神性
西洋の数学が「真理の探究」や「自然法則の記述」を動機としたのに対し、和算は「解く喜び」そのものを目的とした側面が強い。算額を神社に奉納する行為は、「数学的発見の喜びを神に感謝する」という精神性を持っていた。
関孝和（せき・たかかず、1642頃–1708）に代表される和算家たちは、微積分に相当する「円理」や行列式に相当する「傍書法」を独自に発展させた。しかし和算は「実用」よりも「美」を重視した。幾何学的に美しい問題、エレガントな解法——和算家たちが追求したのは、数学の「芸術性」だった。
AIの「推論」と人間の「問い」
o3のような推論AIは、与えられた問題を解く能力において人間を凌駕しつつある。しかし「問題を作る」能力——つまり「良い問いを立てる」能力——においては、まだ人間に及ばない。
算額文化が示唆するのは、「解く」ことと「問う」ことは異なる知的行為であり、後者にこそ人間の創造性の本質があるということだ。AIが解答を瞬時に出せる時代に、人間に残される役割は「解けない問い」を生み出すこと——つまり、算額を奉納する側に立つことなのかもしれない。
江戸の和算家たちは、解けた喜びを神に捧げ、解けない問いを次世代に託した。AIが数学オリンピックで金メダルを取る時代に、この「問いを立て、託す」という営みの価値は、むしろ高まっているのではないだろうか。
