カテゴリー : 数学

ABC予想の機械検証始動　ZEN大など国際チームがプロジェクト

私立オンライン大学のZEN大が、京都大・望月新一教授のABC予想証明理論の正しさを数学証明支援ソフト「Lean」で検証する国際プロジェクトを開始。2026年7月に中間報告予定で、数学界の論争に決着を目指す。

07:59

整数論の超難問「ABC予想」について、京都大学の望月新一教授が14年前に発表した「証明論文」をめぐり、数学界で未だ論争が続いています。足し算とかけ算の関係に迫るこの予想の本質と、その数学的意義を詳しく解説します。

03:34

数学の超難問「ABC予想」の証明をめぐり、国際研究チームがコンピューター支援検証を実施中。望月新一教授の証明に「未解明ポイント」や「論理的ギャップの可能性」を指摘し、2026年までの議論継続を発表。数学界の異常事態に終止符が打たれるか注目される。

03:12

豆ごはんの塩の量を比例式で計算する日常から、中学や高校で習った数学の活用を振り返る。足し算や引き算など基本の算数で生活できる一方、暗算の衰えや家計簿の苦労を語り、子供たちに九九を諦めないでとエールを送る。

19:56

リアルタイム同期の共有リスト。登録不要 — 開いてすぐに一緒に買い物。

数学のノーベル賞といわれるフィールズ賞を受賞した数学者の広中平祐氏が18日、94歳で死去した。代数幾何学の「特異点解消」理論で世界的な業績を残し、文化勲章受章者としても知られる。

08:08

京都大学数理解析研究所の入江慶准教授が、ビリヤードの球の軌道を幾何学的に研究する取り組みを紹介。シンプレクティック幾何学の視点から、数学の面白さと研究者としての姿勢について語った。

01:46

Page 1 of 1