数学が工業化される時代:372件の未解決問題に対してOpenAIが証明を公開

OpenAIは2026年10月6日、未公開のAIモデルが未解決の数学研究課題に取り組んで得た372件の数学成果を公開しました。関連する証明や派生結果をまとめたマニュスクリプトの一覧で、一部には証明支援系Leanで形式化した証明も添えられています。[1][2]

今回の発表には、数学者が十分に調べ切れていなかった命題に対して、高性能なAIを使えば網羅的に証明を試みられるという意義が示されたと言えます。証明の方針策定から、検証、結果の整理までを半自動化できれば、これまで一研究者が研究に割ける時間に制約があるために取り残されていた問いが片付けられるようになります。

OpenAIが公表した命題の証明のすべてが数学の方向性を変えるような重要な成果だとは言えないものの、こうした研究の進め方はもはや「数学の工業化」であり、パラダイムの変化に巻き込まれつつある数学コミュニティからは驚愕(もしくは怨嗟)の声が上がっています。最先端のAIモデルを擁する企業から一度に372件という規模の成果が発表されるという事態に際し、その価値と意味について考えてみます。 “数学が工業化される時代:372件の未解決問題に対してOpenAIが証明を公開” の続きを読む

ラセミ体とは?分子の「右手・左手」が半々に混ざる化学

分子にも、右手と左手のように、鏡に映した関係にありながら重ね合わせられないものがあります。その二つが同じ量ずつ混ざったものがラセミ体です。2026年のノーベル化学賞で話題になった「左右の偏りを増幅する反応」を理解するうえでも、この半々の状態が出発点になります。

「光を回さない」「左右が打ち消し合う」と説明されるラセミ体ですが、分子の形が変わったり、反応しなくなったりするわけではありません。この記事では、分子一つの性質と、集まった試料全体の性質を分けながら、ラセミ体の作られ方、測り方、分け方を説明します。 “ラセミ体とは?分子の「右手・左手」が半々に混ざる化学” の続きを読む

2026年ノーベル化学賞を解説:分子の「右手・左手」の偏りを増幅する仕組み

2026年10月7日、ノーベル化学賞の受賞者として、フランスのアンリ・B・カガン(Henri B. Kagan)氏と、東京理科大学名誉教授の硤合憲三(そあい・けんそう、Kenso Soai)氏が発表されました。受賞理由は「不斉有機合成における非線形効果と自己触媒の発見」です。[1]

私たちの右手と左手は、鏡に映すと同じ形に見えますが、向きを変えるだけではぴったり重なりません。分子にも、このような「右手型」と「左手型」があります。今回の研究が示したのは、両者のごくわずかな量の差を、化学反応によって大きく増幅できるということです。分子の形の違いから、反応の仕組み、生命との関係までを順に説明します。 “2026年ノーベル化学賞を解説:分子の「右手・左手」の偏りを増幅する仕組み” の続きを読む

2026年ノーベル物理学賞を解説:南極の氷で宇宙を観測するIceCube

2026年10月6日、ノーベル物理学賞が、米国ウィスコンシン大学マディソン校のフランシス・ハルゼン(Francis Halzen)氏に授与されました。受賞理由は、IceCubeニュートリノ観測施設への決定的な貢献と、天体に由来する高エネルギーニュートリノの発見です。[1]

IceCube(アイスキューブ)は、南極点付近の氷を使った巨大な観測装置です。星の光をレンズで集める望遠鏡とは仕組みが違いますが、宇宙から届く粒子を調べ、遠くの天体で何が起きているかを探ります。本記事では、ニュートリノの性質から観測の方法、今回評価された成果までを順に説明します。 “2026年ノーベル物理学賞を解説:南極の氷で宇宙を観測するIceCube” の続きを読む

日本の電気はなぜ東西で50Hz・60Hzに分かれている?

東京では50Hz、大阪では60Hz。同じ日本なのに、家庭へ届く電気の「リズム」が違います。これは東西で自然法則が違うからではなく、明治時代に導入した発電機の違いが、電力網の発展とともに受け継がれたためです。まずは、家電の表示で見かける「Hz」の意味から考えてみましょう。 “日本の電気はなぜ東西で50Hz・60Hzに分かれている?” の続きを読む

新機能の実装に関するお知らせ

こんにちは、管理人のfolioです。

いつも「理系のための備忘録」をご覧いただき、ありがとうございます。このたび、サイト内の記事を探しやすくするための機能と、訪問者数を確認できるカウンターを追加しました。あわせて、広告の表示方法も見直しています。

今回は、これらの変更について簡単にご紹介します。

“新機能の実装に関するお知らせ” の続きを読む