#なぜ今日これを選んだか

「AIはコードを速く書く道具」だと思っているうちに、AIは人類が80年解けなかった数学の予想を自分で覆してしまった。専用ツールじゃなく汎用の推論モデルが、だ。エンジニアとして上を目指すなら、ここで起きている変化から目を逸らせない。だから今日はこれを選んだ。

#要点

• OpenAIの汎用推論モデルが、1946年にPaul Erdősが提起した離散幾何の「単位距離問題」の中心的予想を覆した。AIが一分野の主要な未解決問題を自律的に解いた初の事例とされる。
• 平面上のn点でちょうど1単位離れたペアの最大数について、従来は正方格子が本質的に最適と信じられていた。モデルは無限の反例族を構成し、多項式的に上回る（v(n) ≥ n^(1+定数)）ことを示した。
• 鍵は代数的数論と離散幾何の予想外の結びつき。しかもこの問題専用に訓練されたわけでも、専用の探索ツールを持たされたわけでもない汎用モデルが見つけた点が衝撃的。

#自分にとっての示唆

外資ITエンジニアを目指す自分にとって、これは「AIに仕事を奪われる/奪われない」の話じゃない。AIを相棒として、人間が到達できなかった所まで一緒に行ける時代が来たという話だ。価値の源泉が「自分で全部書ける」から「良い問いを立て、AIの出力を検証し、分野をまたいで結びつける」へ移っている。まさにこのモデルが数論と幾何を繋いだように。

明日からの具体アクションは2つ。①Rust学習やGoプロダクトで、まず自分で考えてからAIに設計を壁打ちし、出力を鵜呑みにせず「なぜそうなる?」と検証する癖をつける。②英語の一次情報（今日みたいなOpenAIの発表）を辞書なしで読む練習に、この記事を素材として使う。AIに追い越されるんじゃなく、AIを使いこなす側に回る。それが外資への一番の近道だ。

原文を読む →