数学者 · バビロニアの書記からフィールズ賞受賞者、AI支援証明まで――困難な問いを恒久的な確実性へと変え続けてきた職業、一つの定理ごとに。
数学は数学者という職業よりも古い。記録に残る歴史の大半において、それを行っていたのは書記、哲学者、占星術師、宮廷天文学者、あるいは趣味人であり、新しい数学を証明することだけを仕事とする有給の職はほとんど19世紀のドイツの大学以前には存在しなかった。青銅器時代のメソポタミア以来絶えず存在していたのは、その営み自体――そして他のどの科学とも隔てるあの奇妙な性質、すなわち一度証明された結果は決して失効しないという事実である。
その永続性が全歴史を形作っている。物理学は過去を捨て去るが、数学は過去を積み重ねる。今日の数論研究者は、一つの論証の中でエウクレイデス（紀元前300年頃）、フェルマー（1640年）、ガウス（1801年）、リーマン（1859年）の結果を直接使う。この職業の物語とは、時代ごとに社会がその恒久的な蓄積に何かを加える誰かに給料を払うべきだと繰り返し決めてきた物語であり、誰がその「誰か」になることを許されたかの物語である。
数学を行う対価として最初に給料を得たのは書記だった。ニップルやバビロンの書字学校では、見習いたちが逆数や平方数の表を写し、六十進法で今日でいう二次方程式を解いた。粘土板プリンプトン322（紀元前1800年頃）はピタゴラス自身より千年も前に高度なピタゴラス数の組を列挙している。エジプトでは、リンド・パピルス（紀元前1550年頃、書記アメスがより古い原典から書き写した）が配給や穀倉、ピラミッドの傾斜に関する84問を扱う。彼らは理論家ではなく行政官だったが、訓練とテキストと給料を持つ計算の専門職であり、後のあらゆる形態のこの仕事は彼らに端を発する。
現在コロンビア大学にあるバビロニアの粘土板は、六十進法で15行のピタゴラス数の組を記載しており、ピタゴラスより千年も前に体系的な数論があったことを示す。これは神殿や宮殿の行政のために専門の計算者を養成する書字学校の文化から生まれたもので、世界最初の制度化された数学教育である。
プトレマイオス1世のもとアレクサンドリアで活動したエウクレイデスは、ギリシャ幾何学を定義・公準・465の命題からなる全13巻に整理し、それぞれが先行する事柄から証明された。『原論』は公理的方法を数学の真理の基準として確立し、二千年以上にわたり実用の教科書であり続け、聖書を除けばほとんどどの書物よりも多くの版を重ねて印刷された。
カリフ、アル＝マアムーンの知恵の館で、ムハンマド・イブン・ムーサー・アル＝フワーリズミーは方程式を解く論考を著し、その主要操作アル＝ジャブル（「復元」）が代数（アルジェブラ）という語になった。彼の算術書はインドの十進法の数字をイスラム世界、後にヨーロッパへと伝え、彼の名のラテン語訛りアルゴリトミが「アルゴリズム」という語になった。
ジェロラモ・カルダーノの『アルス・マグナ』は三次・四次方程式の一般解を印刷したが、その中にはニコロ・タルタリアが1539年に秘密厳守の誓約のもとカルダーノに打ち明けた三次方程式の解法も含まれていた。タルタリアの公然たる怒りと、当時の数学者が公開の場で生計をかけて争った方程式解決対決は、ルネサンス期の数学がいかに競争的で職業的であったかを示している。
エドモンド・ハレー自らが印刷費を負担したことでようやく出版されたアイザック・ニュートンの『自然哲学の数学的諸原理』は、三法則と万有引力から惑星、月、潮汐の運動を導いた。これに続くライプニッツとの微積分をめぐる優先権論争は、イギリスと大陸ヨーロッパの数学を一世紀にわたって分断した――この分野で最も有名な、プライドの代償を伝える教訓である。
1900年8月8日、パリの国際数学者会議でダフィット・ヒルベルトは23の未解決問題のうち10個を発表し、数学には「不可知（イグノラビムス）は存在しない」と宣言した。この一覧は百年にわたり研究を導き、リーマン予想を含むいくつかの問題は今日も未解決のままである。
ウィーンの25歳のクルト・ゲーデルは、算術を扱えるほど豊かな無矛盾な形式体系はすべて、証明できない真の命題を含むことを証明した。この結果はヒルベルトが目指した数学全体を完全な公理的基盤の上に確立する計画を打ち砕き、数学者が自らの学問について誠実に主張できることを永久に変えた。
イリノイ大学のケネス・アペルとヴォルフガング・ハーケンは、あらゆる平面地図は四色で塗り分け可能であることを証明した。約1200時間のコンピュータ時間を用い、人間の手では検証しきれない約2千通りの配置を確認したものである。学科は郵便物に「FOUR COLORS SUFFICE（四色で足りる）」と印を押し、哲学者たちは人間が検証できない証明が証明として成立するかを論じた――コンピュータ支援数学が引き起こした最初の大きな危機であった。
プリンストンの屋根裏の書斎で7年間秘密裏に研究した後、アンドリュー・ワイルズは1993年6月にケンブリッジでフェルマーの最終定理の証明を発表した。その後、査読者が発見した欠陥の修復に14ヶ月を費やし、1994年9月にリチャード・テイラーとともにそれを埋めた。1995年に『数学年報』に掲載されたその証明は、余白に走り書きされてから358年続いた難問に終止符を打った。
グーグル・ディープマインドとオープンAIのシステムは2025年7月、国際数学オリンピックの問題で金メダル水準の成績を収めた。これはディープマインドのAlphaProofが銀メダル水準に達した一年後のことだった。証明支援系Leanのライブラリmathlibが百万行を超える形式化された数学を通過する中、この職業は証明のどの部分が人間の仕事として残るのかを本格的に議論し始めた。
バビロニアとエジプトの書記たちは、税、ナイル氾濫後の土地測量、穀倉の容積計算など、有給の行政技術として数学を築いた。一方タレス以降のギリシャの思索家たちは、それを実例で確かめるものではなく演繹的証明によって確立される主張へと転換した。アレクサンドリアの博物館にはエウクレイデス、アポロニウス、後にヒュパティアがおり、彼女が415年に暴徒に殺害されたことはしばしばこの時代の象徴的終焉とされる。ギリシャの革新である「証明」は今日もこの職業の核となる産物である。
ラテン・ヨーロッパの数学が衰退する一方、イスラム世界はギリシャとインドの基盤の上に発展を築いた。アル＝フワーリズミーの代数、オマル・ハイヤームの幾何学的三次方程式、そして西方へと伝えられ洗練された十進法の数字である。フィボナッチの『算盤の書』（1202年）はその数字をヨーロッパの商業にもたらした。ケーララではサンガマグラーマのマーダヴァが1400年頃、円周率と三角関数の無限級数を導いた――ヨーロッパより二世紀も早く。この学派の業績はインド国外ではほとんど知られないまま近代まで埋もれていた。
ルネサンスと啓蒙時代の数学者たちはパトロネージによって生きた。カルダーノとタルタリアは名声と弟子を賭けて公然と方程式対決を行い、オイラーはサンクトペテルブルクとベルリンの帝立アカデミーから給料を得て生涯を過ごし、ラグランジュはフリードリヒ大王の招きでその後を継いだ。ニュートンとライプニッツは新しい物理学の原動力となる微積分を築き、二人の優先権論争は当時も今も、名誉こそがこの職業の真の通貨であることを示した。
19世紀のドイツの大学が現代的なこの仕事を発明した。博士課程の学生を持つ教授研究者、1826年のクレレ誌に始まる専門誌、そしてゼミナールである。ガウス、リーマン、クライン、ヒルベルトのもとでゲッティンゲンは世界の数学の首都となったが、1933年のナチスによる粛清が一年でそれを空にした。教育相にその研究所が被害を受けたかと問われたヒルベルトは、もはや存在しないと答えたという。厳密さそのものも再構築された――コーシーとワイエルシュトラスの極限、カントールの集合論、あらゆる場面での公理化である。
戦後の国家資金――とりわけ米国とソ連の冷戦下の科学予算――がこの職業を大きく拡大させ、プリンストン高等研究所やモスクワの力学数学部が中心地となった。コンピュータは道具として、やがて1976年の四色定理以降は証明の担い手として登場した。プレプリントサーバーarXiv（1991年）は世界規模の即時流通を当たり前にし、Polymathのような取り組み（2009年）はオープンなオンライン群衆によって定理が証明される様を示した――孤高の天才モデルは目に見えてネットワーク化された技芸に取って代わられつつある。
Neighbouring trades that no longer exist — absorbed, automated or regulated away.
二世紀にわたり「コンピュータ」とは職業名だった。1767年に始まった英国航海暦の在宅計算者ネットワークから、ハーバード天文台の女性計算者たち、そしてNASAの分離された西部地区計算部門――ジョン・グレンが自ら確認を拒まなかったキャサリン・ジョンソンによる軌道計算――まで、手計算のチームである。電子計算機は1945年のENIAC登場からわずか十年ほどでこの職を消し去った。機械は労働者たちの名前そのものを奪ったのである。
イタリアの商業都市のマエストリ・ダバコやドイツの町のレッヒェンマイスターは、大学の外の私塾で商人の息子たちに実用算術――為替、利息、共同事業の分配――を教えた。アダム・リースのドイツ語算術書（1522年以降）は非常に権威があり、「ナッハ・アダム・リーゼ（アダム・リースによれば）」という言葉は今もドイツ語で「正しく計算すれば」を意味する。印刷教科書と普遍的な学校教育がこの職をゆっくりと解体していった。
何世紀もの間「マテマティクス」という称号は、天文学、暦の計算、占星術を一つの仕事として行う宮廷の役職を意味した。1601年からルドルフ2世の帝室数学者となったヨハネス・ケプラーは、惑星運動の法則を書く傍ら将軍ヴァレンシュタインの星占いを行い、占星術を「愚かな娘」と呼びながらも、その分別ある母である天文学を養う存在だと率直に語った。科学革命はこの二つの職業を分離し、占星術の側から地位を奪った。
この職業はすでにいくつもの終焉を生き延びてきた。占星術というパトロンの喪失、人間コンピュータの消滅、人には読めない証明という四色定理の衝撃である。そのたびに仕事は新しい制度的居場所へと移った――神殿、宮廷、アカデミー、大学、そして今は次第に研究所とトレーディングフロアへと。
決して変わらなかったのはその産物である。二十三世紀前にアレクサンドリアで正しく証明された定理は、それ以来一切の保守を必要としていない。他のどの職業の産物もそのような保証を伴わず、だからこそ社会はあらゆる時代、あらゆる経済体制のもとで、それをさらに生み出す人々にお金を払うことを繰り返し選んできたのである。
黒板一枚から3000人の共著者を抱える加速器論文まで、物質・エネルギー・空間・時間を支配する数学的法則を導き検証する仕事。
AI-resistant 65 🧬生命そのものを研究する科学者。リンネが種を手作業で命名した時代から、CRISPRでゲノムを編集する今日まで、あらゆる着想を生きた生物で検証し続けてきた。
AI-resistant 64 🧪物質そのものを作り、測る科学者——バビロニアのタプティの蒸留器から今日のロボット実験室まで、スペクトルの意味を決めるのは常にこの人だ。
AI-resistant 70 📊データからパターンを見つけ予測モデルを構築する職業――2008年生まれの肩書きだが、その土台には数値を数え、検証し、可視化してきた3世紀分の営みがある。
AI-resistant 38 🔭バビロニアの粘土板から宇宙望遠鏡まで、宇宙を測り続ける科学者。今もデータの中のどの揺らぎが発見なのかを見極めている。
AI-resistant 70