数学の翻訳家
難解な数式や定理を、日常の言葉に“翻訳”して、その奥にあるロマンや物語をお届けします。数学アレルギーの方や文系の方も大歓迎。「わからない」が「面白い」に変わる瞬間を共有しませんか？大人の教養や息抜きに、不思議な数の世界へご案内します。
箱の中身は、表面積からすべてわかる――物理学者サスキンドが仕掛けた「ホログラフィー原理」
重力の性質から生まれた「ホログラフィー原理」は、空間の中身を表面積だけで知ることができると主張します。ブラックホールのエントロピー計算やAdS/CFT対応という数学的な証拠を手がかりに、私たちの宇宙も立体ではなく、量子ビットが描く平らな模様の投影かもしれないという物理学最前線の議論を、数式を使わずに紹介します。
〇Gravity Seems Holographic. What Does That Mean for Reality?（2026年9月25日）
https://www.quantamagazine.org/gravity-seems-holographic-what-does-that-mean-for-reality-20260925/
#数学の翻訳家 #数学翻訳家 #ホログラフィー原理 #量子重力 #ブラックホール #AdSCFT対応 #理論物理学 #物理学 #宇宙論 #量子力学 #重力理論 #時空 #レナードサスキンド #スティーヴンホーキング #ヤコブベケンシュタイン #弦理論 #量子ビット #イットフロムキュービット #数学 #サイエンス #教養 #素粒子物理学 #エントロピー #反ドジッター空間 #宇宙
AIが数学の未解決問題を解くたびに、なぜ「無報酬の監視委員」が呼ばれるようになったのか
OpenAIが数学とAIの独立諮問委員会を新設しました。背景には未解決問題を解く力をAIの物差しにすることへの数学者の懸念があります。同じ問いはAnthropicのリーマン予想関連の検証体制や、Google DeepMindのAI for Math Initiative、IMO 2026の監査評価にも共通していました。AIの数学的成果を誰がどう検証するか、その仕組みが問われる時代に入っています。
〇Advisory Group on Mathematics and Artificial Intelligence（OpenAI、2026年）
https://openai.com/index/advisory-group-on-mathematics-and-ai/
〇Claude's progress on the Riemann hypothesis（Anthropic、2026年8月）
https://www.anthropic.com/research/riemann-zeta
〇Google DeepMind and Google.org announce AI for Math Initiative（Google、2026年）
https://blog.google/innovation-and-ai/models-and-research/google-deepmind/ai-for-math/
〇Accelerating mathematical and scientific discovery with Gemini Deep Think（Google DeepMind）
https://deepmind.google/blog/accelerating-mathematical-and-scientific-discovery-with-gemini-deep-think/
〇Google's Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research（InfoQ、2026年4月）
https://www.infoq.com/news/2026/04/deepmind-aletheia-agentic-math/
〇Mathematicians Question AI Performance at International Math Olympiad（Scientific American）
...
四色問題、6人の数学者が"平らな荒野"に見つけた8202個の近道
地図をどんな複雑な形でも4色で塗り分けられることを証明する「四色定理」。150年の歴史を持つこの問題に、6人の数学者が新しい証明を加えました。鍵は、これまで見過ごされてきた「平らな領域」に見つけた8202通りの配置。塗り分けにかかる計算時間も、大きく短縮されました。
〇The Four-Color Theorem Gets a Rare New Proof（Quanta Magazine、2026年9月10日）
https://www.quantamagazine.org/the-four-color-theorem-gets-a-rare-new-proof-20260910/
〇The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring（arXiv、2026年3月25日）
https://arxiv.org/abs/2603.24880
#数学 #四色定理 #四色問題 #グラフ理論 #数学史 #証明 #アルゴリズム #計算量 #平面グラフ #コンピューターサイエンス #離散数学 #サイエンス #科学ニュース #数学者 #未解決問題 #定理証明 #Lean #AI #教養 #雑学 #数学の翻訳家 #数学翻訳家 #組み合わせ論 #グラフ彩色 #地図の色分け
3,000億トークンで解かれた100万ドル問題、フィールズ賞受賞者25人が声を上げた理由
2026年9月、数学の未解決問題ナビエ・ストークス方程式を巡り、NYUのバックマスター教授とOpenAIが衝突した。進捗情報の漏洩疑惑とクレジットを巡る攻防の末、OpenAIは3,000億トークンを投じて先に証明を発表。この一件を受け、テレンス・タオ氏ら25人のフィールズ賞受賞者が、AI企業の性急な発表姿勢は数学界の検証と継承の文化を壊しかねないと警告する声明を出した。
〇A Severe Misalignment of AI in Mathematics（Math and AI宣言、2026年9月11日）
https://mathandai.org/
〇OpenAI fought dirty on career-making math problem, says NYU mathematician（TechCrunch、2026年9月8日）
https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/
〇OpenAI's feud with mathematicians is only escalating（TechCrunch、2026年9月11日）
https://techcrunch.com/2026/09/11/openais-feud-with-mathematicians-is-only-escalating/
#AI #数学 #人工知能 #OpenAI #Anthropic #フィールズ賞 #ナビエストークス方程式 #ミレニアム懸賞問題 #数学者 #証明 #科学ニュース #テクノロジー #生成AI #数理科学 #研究倫理 #知的財産 #帰属問題 #テレンスタオ #Codex #Claude #ライデン宣言 #数学翻訳家 #数学の翻訳家 #クレイ数学研究所 #流体力学
「優しくしなくていい」――OpenAIの100ページ証明と、消えた数学者のクレジット
渦の中心で速度が無限大になる「爆発」。ナビエ・ストークス方程式のミレニアム問題に、NYUのバックマスター氏とAnthropicのアルプオゲ氏がAIとLeanで挑み、オイラー方程式などの爆発証明を発表しました。だが直後、OpenAIも酷似した結果を主張し、著者からの排除まで持ちかけられたと本人が告発。数学とAI、そして人間同士の信頼が同時に試された72時間の記録です。
〇Statement by Tristan Buckmaster（2026年9月8日）
https://cims.nyu.edu/~tristanb/statement.pdf
〇On the Navier–Stokes Millennium Prize Problem（OpenAI、2026年9月8日）
https://openai.com/index/navier-stokes-solution/
〇OpenAI claims blockbuster math breakthrough amid swirl of controversy（Scientific American、2026年9月）
https://www.scientificamerican.com/article/openai-claims-blockbuster-math-breakthrough-amid-swirl-of-controversy/
#数学 #AI #OpenAI #Anthropic #ナビエストークス方程式 #オイラー方程式 #ミレニアム懸賞問題 #Lean #形式検証 #数学者 #未解決問題 #フィールズ賞 #クレイ賞 #流体力学 #人工知能 #テクノロジー #科学ニュース #証明 #ブロウアップ #数理科学 #イノベーション #サイエンス #大規模言語モデル #数学翻訳家 #数学の翻訳家
358年の難問を11日で"検算"したAI——フェルマーの最終定理、機械が読める言葉に
参考記事
〇Formalizing Fermat's Last Theorem（Anthropic、2026年9月4日）
https://www.anthropic.com/research/formalizing-fermats-last-theorem
〇AIが数学の「院試」を受けたら――証明の正しさを機械が保証する時代（数学の翻訳家、2026年3月20日）
https://note.com/math_translator/n/n2f8a794bb8a9
#AI #フェルマーの最終定理 #Lean #形式化 #証明 #Anthropic #Claude #数学 #ワイルズ #数論 #定理証明 #自動証明 #AI数学 #プルーフアシスタント #数理論理学 #未解決問題 #科学ニュース #テクノロジー #イノベーション #人工知能 #数学史 #Prove2Me #数学者 #数学翻訳家 #数学の翻訳家
たった一目のほつれで、セーターがすべてほどける理由——結び目理論が解いた編み目の数学
セーターの糸を一箇所引っ張るだけで全部ほどけてしまうのはなぜか。東京大学のシマモト氏らが結び目理論を使い、編み地全体を一つの結び目として捉え直すことで「編めるかどうか」を数学的に判定する方法を編み出しました。編み目に生じた欠陥がどう伝わるかを追跡すると、編めるパターンほどほどけやすいという意外な事実が浮かび上がります。この発見は、伝線に強い「ほどけにくい」布地の設計にもつながります。
〇Mathematics holds the secret to 'ladder-proof' knitting（Nature、2026年8月18日）
https://www.nature.com/articles/d41586-026-02466-9
〇Topological Defect Propagation to Classify Knitted Fabrics（Shimamoto et al., Physical Review X, 2026年7月14日）
https://doi.org/10.1103/g565-3dyn
〇Unraveling the Topology of Knitted Fabrics（Rachel Berkowitz, Physics Magazine, 2026年7月14日）
https://physics.aps.org/articles/v19/s88
#数学 #物理学 #トポロジー #位相幾何学 #結び目理論 #編み物 #かぎ針編み #科学ニュース #サイエンス #東京大学 #Nature #PhysicalReviewX #数理科学 #メタマテリアル #応用数学 #布地 #ファッション #素材科学 #研究成果 #論文 #科学の面白さ #数学の翻訳家 #数学翻訳家 #知的好奇心 #数学がわかる
素数の「ふち」に立つ人たち——リーマン予想、2026年・人間側の最前線
AIの話題の陰で、人間の数学者たちがリーマン予想にどこまで迫っているのかを追いました。85年ぶりに破られた零点密度の壁、12.4兆個の数値検証、この予想が正しくても余白がゼロだという発見、そしてコンヌが問題を一つの収束定理に絞り込んだ2026年の論文。四つの前線と、そこに何十年も立ち続ける人たちの風景です。
〇New large value estimates for Dirichlet polynomials（2024年5月31日投稿、2026年4月改訂）
https://arxiv.org/abs/2405.20552
〇A decades-long breakthrough in zero-density estimates and primes in short intervals（2026年7月6日）
https://arxiv.org/abs/2607.04632
〇The Riemann hypothesis is true up to 3・10^12（2020年4月21日）
https://arxiv.org/abs/2004.09765
〇The De Bruijn-Newman constant is non-negative（2018年1月17日）
https://arxiv.org/abs/1801.05914
〇The Riemann Hypothesis: Past, Present and a Letter Through Time（2026年2月3日）
https://arxiv.org/abs/2602.04022
〇Unconditional pair correlation of zeros of the Riemann zeta-function（2023年6月7日）
https://arxiv.org/abs/2306.04799
〇Learning more about Claude's mathematical capabilities（2026年8月10日）
https://www.anthropic.com/research/riemann-zeta
#数学翻訳家 #数学の翻訳家 #リーマン予想 #リーマンゼータ関数 #素数 #数論 #解析的数論 #未解決問題 #臨界線 #零点密度 #グートメイナード #ジェームズメイナード #アランコンヌ #
「頑張って」から生まれた67.2%——AIがリーマン予想の壁に空けた穴
AIにリーマン予想への挑戦を頼んだところ証明はできなかったものの、副産物としてゼータ関数のゼロ点が臨界線上にある割合の下限を41.6%から67.2%に押し上げました。60体のサブエージェントを動かし、Leanでの形式検証も経て、数学者が実際に検証した結果です。半世紀かけて8ポイントしか動かなかった壁を、たった二回のセッションで飛び越えた話です。
〇Learning more about Claude's mathematical capabilities（2026年8月10日）
https://www.anthropic.com/research/riemann-zeta
#数学翻訳家 #数学の翻訳家 #AI #Anthropic #Claude #リーマン予想 #リーマンゼータ関数 #素数 #数論 #未解決問題 #証明 #Lean #形式検証 #数学 #人工知能 #サイエンス #科学ニュース #研究成果 #臨界線 #サブエージェント #モリファイア法 #モンゴメリー予想 #数理科学 #数学者 #ミレニアム懸賞問題
「数学のノーベル賞」を獲った直後に、彼は数学をやめると言った
2026年フィールズ賞を受賞したジェイコブ・ツィママン氏は、授賞式の壇上でOpenAIへの転身を発表しました。30年来の難問アンドレ・オールト予想を解いた直後、なぜ彼は数学を離れる決断をしたのか。AIが数学者を追い越すという実感、そしてAIの安全性を数学的に保証する新たな挑戦について綴ります。
〇Jacob Tsimerman Wins 2026 Fields Medal for André-Oort Conjecture Proof（Quanta Magazine、2026年7月23日）
https://www.quantamagazine.org/jacob-tsimerman-wins-2026-fields-medal-for-andre-oort-conjecture-proof-20260723/
〇Fields Medalist Jacob Tsimerman Announces Move to OpenAI for AI Safety Research（BigGo Finance、2026年7月）
https://finance.biggo.com/news/bca88ca4-8438-4d70-b512-75cda1dd3bd1
〇OpenAI Hires A Fields Medalist Who Says AI Will Outdo Mathematicians（Yellow）
https://yellow.com/news/openai-hires-fields-medalist-outdo-mathematicians
〇Why Canada's greatest math genius is joining OpenAI（インタビュー記事）
https://www.begiant.ca/stories/people/jacob-tsimerman-openai-fields-medal
#数学翻訳家 #数学の翻訳家 #フィールズ賞 #数学 #AI #人工知能 #OpenAI #ジェイコブツィママン #アンドレオールト予想 #国際数学者会議 #ICM2026 #数論 #代数幾何学 #オー極小性 #数学者 #AI安全性 #シミュラ多様体 #テレンスタオ #数学のノーベル賞 #キャリア転身 #科学ニュース #数学の未来 #note math #サイエンス #知的好奇心 #学び直し
OpenAIのAIが「10年選手」の未解決問題を一気に10個解いた話
OpenAIの次期モデル「Astra」が、10年以上未解決だった数学・理論計算機科学の問題を10個まとめて解いたと発表されました。高次元幾何学から量子計算、暗号まで領域は多岐にわたり、証明はLeanで機械検証済みです。今回はその中から、作用素環論の「Connesの剛性予想」への反証に注目。異なる二つの群が同じ「響き」を持つという発見が、数学の根底にあった直感を静かに揺さぶっています。
〇Ten advances in mathematics and theoretical computer science（OpenAI、2026年8月1日）
https://openai.com/index/ten-advances-in-mathematics/
#数学 #AI #OpenAI #Astra #未解決問題 #作用素環論 #Connes予想 #群論 #Lean #定理証明 #形式的証明 #人工知能 #テクノロジー #科学ニュース #数理科学 #高次元幾何学 #格子暗号 #量子計算 #符号理論 #極値組合せ論 #エルデシュ問題 #AI数学者 #ブレイクスルー #数学翻訳家 #数学の翻訳家
数学者たちの「見えない賭け」——2026年フィールズ賞、ユー・デンとジョン・パードンの仕事
2026年フィールズ賞をユー・デンとジョン・パードンが受賞。デンはボルツマンが遺した宿題に挑み、粒子の衝突からニュートン力学を厳密に導出。パードンは結び目や形を見分ける精密な物差しを作り、長年の未解決問題MNOP予想を解決。分野は正反対でも、地味な基礎工事を何年も続けた胆力が共通しています。数式を使わず、その挑戦の本質を解説します。
〇Yu Deng Wins the Fields Medal 2026 for His Work on the Random Data Problem（2026年7月23日）
https://www.quantamagazine.org/yu-deng-wins-the-fields-medal-2026-for-his-work-on-the-random-data-problem-20260723/
〇John Pardon Wins the 2026 Fields Medal for Work in Symplectic Geometry（2026年7月23日）
https://www.quantamagazine.org/john-pardon-wins-the-2026-fields-medal-for-work-in-symplectic-geometry-20260723/
〇UChicago Prof. Yu Deng receives Fields Medal, highest honor in mathematics（2026年7月23日）
https://news.uchicago.edu/story/uchicago-prof-yu-deng-receives-fields-medal-highest-honor-mathematics
〇Rising stars of mathematics awarded prestigious 2026 Fields Medal（2026年7月23日）
https://www.nature.com/articles/d41586-026-02169-1
〇The Fields Medals 2026: John Pardon（2026年7月）
https://plus.maths.org/icm-2026-fm-3
#数学 #フィールズ賞 #数学者 #ユーデン #ジョンパードン #ボルツマン方程式 #シンプレクティック幾何学 #結び目理論 #確率論 #偏微分方程式 #流体力学 #物理学 #ICM #国際数学者会議 #ヒルベルトの23の問題 #MNOP予想 #科学ニュース #サイエンス #数学の美しさ #数学翻訳家 #数学の翻訳家 #トポロジー #幾何学 #数学界のノーベル賞 #未解決問題
AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に
2026年7月、87年間未解決だったヤコビアン予想に、AIモデル「Claude Fable 5」が反例を発見しました。ワールドカップ決勝戦の夜、数学者レベント・アルポゲ氏がAIに検討させたところ、目盛りが一定値を保ちながら3つの異なる入力が同じ出力に重なる写像が導かれたのです。公開後はWolfram AlphaやSymPyでの独立検証、証明支援システムLeanによる形式化も進行中。答えを渡されることと理解することの距離を問う出来事です。
〇AI「Claude Fable 5」が87年来の難問「ヤコビアン予想」を覆す反例を生成したとAnthropic研究者が報告（2026年7月21日）
https://gigazine.net/news/20260721-claude-fable-5-jacobian-conjecture/
〇Human mathematicians are being outcounterexampled（2026年7月20日）
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
〇「放浪の天才数学者」エルデシュが遺した謎——AIが解いたのは本当に未解決問題だったのか（2026年1月13日）
https://note.com/math_translator/n/nb955bf059478
#数学 #AI #ヤコビアン予想 #代数幾何学 #Lean #定理証明 #形式化数学 #反例 #ClaudeFable5 #Anthropic #DeepMind #数学予想 #未解決問題 #ケラー #多項式写像 #数学者 #人工知能 #数学の美しさ #研究 #科学ニュース #テクノロジー #査読 #GoogleDeepMind #Xena #数学翻訳家
定理3.11の「壁」に、数学者たちはどこまで近づいたのか——LANAプロジェクト中間報告を読む
京都大学・望月新一教授のIUT理論をLeanで検証するLANAプロジェクトが、2026年7月17日、中間報告書を公開しました。ABC予想の証明を左右する「定理3.11から系3.12」の飛躍について、LANAは正否を断定せず、論点を数式一本にまで絞り込みました。2018年のショルツ氏の批判との関係や、望月氏側とのLeanを介した対話開始にも触れ、静かな緊張感の続く数学最前線の現在地を伝えます。
〇Project LANA Interim Report on IUT Theory（2026年7月17日更新）
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
〇IUT理論のコンピューターによる検証を目指すLANAプロジェクト、「Project LANA Interim Report on IUT Theory」を公開（2026年7月17日）
https://prtimes.jp/main/html/rd/p/000000090.000136051.html
#IUT理論 #ABC予想 #望月新一 #LANAプロジェクト #Lean #形式化 #定理証明支援系 #数学 #数論幾何学 #遠アーベル幾何学 #ホッジ劇場 #Θリンク #ショルツ #ジェイコブスティックス #ZEN大学 #ZMC #加藤文元 #証明検証 #計算機科学 #現代数学 #数学者 #京都大学 #数理解析研究所 #数学翻訳家 #数学の翻訳家
円周率の中に、宇宙のひもが隠れていた ― 物理学者が「偶然」見つけた新しい数式の物語
素粒子物理学者が「弦理論」の計算を整理していたところ、偶然にも円周率の新しい数式にたどり着いた——2024年に発表されたこの発見は、その後数学者による厳密な証明、ラマヌジャンの100年前の公式との意外なつながり、ブラックホールや乱流の理論への広がりへと発展していきました。数式を使わず、この2年間の研究の物語を追います。
〇Quantum Physics Inspires a Groundbreaking Formula for Pi（Popular Mechanics、Caroline Delbert）
https://www.popularmechanics.com/science/math/a71855480/new-pi-formula-revolutionizes-mathematics/
〇String Theorists Accidentally Find a New Formula for Pi（Scientific American）
https://www.scientificamerican.com/article/string-theorists-accidentally-find-a-new-formula-for-pi/
〇How Ramanujan's formulae for pi connect to modern high energy physics（IISc）
https://kernel.iisc.ac.in/how-ramanujans-formulae-for-pi-connect-to-modern-high-energy-physics/
#数学 #物理学 #円周率 #弦理論 #数学の翻訳家 #数学翻訳家 #素粒子物理学 #ラマヌジャン #理論物理学 #科学 #数式 #IISc #インド科学大学院 #string theory #数学史 #ブラックホール #乱流 #共形場理論 #科学ニュース #研究 #数学が好き #知的好奇心 #サイエンス #物理数学
「形の図書館」が、渋滞・波・素粒子をひとつに結ぶ話
ポジティブ・グラスマン多様体が、渋滞、タンパク質合成、波、素粒子衝突という全く異なる現象を共通して記述できることが分かりました。数学者ローレン・ウィリアムズの研究により、純粋数学と物理世界の不思議な繋がりが明らかになっています。また未発表の数学問題をAIに解かせる実験を通し、AIをパートナーとしつつも、自ら問いを立てる人間の直感の重要性が語られています。
参考記事〇What Is the Positive Grassmannian and Why Does It Show Up Everywhere?（2026年6月25日） https://www.quantamagazine.org/what-is-the-positive-grassmannian-and-why-does-it-show-up-everywhere-20260625/〇A Jewel at the Heart of Quantum Physics（2013年9月17日） https://www.quantamagazine.org/physicists-discover-geometry-underlying-particle-physics-20130917/〇A Mathematician's Unanticipated Journey Through the Physical World（2020年12月16日） https://www.quantamagazine.org/a-mathematicians-adventure-through-the-physical-world-20201216/
#数学 #ポジティブグラスマン多様体 #グラスマン多様体 #ローレンウィリアムズ #幾何学 #物理学 #渋滞モデル #タンパク質合成 #ソリトン波 #素粒子散乱 #アンプリチューヘドロン #ファインマン図 #FirstProof #AI #人工知能 #シルヴィコルテル #ニマアルカニハメッド #純粋数学 #応用数学 #シミュレーション #量子物理学 #科学ニュース #サイエンス #研究成果 #数学の美しさ
「最善手」は正解を狙うことじゃない——Wordleを99%解く数学の発想
ビンガムトン大の研究チームが、1948年考案の「情報理論」を用いてWordleを99%解く数学的戦略を発表しました。正解を狙うのではなく、「シャノンエントロピー」に基づき、1回の推測で候補を大きく絞り込める情報量の高い単語を選ぶという発想の転換が鍵です。70年以上前の数学的アイデアが現代のSNSゲーム攻略に適用された、数学の普遍的な面白さを示す研究です。
〇Scientists Use Math to Solve Viral Word Game 'Wordle' with 99% Success Rate（Sci.News、2026年6月18日） https://www.sci.news/othersciences/mathematics/wordle-14856.html〇S-M-A-R-T! These researchers used math to crack Wordle（Phys.org、2026年6月17日） https://phys.org/news/2026-06-math-wordle.html〇Want to beat Wordle? Try a 1940s mathematical theory.（Popular Science、2026年6月） https://www.popsci.com/technology/beat-wordle-math/〇Solving Wordle Using Information Theory — Talal Aladaileh et al.（Northeast Journal of Complex Systems、2026年4月） https://orb.binghamton.edu/nejcs/vol8/iss1/6/
#数学 #Wordle #情報理論 #シャノンエントロピー #クロードシャノン #ビンガムトン大学 #ゲーム攻略 #アルゴリズム #情報量 #不確かさ #パズル #戦略 #SNSゲーム #サイエンスニュース #科学ニュース #研究成果 #論文 #テクノロジー #応用数学 #数学の魅力 #数学的思考 #最適化 #プログラミング #データ分析 #ニューヨーク州立大学
AIは数学者の代わりになれるか？ 「満点10点中6点」というテストの答え合わせ
未発表の数学の補題をAIに解かせる評価プロジェクト「First Proof」の結果が発表されました。トップの成績を収めたのはスイス連邦工科大学チームで、正答率は10問中6問でした。彼らは複数のAIを相互に議論させる手法を採用し、単一モデルより高い精度を実現しました。自信満々な誤答も多く見られましたが、研究の補助ツールとしてのAIの実力や限界を測る厳格で有意義な試みとして注目されています。
参考記事〇Humans outperform AI at this highly rigorous mathematics test（2026年6月10日） https://www.nature.com/articles/d41586-026-01888-9〇AI scores a 'C–' on its hardest math test yet（2026年6月10日） https://www.scientificamerican.com/article/ai-gets-a-c-on-its-hardest-math-test-yet/〇First Proof is AI's toughest math test yet. The results are mixed（2026年2月14日） https://www.scientificamerican.com/article/first-proof-is-ais-toughest-math-test-yet-the-results-are-mixed/〇AI just solved an 80-year-old maths problem set by Erdős（2026年5月） https://www.nature.com/articles/d41586-026-01651-0
#数学 #AI #FirstProof #人工知能 #補題 #証明 #OpenAI #ETHZurich #UCLA #プリンストン大学 #ChatGPT #Gemini #Claude #ハーネス #ジェレミーアヴィガッド #未解決問題 #研究 #テクノロジー #科学ニュース #サイエンス #定理 #テスト #アルゴリズム #論文 #数学者
名画の「筆の癖」は、数字が知っていた――フラクタルが見抜く贋作の謎
フランスの研究チームは、名画の贋作を見破る新手法として「フラクタル数学」を提案しました。絵画の高解像度スキャンを3次元の凹凸マップに変換し、画家の筆の動きの複雑さを「フラクタル次元」という数値で測ります。ファン・ゴッホの真作と贋作を見分けることにも成功しました。人間の先入観にとらわれず、画家が無意識に刻んだ筆の癖を数値化するこの技術は、従来の鑑定を強力に補佐すると期待されています。
〇Fractal maths helps distinguish genuine artworks from forgeries（2026年6月11日） https://physicsworld.com/a/fractal-maths-helps-distinguish-genuine-artworks-from-forgeries/〇Fractal analysis of Pollock's drip paintings, Nature（1999年） https://www.nature.com/articles/20833〇The facts about Pollock's fractals, Richard Taylor / University of Oregon（2017年1月） https://blogs.uoregon.edu/richardtaylor/2017/01/04/the-facts-about-pollocks-fractals/〇Lost van Gogh painting validated via canvas weave, Cornell University（2013年10月） https://www.news.cornell.edu/stories/2013/10/lost-van-gogh-painting-validated-canvas-weave
#数学 #フラクタル #フラクタル幾何学 #美術 #絵画 #贋作 #ゴッホ #ポロック #鑑定 #自己相似 #筆跡 #フラクタル次元 #科学ニュース #サイエンス #アート #芸術 #研究成果 #地形図 #数値化 #フラクタル表現主義 #テクノロジー #データ分析 #数学とアート #イノベーション #パターン
天才数学者が「AI伝道師」になった日——テレンス・タオと数学の新しい地図
天才数学者テレンス・タオは、孤高の研究という数学の伝統を覆し、大規模な共同研究とAIや自動証明ツールの活用を推進しています。彼が予見した人間とコンピュータが協力して難問を解く時代は現実となり、膨大な検証を伴うプロジェクトも大成功を収めました。AIが単純作業を担い、人間が核心に挑み、ソフトウェアが証明を検証する、新しい数学の形が始まっています。
〇How Terry Tao Became an Evangelist for AI in Math（2026年6月8日） https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/〇Mathematical Beauty, Truth and Proof in the Age of AI（2025年4月30日） https://www.quantamagazine.org/mathematical-beauty-truth-and-proof-in-the-age-of-ai-20250430/〇'A-Team' of Math Proves a Critical Link Between Addition and Sets（2023年12月6日） https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/
#数学 #テレンスタオ #AI #人工知能 #Lean #自動証明 #共同研究 #ポリマスプロジェクト #フィールズ賞 #ブレイクスルー賞 #ポールエルデシュ #実験科学 #フォーマル化 #証明 #コンピュータ #未解決問題 #数学者 #天才 #科学ニュース #サイエンス #テクノロジー #研究成果 #数理科学 #イノベーション #新しい数学
ファインマンが昼食の席で解いた数学──50年眠ったメモが教えてくれること
物理学者ファインマンがレストランで解いた「いつもの料理か新しい料理か」という選択のメモが約50年ぶりに解読されました。これは「探索と活用」のジレンマと呼ばれる問題です。彼の最適解は残り回数に応じて基準を変えるものでした。さらに実験で、人間はより単純な近似ルールを使いながらも最適解の約90%の満足度を達成する「資源合理性」を持つことが判明しました。
＜参考記事＞〇Resolving Feynman's restaurant problem reveals optimal solutions and human strategies（2026年6月2日） https://www.pnas.org/doi/10.1073/pnas.2509612123〇The math of choosing a restaurant meal is revealed in Richard Feynman's notes（2026年6月1日） https://www.sciencenews.org/article/math-restaurant-meal-feynman〇Solving Feynman's Formula for Eating Well, Parking Your Car, and Finding a Mate（2026年6月4日） https://nautil.us/solving-feynmans-formula-for-eating-well-parking-your-car-and-finding-a-mate-1281700〇Feynman solved the 'restaurant dilemma' 50 years ago — now a study confirms his mathematics（2026年6月） https://www.nature.com/articles/d41586-026-00821-4
#数学 #リチャードファインマン #レストラン問題 #最適停止問題 #探索と活用 #ジレンマ #行動科学 #認知科学 #資源合理性 #ヒューリスティクス #意思決定 #アルゴリズム #論文 #米国科学アカデミー紀要 #PNAS #サイエンスニュース #科学ニュース #研究成果 #プリンストン大学 #直感 #近似解 #行動経済学 #基礎研究 #数理モデル #選択
数学が嫌いだったのに、数学者に最も愛された画家——エッシャーという逆説
画家エッシャーは数学が苦手でしたが、不可能図形や双曲幾何学を直感的に表現し多くの数学者を魅了しました。局所的には正しいが全体では矛盾する彼の作品は、数学の深淵と繋がっています。2026年には数学者らが不可能図形を分類し、新たに順序で結果が変わる非可換な図形を発見しました。論理に忠実な構造からありえない世界を生み出した彼の作品は、今も数学的探求の源泉です。
〇Escher: the paradoxical artist beloved by mathematicians（2025年） https://www.newscientist.com/article/2528873-escher-the-paradoxical-artist-beloved-by-mathematicians/〇Mathematicians created an 'impossible' shape that shouldn't exist（2026年4月14日） https://www.scientificamerican.com/article/mathematicians-created-an-impossible-shape-that-shouldnt-exist/〇Impossible by Degrees: Cohomology & Bistable Visual Paradox（2026年2月10日） https://arxiv.org/abs/2602.09313〇エッシャー、ペンローズ、コクセター：あるいは終わらない幾何学 https://www.archifuture-web.jp/magazine/1001.html〇Mathematical art of M.C. Escher — Impossible World https://im-possible.info/english/articles/escher_math/escher_math.html
#数学 #エッシャー #不可能図形 #パラドックス #双曲幾何学 #ペンローズの階段 #ペンローズ #コクセター #ジョージポリア #テッセレーション #サークルリミット #非可換 #ロバートグリスト #局所と大局 #錯視 #だまし絵 #数学とアート #科学ニュース #サイエンス #数学者 #研究成果 #論文 #芸術 #直感 #幾何学
どんな数も、最後は1に帰ってくる——90年近く誰にも解けない「小学生ルール」の謎
「偶数なら2で割る、奇数なら3倍して1を足す」を繰り返すと最終的に1に帰着するという「コラッツ予想」は、1937年の提唱から90年近く未解決の難問です。ルールは単純ですが予測不能な数の動きを見せ、多くの数学者を魅了してきました。2019年のテレンス・タオによる部分的証明や、2025年の日本人研究者による新たな証明の投稿など、現在も完全証明に向けた世界的な探求が続いています。
参考記事〇The Maths Meme That Has Been Distracting Mathematicians for a Century（New Scientist、2025年） https://www.newscientist.com/article/2529138-the-maths-meme-that-has-been-distracting-mathematicians-for-a-century/〇Mathematician Proves Huge Result on 'Dangerous' Problem（Quanta Magazine、2019年12月） https://www.quantamagazine.org/mathematician-proves-huge-result-on-dangerous-problem-20191211/〇Almost all orbits of the Collatz map attain almost bounded values（Terence Tao / Forum of Mathematics, Pi、2022年5月） https://www.cambridge.org/core/journals/forum-of-mathematics-pi/article/almost-all-orbits-of-the-collatz-map-attain-almost-bounded-values/1008CC2DF91AF87F66D190C5E01C907F〇数学の未解決問題「コラッツ予想」を証明？（ITmedia NEWS、2025年3月6日） https://www.itmedia.co.jp/news/articles/2503/06/news092.html〇コラッツの問題（Wikipedia） https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%A9%E3%83%83%E3%83%84%E3%81%AE%E5%95%8F%E9%A1%8C
#数学 #コラッツ予想 #未解決問題 #数の不思議 #数学史 #ローターコラッツ #ポールエルデシュ #ジェフリーラガリアス #テレンスタオ #ひょう石数列 #コラッツの木 #無限 #証明 #整数 #奇数 #偶数 #算数 #思考実験 #難問 #サイエンス #科学ニュース #研究成果 #数理科学 #アルゴリズム #数学の魅力
「数学は人間の営みである」——世界150人の数学者が静かに仕掛けたAIへの反論
2026年6月、世界150人以上の数学者がAIの誇大宣伝への警告として「ライデン宣言」を発表しました。AI企業が数学を汎用推論の練習場として利用し、査読を経ない商業的な発表を繰り返すことを問題視しています。宣言では、信頼性の欠如や著作権問題、研究テーマの歪みなど5つの脅威を指摘。数学は深く人間的な営みであり続けなければならないと訴え、人間の探求心の価値を守る意志を示しています。
〇Mathematicians say 'don't believe hype' on AI capabilities（2026年6月2日） https://phys.org/news/2026-06-mathematicians-dont-hype-ai-capabilities.html〇The world's mathematicians just issued a formal declaration telling AI companies to stop using their work without permission（2026年6月2日） https://thenextweb.com/news/leiden-declaration-ai-mathematics-proof-attribution〇'It is incredible': How AI is transforming mathematics（2026年5月） https://www.nature.com/articles/d41586-026-01553-1〇「放浪の天才数学者」エルデシュが遺した謎——AIが解いたのは本当に未解決問題だったのか（2026年1月13日） https://note.com/math_translator/n/nb955bf059478〇AIが数学の「院試」を受けたら——証明の正しさを機械が保証する時代（2026年3月20日） https://note.com/math_translator/n/n2f8a794bb8a9
#数学 #AI #ライデン宣言 #人工知能 #ハイプ #誇大宣伝 #ピーターショルツェ #国際数学連合 #数学者 #AlphaProof #定理証明 #形式化 #著作権 #研究 #査読 #テクノロジー #科学ニュース #サイエンス #数学の美しさ #人間の営み #エルデシュ #ディープマインド #オープンAI #警告 #声明
数学の地図を描き直した男——グロタンディークという名の革命
20世紀最大の数学者アレクサンダー・グロタンディークは、対象ではなく「関係性」や「構造」に着目し、代数幾何学を根本から作り直しました。特定の数に依存しない普遍的な構造「スキーム」などの新概念を導入し、数学を解きやすくする道を整備したのです。1970年に突如引退し隠遁生活を送りましたが、彼が構築した理論や問題の捉え方は今なお現代数学の発展を支え、世界中の数学者に多大な影響を与え続けています。
参考記事〇How Alexander Grothendieck Revolutionized 20th-Century Mathematics（2026年5月20日） https://www.quantamagazine.org/how-alexander-grothendieck-revolutionized-20th-century-mathematics-20260520/
#数学 #アレクサンダーグロタンディーク #代数幾何学 #スキーム #トポス #構造 #関係性 #ヴェイユ予想 #ピエールドリーニュ #未解決問題 #抽象数学 #数学者 #QuantaMagazine #数論 #パラダイムシフト #哲学 #隠遁生活 #数学の地図 #基礎研究 #科学ニュース #サイエンス #現代数学 #イノベーション #研究成果 #天才
数学の「土台」を掘り返している二人の天才──凝縮集合という静かな革命
数学の基礎である位相空間は代数と相性が悪いという欠点がありました。P・ショルツェとD・クラウゼンは、この問題を解決するため、離散的な点の集まりを用いる「凝縮集合」という新概念を提唱しました。これにより、形を扱うトポロジーと構造を扱う代数を同じ枠組みで議論できるようになります。新しい定理の証明よりも定義の構築を重視する彼らのアプローチは、現代数学の土台を根本から再構築する静かな革命を起こしています。
■ 参考記事〇Two Researchers Are Rebuilding Mathematics From the Ground Up（2026年5月20日） https://www.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/〇How Alexander Grothendieck Revolutionized 20th-Century Mathematics（2026年5月20日） https://www.quantamagazine.org/how-alexander-grothendieck-revolutionized-20th-century-mathematics-20260520/〇With Category Theory, Mathematics Escapes From Equality（2019年10月10日） https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/
#数学 #位相幾何学 #トポロジー #代数 #圏論 #凝縮集合 #ペーターショルツェ #ダスティンクラウゼン #位相空間 #フェリックスハウスドルフ #カントール集合 #フィールズ賞 #マックスプランク数学研究所 #フランス高等科学研究所 #純粋数学 #定義 #数学の基礎 #アレクサンドルグロタンディーク #カテゴリー理論 #科学ニュース #サイエンス #数学者 #研究成果 #パラダイムシフト #イノベーション
AIが数学の難問を解いた日——研究者たちが驚いた「本物の発見」とは
AIが人間の数学者にも未解明だった難問に対し、新しい答えを出し始めています。Googleのシステムはプログラムを進化させる手法でキャップセット問題の記録を更新しました。テレンス・タオらとの共同作業でも短期間で専門家と同等の成果を上げ、数学オリンピックでは金メダル相当の成績を収めました。AIは広大な探索作業を担い、数学研究の新たな扉を開く強力なパートナーになりつつあります。
〇The AI Revolution in Math Has Arrived（2026年4月13日更新） https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/〇FunSearch: Making new discoveries in mathematical sciences using Large Language Models（2023年12月14日） https://deepmind.google/blog/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-models/〇DeepMind AI outdoes human mathematicians on unsolved problem（2023年12月19日） https://www.nature.com/articles/d41586-023-04043-w〇From Silver to Gold: How DeepMind's AI Conquered the Math Olympiad（2025年7月24日） https://www.unite.ai/from-silver-to-gold-how-deepminds-ai-conquered-the-math-olympiad/〇Accelerating mathematical and scientific discovery with Gemini Deep Think（2026年3月3日） https://deepmind.google/blog/accelerating-mathematical-and-scientific-discovery-with-gemini-deep-think/〇Mathematical exploration and discovery at scale（2025年11月3日） https://arxiv.org/abs/2511.02864
#数学 #AI #人工知能 #DeepMind #FunSearch #キャップセット問題 #テレンスタオ #ハビエルゴメスセラノ #数学オリンピック #AlphaEvolve #GeminiDeepThink #LLM #プログラミング #共同研究 #未解決問題 #数学者 #テクノロジー #科学ニュース #サイエンス #イノベーション #研究成果 #データ分析 #アルゴリズム #数学の難問 #パラダイムシフト
「科学者が次々と消えている」──その"謎"を、統計学はどう読むか
米国で科学者の不審死や失踪が相次ぎ陰謀論が囁かれていますが、統計学的には単なる偶然の集積です。統計学者デイヴィッド・ハンドは、母数が大きければ奇跡的な確率でも必ず起きる「真の大数の法則」や、関連性の定義を緩めることでパターンを作り出す「近似の法則」が働いていると指摘します。探す範囲を広げることで生じる「よそ見効果」も要因です。物語を見つけたがる人間の本能に対し、統計的視点は思考を守る武器となります。
Math and statistics help explain the FBI's 'missing scientists' cases（Scientific American, 2026/5/7） https://www.scientificamerican.com/article/math-and-statistics-help-explain-the-fbis-missing-scientists-cases/The Improbability Principle – AMS Notices（2014/11） https://www.ams.org/notices/201411/rnoti-p1351.pdfThe Improbability Principle: Why Coincidences, Miracles, and Rare Events Happen Every Day – David J. Hand（Macmillan, 2014/2/11） https://us.macmillan.com/books/9780374535001/theimprobabilityprinciple/FBI investigating possible links between deaths and disappearances of scientists（Scientific American, 2026） https://www.scientificamerican.com/article/fbi-investigating-possible-links-between-deaths-and-disappearances-of-at-least-10-scientists/
#統計学 #数学 #陰謀論 #科学者 #行方不明 #大数の法則 #近似の法則 #よそ見効果 #デイヴィッドハンド #不可能性の原理 #確率 #錯覚 #パターン認識 #リテラシー #科学ニュース #ミチオカク #物理学 #FBI #データ分析 #批判的思考 #サイエンス #ニュース #真の大数の法則 #統計 #アメリカ
植物の細胞は、17世紀の数学難問を「解いて」いた
MITの若き数学者アマンダ・バークロフは、代数的組合せ論を用いて宇宙の深層構造の解明に挑んでいる。2024年、彼女のチームは「一般化クラスター代数」の10年以上未解決だった「正値性」の予想を証明した。この純粋数学の成果は、弦理論や素粒子物理学などへの応用が期待される。純粋な好奇心から生まれる数学の問いが、宇宙の深い秩序を明らかにする可能性を示している。
#数学 #アマンダバークロフ #MIT #代数的組合せ論 #クラスター代数 #正値性 #弦理論 #素粒子物理学 #宇宙の設計図 #純粋数学 #アレクサンダーポストニコフ #パウルエルデシュ #証明 #鏡対称性 #量子場理論 #幾何学 #パターン #未解決問題 #ガリレオ #研究者 #基礎研究 #科学ニュース #テクノロジー #物理学 #サイエンス
数学者は"偶然の一致"を信じない——MITの若き研究者が宇宙の設計図に迫る
MITの若き数学者アマンダ・バークロフは、代数的組合せ論を用いて宇宙の深層構造の解明に挑んでいる。2024年、彼女のチームは「一般化クラスター代数」の10年以上未解決だった「正値性」の予想を証明した。この純粋数学の成果は、弦理論や素粒子物理学などへの応用が期待される。純粋な好奇心から生まれる数学の問いが、宇宙の深い秩序を明らかにする可能性を示している。
#数学 #アマンダバークロフ #MIT #代数的組合せ論 #クラスター代数 #正値性 #弦理論 #素粒子物理学 #宇宙の設計図 #純粋数学 #アレクサンダーポストニコフ #パウルエルデシュ #証明 #鏡対称性 #量子場理論 #幾何学 #パターン #未解決問題 #ガリレオ #研究者 #基礎研究 #科学ニュース #テクノロジー #物理学 #サイエンス
現代数学最大のミステリー「IUT理論」の壁に挑む。定理3.11と系3.12の間に何があるのか？
LANAプロジェクトの次の報告は、今年の7月17日に記者会見の形式で中間報告として発表される予定です。この報告では、IUT理論の検証に関するその時点での理解の詳細が整理され公表されます。理解できた点だけでなく、未解明な論点をどのように言語化し位置づけているかについての検証結果も提示される予定です。
#ZEN大学 #ZEN数学センター #LANAプロジェクト #IUT理論 #宇宙際タイヒミュラー理論 #望月新一 #Lean #定理証明支援系 #形式化 #遠アーベル幾何学 #数論幾何学 #数学 #AI #自動証明 #加藤文春 #ヨハンコメリン #アダムトパーズ #キランケドラヤ #星裕一郎 #数理解析研究所 #形式言語 #証明検証 #計算機検証 #現代数学 #中間報告
AIはどこまで「考えている」のか？ プラトン2400年の幾何学問題がChatGPTに暴いたもの
ケンブリッジ大の研究で、ChatGPTにプラトンの幾何学問題を解かせると、試行錯誤し学習者のように振る舞うことが判明した。また、UCLAの教授はGPT-5との対話を通じ、AIの提案の多くが誤りだったにもかかわらず、40年来の未解決問題を解決する糸口を掴んだ。AIの成果には誇張も一部見られるが、専門家を補佐し数学研究を前進させる共同研究者になりつつある。
〇ChatGPT seemed to 'think on the fly' when put through an Ancient Greek maths puzzle（2025年9月18日） https://www.cam.ac.uk/research/news/chatgpt-seemed-to-think-on-the-fly-when-put-through-an-ancient-greek-maths-puzzle〇ChatGPT attempts 2,400-year-old math challenge, surprises researchers（2025年9月17日） https://interestingengineering.com/science/chatgpt-attempts-plato-math-problem〇How GPT-5 helped mathematician Ernest Ryu solve a 40-year-old open problem（2025年） https://openai.com/index/gpt-5-mathematical-discovery/〇OpenAI's 'embarrassing' math（2025年10月19日） https://techcrunch.com/2025/10/19/openais-embarrassing-math/
#AI #ChatGPT #GPT5 #数学 #プラトン #幾何学 #未解決問題 #アーネストリュウ #最急降下アルゴリズム #共同研究者 #ケンブリッジ大学 #UCLA #教育学 #ZPD #代数 #対話 #OpenAI #トーマスブルーム #学習者 #科学ニュース #テクノロジー #人工知能 #研究成果 #イノベーション #アルゴリズム
流行が20年で戻ってくる理由を、数学で説明してみた
ファッションの「20年周期」の流行を数学的に証明した米ノースウェスタン大学の研究を紹介します。150年分・約3万7千点の女性服データを分析し、「目立ちたい」「浮きたくない」という心理の綱引きが流行の波を生むことをモデル化しました。80年代以降は多様化し単純な周期は薄れましたが、この数式は文化や技術の普及予測にも応用可能です。
参考記事〇Bell-bottoms today, miniskirts tomorrow（2026年3月17日） https://news.northwestern.edu/stories/2026/03/bell-bottoms-today-miniskirts-tomorrow-math-reveals-fashions-20-year-cycle〇Math Unveils Fashion's 20-Year Cycle: Bell Bottoms（2026年3月） https://www.miragenews.com/math-unveils-fashions-20-year-cycle-bell-1638898/
#数学 #ファッション #流行 #トレンド #20年周期 #応用数学 #サイエンス #ノースウェスタン大学 #データ分析 #数学モデル #心理学 #歴史 #データベース #振り子 #スカート丈 #世代交代 #ファストファッション #SNS #予測 #物理学 #文化 #科学ニュース #エマザイデラ #ダニエルエイブラムス #研究成果
AIが数学の「院試」を受けたら――証明の正しさを機械が保証する時代
大学院レベルの数学の定理証明をAIに解かせるテスト「FormalQualBench」が登場しました。厳密な証明言語「Lean」を用いた審査で、トップのAIは難問を23問中8問正解しました。また近年、AIは未解決のエルデシュ問題も自律的に解決しています。専門家はAIを脅威ではなく、煩雑な検証作業を担い人間の創造的活動を支援する強力なパートナーと見なしています。
〇FormalQualBench（2026年3月） https://www.math.inc/formalqualbench〇AIで数学の未解決問題をほぼ自動的に解くことに成功（GIGAZINE、2026年1月14日） https://gigazine.net/news/20260114-gpt-5-2-pro-solved-erdos-problem/〇ChatGPT、人間が50年解けなかった20世紀の数学の難問を解決（ビジネス+IT、2026年1月28日） https://www.sbbit.jp/article/cont1/179344〇数学未解決問題、AI単独で続々解決（TechnoEdge、2026年1月27日） https://www.techno-edge.net/article/2026/01/27/4837.html〇AxiomのAI、未解決だった数学問題に解を示す（WIRED Japan、2026年2月11日） https://wired.jp/article/a-new-ai-math-ai-startup-just-cracked-4-previously-unsolved-problems/〇DARPAが挑むAI数学証明の最前線（イノベトピア、2025年4月28日） https://innovatopia.jp/ai/ai-news/52839/〇AIによる数学の形式的証明：DeepSeek-Prover-V2の詳細解説（JOBIRUN、2025年5月4日） https://jobirun.com/deepseek-prover-v2-formal-theorem-proving-ai/
#数学 #AI #定理証明 #FormalQualBench #Lean #大学院入試 #未解決問題 #ポールエルデシュ #テレンスタオ #メタプログラミング #形式的証明 #OpenGauss #嘘発見器 #人工知能 #科学ニュース #数学の翻訳家 #テクノロジー #OpenAI #Harmonic #LLM #自動推論 #難問 #イノベーション #研究パートナー #パラダイムシフト
数学で地球は救えるか？ 最も抽象的な数学が、現実の問題に挑んでいる
最も抽象的な数学とされる「圏論」が、環境問題や感染症対策、AIの安全性といった現実の課題解決に応用され始めている。物事を「関係性」で定義する圏論を用い、ジョン・ベイズらは生態系等を理解する「グリーン数学」を提唱した。疫学モデルの統合やAIの安全な学習環境構築で成果を上げており、複雑なシステムを理解する新たな共通言語として期待を集めている。
〇Can the Most Abstract Math Make the World a Better Place?（2026年3月4日） https://www.quantamagazine.org/can-the-most-abstract-math-make-the-world-a-better-place-20260304/〇With Category Theory, Mathematics Escapes From Equality（2019年10月10日） https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/〇Where Does Meaning Live in a Sentence? Math Might Tell Us.（2025年4月9日） https://www.quantamagazine.org/where-does-meaning-live-in-a-sentence-math-might-tell-us-20250409/
#圏論 #数学 #応用数学 #AI安全性 #環境問題 #感染症対策 #グリーン数学 #ジョンベイズ #関係性 #QuantaMagazine #生態系 #気候変動 #疫学モデル #StockFlow #基礎技術 #SafeguardedAI #科学ニュース #複雑系 #共通言語 #テクノロジー #サイエンス #シミュレーション #抽象数学 #数理科学 #イノベーション
色の見え方に潜む「100年越しの数学的ミス」——そして、ついに完成した理論
1920年代にシュレーディンガーらが構築した色覚の数学モデルには、100年来の誤りがありました。2022年、ロスアラモス国立研究所のチームは、従来の幾何学が大きな色の違いを過大評価することを発見しました。さらに2025年、未定義だった灰色の中心軸を幾何学的に定義し、理論を完成させました。この成果は映像制作やデータ可視化など、正確な色再現が求められる分野への応用が期待されます。
〇The non-Riemannian nature of perceptual color space（2022年4月29日） https://www.pnas.org/doi/10.1073/pnas.2119753119〇The Geometry of Color in the Light of a Non‐Riemannian Space（2025年5月23日） https://doi.org/10.1111/cgf.70136〇Math error: A new study overturns 100-year-old understanding of color perception（2022年8月10日） https://www.eurekalert.org/news-releases/961374〇Beyond the eye of the beholder: Mathematically defining attributes essential to color perception（2026年1月30日） https://phys.org/news/2026-01-eye-mathematically-attributes-essential-perception.html〇Schrödinger's color theory finally completed after 100 years（2026年2月23日） https://www.sciencedaily.com/releases/2026/02/260222092302.htm
#数学 #色覚 #シュレーディンガー #科学 #幾何学 #カラーサイエンス #データ可視化 #リーマン幾何学 #色相 #彩度 #明度 #ロスアラモス国立研究所 #視覚 #色空間 #デザイン #映像制作 #アルゴリズム #研究成果 #物理学 #品質管理 #科学ニュース #テクノロジー #イノベーション #色彩学 #錯視
無限には「大きさ」がある——「∞」のなかに階層があるという話
数学において「無限」は一つではなく、大きさの異なる無数の無限が存在する。19世紀の数学者カントールは一対一対応の概念を用い、実数の無限が自然数の無限より大きいことを対角線論法で証明した。さらに、両者の中間の無限の存在を問う「連続体仮説」は、現代数学では証明も反証もできない「決定不能」な問題であることが示された。無限からより大きな無限が際限なく生み出されるのである。
参考記事
How Can Infinity Come in Many Sizes?（Quanta Magazine、2026年2月23日）https://www.quantamagazine.org/how-can-infinity-come-in-many-sizes-20260223/
連続体仮説（Wikipedia日本語版、2026年1月更新）
https://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A%E4%BD%93%E4%BB%AE%E8%AA%AC
人類の英知⑥ 語りえぬものについて語る。「無限」とは何か（Frontier Eyes Online、2024年10月21日）
https://frontier-eyes.online/wisdom-of-mankind_06/
Georg Cantor｜カントールの無限濃度（TANAAKK、2025年4月19日）
https://www.tanaakk.com/2025/04/19/georg-cantor-cardinality-of-infinity/
#数学 #無限 #ゲオルクカントール #連続体仮説 #対角線論法 #集合論 #自然数 #実数 #ゲーデル #コーエン #ヒルベルト #未解決問題 #決定不能 #一対一対応 #無限濃度 #部分集合 #数学の不思議 #科学 #数学好きと繋がりたい #証明 #階層 #数の世界 #現代数学 #論理学 #パラドックス
ニュートンが残した330年の宿題、AIが解いた「接吻数問題」とは
1694年にニュートンが提起した球の接触数を問う「接吻数問題」は、高次元になるほど困難となる難問でした。しかし北京大学などのチームが開発したAI「PackingStar」が、25〜31次元で人類の記録を更新しました。球の角度情報を扱う2つのAIが協調学習した結果です。この幾何学の成果は通信技術等にも応用可能であり、AIが数学研究のパートナーとなる未来を示しています。
参考記事
〇近代科学の父ニュートンが遺した330年来の数学の難問をAIが解決（2026/02/22）
https://www.sbbit.jp/article/cont1/181274
〇Chinese scientists achieve breakthrough on 300‑year‑old math problem（2026/02/17）
https://interestingengineering.com/science/scientists-push-limits-300-year-old-math-problem
〇'Romance' between scientists and AI leads to progress on age-old maths problem（2026/02/17）
https://www.scmp.com/news/china/science/article/3343961/romance-between-scientists-and-ai-leads-progress-age-old-maths-problem
#数学 #AI #接吻数問題 #ニュートン #幾何学 #高次元 #PackingStar #北京大学 #復旦大学 #通信技術 #データ圧縮 #人工知能 #機械学習 #パズル #科学ニュース #テクノロジー #イノベーション #未解決問題 #研究成果 #球の配置 #デイヴィッドグレゴリー #エージェント #次元 #空間 #数理科学
ボールを切り分けて2個にする「禁断の定理」が、数の異世界でも通用した話
球を分解して再構成すると2倍になる「バナッハ＝タルスキーのパラドックス」が、距離の概念が異なる「p進数」の世界でも成立することが証明された。ポーランドの研究者Kamil Orzechowski氏が2026年2月に発表した。p進数の無限の桁を利用して次元を変換する手法を用い、1次元のp進数体でもこのパラドックスが起きることを示した。これは数学的構造の普遍性を示唆する成果である。
〇球を分解→元と同サイズの球を2個作れてしまう「バナッハ＝タルスキーのパラドックス」、p進数の世界でも成立と発表【研究紹介】（2026年2月16日）
https://levtech.jp/media/article/column/detail_805/
〇The Banach-Tarski paradox in complete discretely valued fields（2026年2月12日）
https://arxiv.org/abs/2602.08494
〇The Banach-Tarski paradox for some subsets of finite-dimensional normed spaces over non-Archimedean valued fields（2024年2月22日）
https://arxiv.org/abs/2402.14772
〇バナッハ＝タルスキーのパラドックス - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%EF%BC%9D%E3%82%BF%E3%83%AB%E3%82%B9%E3%82%AD%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
〇新版 バナッハ－タルスキーのパラドックス／砂田利一（岩波科学ライブラリー）
https://www.iwanami.co.jp/book/b265917.html
#数学 #バナッハタルスキーのパラドックス #p進数 #無限 #選択公理 #KamilOrzechowski #幾何学 #現代数学 #科学ニュース #2026年の科学 #パラドックス #証明 #測度論 #数論 #ポーランド #球の分割 #次元 #トポロジー #抽象数学 #アルフレトタルスキ #ステファンバナッハ #距離空間 #異世界 #研究成果 #定理
「考えるだけで文字が打てる」を、超音波と数学が実現しつつある
カーネギーメロン大学の研究チームが、集束超音波と数学を駆使し、手術なしで脳波から文字を入力する技術を開発した。超音波で脳の視覚野を刺激して注意力を高め、機械学習で脳波パターンを解析することで精度を向上させた。Neuralinkのような埋め込み型とは異なり、安全で誰でも使えるBCIの実現に向けた重要な一歩となる。
〇Breakthrough approach enables bidirectional BCI functionality（2024年6月17日）
https://www.sciencedaily.com/releases/2024/06/240617173427.htm
〇Transcranial focused ultrasound to V5 enhances human visual motion brain-computer interface by modulating feature-based attention（2024年6月11日）
https://www.nature.com/articles/s41467-024-48576-8
〇Transcranial Focused Ultrasound Improves the Performance of a Noninvasive Brain-Computer Interface（2024年）
https://www.nccih.nih.gov/research/research-results/transcranial-focused-ultrasound-improves-the-performance-of-a-noninvasive-brain-computer-interface
〇BRAIN-funded researchers improve noninvasive brain-computer interface neurotechnology（2024年）
https://braininitiative.nih.gov/news-events/blog/brain-funded-researchers-improve-noninvasive-brain-computer-interface
〇AI Co-Pilot Boosts Noninvasive Brain-Computer Interface by Interpreting User Intent（2025年9月1日）
https://samueli.ucla.edu/ai-co-pilot-boosts-noninvasive-brain-computer-interface-by-interpreting-user-intent/
〇BCIs in 2025: Trials, Progress, and Challenges（2025年7月21日）
https://andersenlab.com/blueprint/bci-challenges-and-opportunities
#BCI #ブレインコンピュータインターフェース #超音波 #集束超音波 #脳波 #EEG #非侵襲 #数学 #機械学習 #AI #カーネギーメロン大学 #神経
