問題の中にある易しい問題を見つけよ
ベストセラーとなった数学的発想法の指南書、ジョージ・ポリアの『いかにして問題をとくか』（1945年）は、この分野の作業手法を体系化した――問題が解けなければ、特殊な場合、類似物、条件を一つ外した問題など、関連する易しい問題を見つけてそれを先に解け、というものである。研究数学者はこれを本能的に行うが、ポリアはその本能を教えられるものにし、この本は百万部を超えて売れた。
核となるスキルは計算ではない――それはとうの昔に機械が引き受けた――そうではなく、厳密に定義された対象について隙のない論証を構築すること、そしてそれ以上に難しいメタスキルである、どの論証に取り組む価値があるかを見極めることである。働く数学者たちは自分たちの日々を正直に「行き詰まっている」ものだと表現する。アンドリュー・ワイルズは研究を、何ヶ月も暗い部屋を手探りで進み、明かりのスイッチを見つけてはまた次の暗い部屋に移ることに例えた。
この仕事が求める気質はそれゆえ独特である。ほとんどのアプローチが難問に対して死に絶えるため、持続的な失敗への耐性。一行の欠陥が百ページを無効にするため、執拗な正確さ。そして見込みのない方向を早く見切るだけのセンスである。学校が評価する速さは最も重要ではなく、この分野の偉大な人物の何人かは自らを「遅い」と評した。
What the work demands
証明の構築97
問題選択とセンス90
行き詰まりを耐え抜く粘り強さ88
文章による説明75
計算とプログラミング68
教育と指導62
証明の構築
定義から結論まで、隙のない完全な論理の連鎖を築くこと――他のどの分野にもない確実性の基準を満たす、この職業の産物である。
問題選択とセンス
どの問いが重要でありかつ既存の道具で攻略可能かを見極める能力――キャリアを最も分ける技能であり、指導教官が教えることが最も難しいと語る技能である。
行き詰まりを耐え抜く粘り強さ
何ヶ月も何年も進展のない同じ壁に何度も戻ること。ワイルズはフェルマーに七年を費やしており、研究の日常の質感は失敗した試みの連続である。
文章による説明
個人的な理解を、査読者が検証でき同僚が発展させられる論文に変えること――この分野全体の記憶は書かれた証明であり、うまく書かれなかった結果は失われる。
計算とプログラミング
SageMath、Mathematica、Pythonで実験を行いデータを生成し予想を検証すること、そして次第にLeanで形式証明を書くこと――現代の実験台である。
教育と指導
研究職の大半は教授職である。講義、博士課程の学生の指導、そして徒弟修業の連鎖に技芸を伝えることは、実際の仕事の半分を占める。
A day in the life
- 7–9
arXivと連絡
一日は前夜からの自分の分野の新しいプレプリントを掲載するarXiv一覧の確認と、時差を越えた査読依頼や共著者からのメールで始まる。
- 9–12
集中作業の時間
現在の問題に取り組む保護された午前のブロック。ページと黒板を埋め、具体例を計算し、昨日失敗した同じ補題に再び挑む。ハーディは一日四時間の創造的な時間が数学者の限界だと考えていた。
- 12–14
昼食と談話室でのお茶
学科の昼食とお茶は休憩ではなく仕事の一部である。協働の半分は廊下でのふとした一言から始まり、強い学科はこの儀式を熱心に守っている。
- 14–16
教育と指導
学部生への講義、その後は博士課程の学生との面談――主張された証明を一行ずつ確認したり、行き詰まった学生に彼らの問題の小さな版を手渡したりする。
- 16–19
セミナーと黒板での協働
誰かの新しい研究を一時間発表し質疑を行う研究セミナーの後、共著者とのチョークセッションが続く。共著論文の多くは実際にはここで生まれる。
- 19–7
執筆、熟成、そして休息
夕方は論文の執筆と校正に費やされる。休息もまた真の仕事である。ポアンカレは意識的な努力が止まった後に解が浮かび上がってくる様を記録しており、数学者たちは眠る前にわざと問題を頭に詰め込んでおく。
The know-how
Craft knowledge practitioners actually pass on — not motivation.
パターンが白状するまで具体例を計算せよ
ガウスは十代の頃、表にある素数を一回に何千個も手で数え上げることで素数定理の内容を発見した――誰かがそれを証明できるようになる何十年も前のことである。この技芸は今も生きている。現代の研究者はコンピュータ実験を走らせてデータを構築し、パターンを推測し、その後で初めて証明を試みる。具体例から正直に得られた良い予想は定理の半分だ、というのがこの分野の格言である。
満ち来る潮
アレクサンダー・グロタンディークはナッツを開ける二つの方法を語った――ハンマーとノミを使うか、あるいは何週間も水に浸けて自然に開くのを待つか。彼の方法――一般理論を辛抱強く構築し、難問が目に見える苦闘なしにやがて開いてしまうようにする――は代数幾何学を再構築し、今も現代数学の多くの背後にある意図的な戦略であり続けている。すなわち問題を力ずくで解くのではなく枠組みを広げるということである。
頭に詰め込んでから離れよ
アンリ・ポアンカレは、フックス関数について何週間も実を結ばずに研究した後、コータンスでオムニバスに乗り込む瞬間、数学とは無縁のことを考えていたときに解が完全な形で浮かんできたと記した。意識的に飽和させた後、休息中に潜伏作業をさせよという彼の処方は、この分野全体で意図的な技術となっており、数学者たちが散歩、シャワー、睡眠を働く時間として大切にする理由である。
十二時間の凡庸より四時間の充実を
G・H・ハーディは朝食から昼食まで働き、午後はクリケット観戦に費やした。一日四時間の創造的な仕事が数学者の限界であり、それを超えると翌日修正すべき誤りを生むと考えていたのである。証明への深い集中は生理学的に高くつく。規律とは絶頂の時間を延ばすことではなく守ることである。
まず玩具のようなモデルを解け
テレンス・タオの広く読まれるキャリア助言は現代の作業手法を体系化している――難問をその最も単純で非自明な場合に切り詰め、あらゆる都合の良い仮定を加えてそれを解き、その後で仮定を一つずつ取り除いていくというものである。彼はまた途中経過や失敗したアプローチを書き留めることを勧める。なぜ明白な攻め方が失敗するのかを知ることそれ自体が持ち運び可能な財産になるからである。
Tools of the trade
黒板とチョーク
今もこの分野を定義する道具である。チョークの速さは説明される思考のペースに合い、消せることが挑戦を後押しする。敬愛される日本の羽衣チョークは、2015年のメーカー閉業を、韓国企業がその製法を買い取ったことでのみ生き延びた。
LaTeX
数学の普遍的な組版システムであり、ドナルド・クヌースのTeX（1978年、自著の校正刷りの醜さに我慢できず開発した）とレスリー・ランポートのマクロを基盤とする。この分野のあらゆる論文誌、プレプリント、学位論文がこれで書かれている。
証明支援系（Lean、Coq）
形式化された証明のあらゆる論理ステップを検証するソフトウェア。2017年以来オープンなコミュニティが構築してきたLeanのmathlibライブラリは百万行の形式化された数学を超え、2022年のペーター・ショルツェの成果を含む研究レベルの定理を検証した。
計算機代数システム
Mathematica、Maple、MATLAB、Magma、そしてオープンソースのSageMathは、予想が生まれる元となる具体例やデータを生成する記号的・数値的実験――因数分解、プロット、行列計算など――を担う。
arXiv
1991年にポール・ギンズパーグがロスアラモスで創設したプレプリントサーバーで、今や新しい数学のほぼすべてが論文誌への掲載前にここに現れる。朝の一覧を確認することはこの職業の共通の日課であり、そこに投稿することが優先権に時刻印を刻む。
How people fail at it
退路のないまま有名問題に挑むこと
取り出せる部分的成果への戦略もないまま、リーマン予想やコラッツ予想に何年も費やすことは、キャリア初期の破滅として知られている。パウル・エルデシュはコラッツについて数学は「まだそれに対して機が熟していない」と語った。ワイルズが七年をフェルマーに賭けられたのは、モジュラー性に関する部分的進展がそれ自体で発表可能だったからにすぎない。
神童の罠
教室で一番速いことの上に築かれたキャリアは、しばしば研究の最前線で崩れる。そこでは誰もが自分の教室で一番速かった人であり、問題は分ではなく月単位の時間を要する。速さから粘り強さへの適応は博士課程の学生の少なからぬ割合を挫折させ、指導教官は知識の欠落以上にこれを注視する。
決して発表しない完璧主義
この分野の絶対的な正しさの基準は、研究者を優先権が失われていく中で結果を際限なく磨き続けるよう誘惑する。九割方完成した論文が詰まった引き出しは、本物の犠牲を伴う定番の冗談である。arXivはこの競争を先鋭化させた。投稿されていない成果は明日にも誰か別の人に独立して発見され時刻印を押されうるのである。
Keep exploring
More in Science & Research
⚛️
物理学者
黒板一枚から3000人の共著者を抱える加速器論文まで、物質・エネルギー・空間・時間を支配する数学的法則を導き検証する仕事。
AI-resistant 65 🧬生物学者
生命そのものを研究する科学者。リンネが種を手作業で命名した時代から、CRISPRでゲノムを編集する今日まで、あらゆる着想を生きた生物で検証し続けてきた。
AI-resistant 64 🧪化学者
物質そのものを作り、測る科学者——バビロニアのタプティの蒸留器から今日のロボット実験室まで、スペクトルの意味を決めるのは常にこの人だ。
AI-resistant 70 📊データサイエンティスト
データからパターンを見つけ予測モデルを構築する職業――2008年生まれの肩書きだが、その土台には数値を数え、検証し、可視化してきた3世紀分の営みがある。
AI-resistant 38 🔭天文学者
バビロニアの粘土板から宇宙望遠鏡まで、宇宙を測り続ける科学者。今もデータの中のどの揺らぎが発見なのかを見極めている。
AI-resistant 70