数学者、820年のアル＝フワーリズミーがバグダードで代数を名付ける — 第720節 アル＝フワーリズミーがバグダードで代数を名付ける

バビロニアの書記からフィールズ賞受賞者、AI支援証明まで――困難な問いを恒久的な確実性へと変え続けてきた職業、一つの定理ごとに。 「数学者」という語はギリシャ語のマテーマ（学ばれるもの）に由来し、紀元前6世紀のピタゴラス教団はすでに「マテマティコイ」という言葉を、真の論証を託された内輪の弟子だけに使っていた。数学者は完全に抽象の上に築かれた最古の職業である。バビロニアの書記たちは紀元前1800年頃、粘土板の上で二次方程式的な問題を解いており、紀元前300年頃にアレクサンドリアでエウクレイデスが証明した定理は今なお真であり、今なお教えられ、今なお引用され続けている――他のどの分野の創始者も主張できない永続性である。

現代のこの仕事は二つに分かれる。世界で数万人ほどの研究数学者が大学や研究所で新しい定理を証明する仕事に就いているが、そのキャリアは博士号取得から始まり、数年に及ぶポスドクの放浪、そして極めて狭き門の学術市場を経る。はるかに大きな集団が同じ訓練を金融、暗号、機械学習、政府機関で応用しており、米国労働統計局が2023年に「数学者」という肩書そのものを持つと数えた人はわずか数千人にすぎない一方、数学の訓練を受けたクオンツ、保険数理士、データサイエンティストは数十万人規模にのぼる。 本ページはプリンプトン322とリンド・パピルスから、アル＝フワーリズミーのバグダード、ニュートンとライプニッツの微積分をめぐる確執、ヒルベルトの23の問題を経て、ワイルズの屋根裏部屋、ペレルマンの辞退、そして今やオリンピック級の問題を金メダル水準で解く機械に至るまで、この職業の歩みを追う。各国で人々が実際にどう数学者になるのか、日々の仕事がどのようなものか、誰がこの職業の頂点に立ちどうやってそこに至ったのか、そしてAIが現実的に吸収しうる仕事の割合はどれほどかを扱う。

研究数学者は誰もまだ証明していない主張を証明しようとして日々を過ごす。論文を読み、具体例を計算し、黒板を埋め、生き残ったわずかなアイデアを書き上げる。多くは教育や学生指導も行う。応用・産業系の数学者は市場、機械、疾病、データのモデルを構築・分析し、数学が乱雑な現実に答えを出さねばならない。どちらの仕事も算数計算はほとんど占めない。 研究職や大学のポストでは、事実上どこでも必要であり、博士号は新しい数学を生み出せることを証明する資格である。学界の外では事情はやや緩やかで、トレーディング会社やテック企業、政府機関は優秀な学士・修士号取得者を採用する。医学や法律と異なり、無資格で定理を証明することを法的に禁じるものは何もない。ラマヌジャンは学位を一つも取得しなかった。