Advertise on podcast: 数学の翻訳家

24歳の数学者カリーナ・ホン率いるAxiom Mathが6400万ドルを調達し、新たな数学的知識を創造・証明するAI開発に挑んでいる。MetaやGoogleのトップ人材を集結させ、言語Leanを用いて推論の正しさを保証するシステムを構築。既に難問解決や競技会で実績を上げ、金融や設計など幅広い分野への応用と信頼できるAIの実現を目指している。 ## 参考記事 〇AI startup Axiom gets $64M to develop new knowledge with advanced mathematics(2025年10月2日) https://siliconangle.com/2025/10/02/ai-startup-axiom-gets-64m-develop-new-knowledge-advanced-mathematics/ 〇Breaking the equation: Female founder secures $64M to teach AI the language of mathematics(2025年10月3日) https://techfundingnews.com/axiom-math-ai-mathematician-64m-seed/ 〇Who is Carina Hong, the 24-year-old Stanford dropout drawing Big Tech talent to her AI math startup?(2025年12月24日) https://e.vnexpress.net/news/tech/personalities/who-is-carina-hong-the-24-year-old-stanford-dropout-drawing-big-tech-talent-to-her-ai-math-startup-4996995.html 〇Toward Mathematical Superintelligence: Why We Invested in Axiom(2025年9月30日) https://b.capital/why-we-invested/toward-mathematical-superintelligence-why-we-invested-in-axiom/ #カリーナホン #AxiomMath #数学 #AI #人工知能 #スタートアップ #資金調達 #Lean #自動証明 #ケンオノ #パトナム競技会 #スタンフォード #シリコンバレー #女性起業家 #リャプノフ関数 #科学ニュース #テクノロジー #イノベーション #Meta #GoogleBrain #推論 #アルゴリズム #金融工学 #量子コンピューティング #暗号技術

ロシアの数学者イヴァン・レミゾフ氏が、1834年から未解決だった「変数係数をもつ二階微分方程式」の解析的解法に新たなアプローチを開発した。190年間不可能とされた問題を、プロセスを細分化する手法とラプラス変換を用いて解決へ導いた。この成果は物理学や経済学など幅広い分野への応用が期待され、基礎研究の重要性と数学の可能性を示すものとして注目されている。 ## 参考記事 〇Russian scientist copes with mathematical problem unsolved for 190 years(2026年1月27日) https://tass.com/science/2077371 〇Staff - Ivan Remizov – HSE University https://www.hse.ru/en/org/persons/215573332 〇Mathematicians from HSE University–Nizhny Novgorod Solve 57-Year-Old Problem https://www.hse.ru/en/news/1063531804.html 〇Chernoff approximations as a method for finding the resolvent of a linear operator and solving a linear ODE with variable coefficients(2025年3月28日更新) https://arxiv.org/abs/2301.06765 〇Nhà toán học Nga tìm ra lời giải cho bài toán 'bất khả thi' suốt gần 2 thế kỷ(2026年2月2日) https://vietnamnet.vn/nha-toan-hoc-nga-tim-ra-loi-giai-cho-bai-toan-bat-kha-thi-suot-gan-2-the-ky-2486908.html #数学 #ロシア #イヴァンレミゾフ #二階微分方程式 #190年 #難問 #未解決問題 #ラプラス変換 #物理学 #経済学 #解析的解法 #変数係数 #HSE #科学ニュース #チェルノフ近似 #基礎研究 #ジョゼフリウヴィル #アルゴリズム #関数解析 #科学アカデミー #イノベーション #TASS #研究成果 #数理科学 #テクノロジー

GPSの基礎となる地球の数学モデルを構築した数学者グラディス・ウェストさんが2026年1月17日、95歳で死去した。人種差別の時代に数学の才能で道を切り開き、海軍実験場で地球の正確な形状を計算、現代のGPS技術に不可欠な貢献をした。長年その功績は知られていなかったが、近年再評価され数々の栄誉を受けた。彼女自身はGPSよりも紙の地図を好んだという逸話も残る。 ## 参考記事 〇Gladys West, GPS pioneer and one of NASA's famed 'Hidden Figures,' dies at 95(2026年2月1日) https://www.space.com/space-exploration/gladys-west-gps-pioneer-and-one-of-nasas-famed-hidden-figures-dies-at-95 〇Gladys West, mathematician whose work paved the way for GPS, dies at 95(2026年1月24日) https://www.npr.org/2026/01/23/nx-s1-5685027/gladys-west-gps-mathematician 〇Black mathematician Gladys West, who helped develop GPS, has died at age 95(2026年1月24日) https://www.npr.org/2026/01/24/nx-s1-5685099/black-mathematician-gladys-west-who-helped-develop-gps-has-died-at-age-95 〇Mathematician Gladys West dies at 95. She was a hidden figure behind GPS.(2026年1月31日) https://www.washingtonpost.com/obituaries/2026/01/31/gladys-west-dead-gps-mathematician/ 〇RIP Gladys Mae West, the Pioneering Black Mathematician Who Helped Lay the Foundation for GPS(2026年1月28日) https://www.openculture.com/2026/01/rip-gladys-mae-west-the-pioneering-black-mathematician-who-helped-lay-the-foundation-for-gps.html 〇From Hidden to Modern Figures - NASA(2025年2月4日) https://www.nasa.gov/from-hidden-to-modern-figures/ 〇Hidden Figures - Wikipedia https://en.wikipedia.org/wiki/Hidden_Figures #グラディスウェスト #GladysWest #GPS #数学者 #隠れた人物 #HiddenFigures #NASA #黒人女性 #訃報 #地球モデル #測地学 #海軍実験場 #科学史 #女性科学者 #STEM教育 #技術革新 #バージニア州 #名誉黄金勲章 #ドリーム #地図 #衛星軌道 #伝記 #IBM #計算手 #ダイバーシティ

60年解けなかった数学の難問「チョウラのコサイン問題」が、ネットワーク理論の応用により2025年に大きく前進した。研究チームは、波の干渉をグラフの「MaxCut問題」に翻訳し、コサイン和の最小値が従来の想定より遥かに低くなることを証明した。この成果は、解析学とグラフ理論という異なる分野の融合によりもたらされた画期的な発見である。 ## 参考記事 〇Networks Hold the Key to a Decades-Old Problem About Waves（2026年1月28日） https://www.quantamagazine.org/networks-hold-the-key-to-a-decades-old-problem-about-waves-20260128/ 〇From small eigenvalues to large cuts, and Chowla's cosine problem（2025年9月3日、最終更新2025年10月27日） https://arxiv.org/abs/2509.03490 〇Polynomial bounds for the Chowla Cosine Problem（2025年9月5日） https://arxiv.org/abs/2509.05260 〇Polynomial Bounds for Chowla's Cosine Problem（2025年9月17日） https://gilkalai.wordpress.com/2025/09/17/polynomial-bounds-for-chowlas-cosine-problem/ #数学 #コサイン和 #ネットワーク理論 #チョウラの問題 #グラフ理論 #MaxCut問題 #ケイリーグラフ #固有値 #波の干渉 #フーリエ解析 #2025年の科学 #2026年の科学 #数論 #QuantaMagazine #研究成果 #未解決問題 #クリーク #アルゴリズム #解析学 #整数論 #科学ニュース #テクノロジー #対称性 #ブレイクスルー #arXiv

2023年、数学者アントン・バーンシュタインは、集合論の「無限」とコンピュータサイエンスの「分散アルゴリズム」が数学的に同じ構造を持つことを証明した。この発見は、無限グラフの彩色問題とネットワーク効率化の類似性に基づいており、両分野の未解決問題に新たな解決策をもたらすと共に、世界の本質的な統一性を示唆している。 ## 参考記事 〇A New Bridge Links the Strange Math of Infinity to Computer Science(2025年11月21日) https://www.quantamagazine.org/a-new-bridge-links-the-strange-math-of-infinity-to-computer-science-20251121/ 〇Solving the Infinite Problems: Anton Bernshteyn Awarded NSF CAREER for Developing New, Unified Theory(2023年4月18日) https://cos.gatech.edu/news/solving-infinite-problems-anton-bernshteyn-awarded-nsf-career-developing-new-unified-theory 〇Descriptive combinatorics and distributed algorithms(2022年8月4日) https://arxiv.org/abs/2208.02903 #数学 #無限 #集合論 #コンピュータサイエンス #アントンバーンシュタイン #分散アルゴリズム #グラフ理論 #彩色問題 #記述的集合論 #アルゴリズム #ネットワーク #科学ニュース #テクノロジー #ゲオルクカントール #力学系 #WiFi #ブロックチェーン #クラウド #通信技術 #数理科学 #研究成果 #論理学 #統一性 #QuantaMagazine #イノベーション

2026年に死去したウィリアム・フォージ博士の追悼記事。彼は天然痘撲滅の立役者であり、全員に接種する従来の「マス・ワクシネーション」ではなく、感染者の周囲のみを封じ込める「リング・ワクシネーション」を考案した。この確率とネットワークの数学的直感に基づく手法により、わずか7%の接種率でウイルスの消滅に成功した。ビル・ゲイツも師と仰ぐ彼の思考は、最小資源で最大の結果を生む革命だった。 ### 参考記事リスト 〇World mourns death of public health icon William Foege（2026年1月26日） [https://www.cidrap.umn.edu/public-health/world-mourns-death-public-health-icon-william-foege](https://www.cidrap.umn.edu/public-health/world-mourns-death-public-health-icon-william-foege) 〇In Memoriam: William Foege（2026年1月26日） [https://laskerfoundation.org/in-memoriam-william-foege/](https://laskerfoundation.org/in-memoriam-william-foege/) 〇A tribute to my mentor Bill Foege - Gates Notes（2026年1月28日） [https://www.gatesnotes.com/home/home-page-topic/reader/remembering-bill-foege](https://www.gatesnotes.com/home/home-page-topic/reader/remembering-bill-foege) #ウィリアムフォージ #天然痘 #公衆衛生 #感染症対策 #数学的思考 #ネットワーク理論 #ワクチン #ビルゲイツ #追悼 #サーベイランス #封じ込め #リングワクシネーション #医療 #科学 #歴史 #WHO #世界保健機関 #疫学 #最適化 #イノベーション #戦略 #確率 #命を救う #人類の勝利 #思考の革命

粒の動きから流体の法則を厳密に導く「ヒルベルト第6問題」は、125年以上続く物理と数学の難問である。2025年、ボルツマン理論を経由してこれを接続する新手法が提案され話題となった。これはミクロとマクロの溝を埋める試みだが、査読前の段階であり妥当性の検証が続いている。数学が「世界の翻訳機」として現実を記述するプロセスの重要性が改めて示された事例だ。 ## 参考記事 〇Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory(2025-03-03) [https://arxiv.org/abs/2503.01800](https://arxiv.org/abs/2503.01800) 〇Hilbert's sixth problem(最終更新日付はページ内参照) [https://en.wikipedia.org/wiki/Hilbert%27s_sixth_problem](https://en.wikipedia.org/wiki/Hilbert%27s_sixth_problem) 〇Hilbert's sixth problem: between the foundations of geometry and the axiomatization of physics(2018-06-13) [https://royalsocietypublishing.org/rsta/article/376/2118/20170221/115527/Hilbert-s-sixth-problem-between-the-foundations-of](https://royalsocietypublishing.org/rsta/article/376/2118/20170221/115527/Hilbert-s-sixth-problem-between-the-foundations-of) 〇Comment on "Hilbert's Sixth Problem: Derivation of Fluid Equations via Boltzmann's Kinetic Theory"(2025-04-09) [https://arxiv.org/abs/2504.06297](https://arxiv.org/abs/2504.06297) 〇125年越しに解決したかもしれない「ヒルベルトの第6問題」とは?(2025-05-10) [https://gigazine.net/news/20250510-hilberts-6th-problem-solved/](https://gigazine.net/news/20250510-hilberts-6th-problem-solved/) #ヒルベルト第6問題 #数学 #物理学 #流体力学 #ボルツマン方程式 #ミクロとマクロ #可逆と不可逆 #エントロピー #arXiv #プレプリント #科学ニュース #2025年 #数学の難問 #粒子 #連続体 #運動論 #数理物理学 #検証 #査読 #GIGAZINE #方程式 #世界の翻訳機 #複雑系 #熱力学 #研究

宇宙人との対話に数学が使えるかを探るため、脳構造が異なるミツバチの研究が注目されています。ハチは計算やゼロの概念を理解でき、異なる種でも数学的数値を共有できる可能性を示しています。これは数学が普遍的な言語になり得ることを示唆しており、人類は既にボイジャーやアレシボ・メッセージで実践しています。数学は異なる存在同士をつなぐ翻訳技術として期待されています。 ## 参考記事（フォーマット指定） 〇Bees May Tell Us if We Can Use Math to Talk to Aliens : ScienceAlert（2026-01-12） https://www.sciencealert.com/bees-may-tell-us-if-we-can-use-math-to-talk-to-aliens 〇Can we use bees as a model of intelligent alien life to develop interstellar communication? : The Conversation（※ScienceAlert内で「原文」として案内） https://theconversation.com/can-we-use-bees-as-a-model-of-intelligent-alien-life-to-develop-interstellar-communication-271524 〇Golden Record Cover : NASA Science（2025-04-07） https://science.nasa.gov/mission/voyager/golden-record-cover/ 〇Arecibo message : Wikipedia（更新日不定） https://en.wikipedia.org/wiki/Arecibo_message #宇宙 #数学 #ミツバチ #エイリアン #科学 #コミュニケーション #言語 #異文化理解 #NASA #ボイジャー #アレシボメッセージ #未来 #教育 #生物学 #脳科学 #進化 #翻訳 #ゼロの概念 #幾何学 #物理学 #知性 #哲学 #テクノロジー #自然 #宇宙語

AIが「Erdős Problems」などの高度な数学問題を解き始め、研究の進め方が変わりつつあります。テレンス・タオ氏はAIが膨大な小規模問題の解決に役立つと見ており、Lean等のツールによる「証明の形式化」と検証が重要視されています。これは単なる自動化ではなく、人間とAIの分業による数学の再設計や、専門外の人々への開放を意味する大きな変化です。 ## 参考記事（フォーマット） 〇AI models are starting to crack high-level math problems | TechCrunch（2026/01/14） https://techcrunch.com/2026/01/14/ai-models-are-starting-to-crack-high-level-math-problems/ 〇Terence Tao: “Recently, the application of AI tools to Erdos problems passed a milestone…”（2026/01/07） https://mathstodon.xyz/@tao/115855840223258103 〇Product of central binomial coefficients - MathOverflow（2013/07/30） https://mathoverflow.net/questions/138209/product-of-central-binomial-coefficients 〇Mathematical exploration and discovery at scale - arXiv（2025） https://arxiv.org/abs/2511.02864 〇About — Lean Lang（更新日不明） https://lean-lang.org/fro/about/ #AI #数学 #人工知能 #OpenAI #未解決問題 #エルデシュ #証明 #形式化 #Lean #テレンスタオ #研究 #科学 #テクノロジー #TechCrunch #検証 #自動化 #アルゴリズム #DX #教育 #未来 #プログラミング #MicrosoftResearch #オープンソース #論文 #イノベーション

現代暗号の数学的基盤の脆弱性を克服するため、量子物理学を用いた新理論が登場した。研究者らは、従来の難問に依存しない「一方向性パズル」と「行列のパーマネント問題」を組み合わせ、量子優位性が証明されれば強固な暗号が構築可能であることを示した。これにより未解決問題が統合され、理論的基盤が強化されたが、実用化には技術の進展が必要である。 ## 参考記事 〇量子科学が切り拓く、暗号理論の新しい数学（2026年1月14日） https://wired.jp/article/the-new-math-of-quantum-cryptography/ #量子暗号 #暗号理論 #数学 #物理学 #量子コンピューター #セキュリティ #サイバーセキュリティ #テクノロジー #科学 #研究 #イリノイ大学 #ダクシタクラナ #カビールトメール #一方向性関数 #一方向性パズル #行列のパーマネント問題 #量子優位性 #ウィリアムクレッチマー #WIRED #未来技術 #暗号化 #情報セキュリティ #未解決問題 #量子力学 #計算機科学

2025年は数学界にとって歴史的な一年となりました。17歳の少女が40年来の難問を解決し、量子物理学に関連する「10マティーニ問題」の完全な証明や、亡きミルザハニの遺志を継ぐ新定理、新たな無限の種類の発見、無理数に関する進展、そして自身を通過できない新図形「ノパートヘドロン」の発見など、創造的な冒険としての数学の深淵を示す成果が相次ぎました。 ## 参考記事 〇The Year in Mathematics(2025年12月18日) https://www.quantamagazine.org/the-year-in-mathematics-20251218/ 〇At 17, Hannah Cairo Solved a Major Math Mystery(2025年8月1日) https://www.quantamagazine.org/at-17-hannah-cairo-solved-a-major-math-mystery-20250801/ 〇'Ten Martini' Proof Uses Number Theory To Explain Quantum Fractals(2025年8月25日) https://www.quantamagazine.org/ten-martini-proof-uses-number-theory-to-explain-quantum-fractals-20250825/ 〇Years After the Early Death of a Math Genius, Her Ideas Gain New Life(2025年3月3日) https://www.quantamagazine.org/years-after-the-early-death-of-a-math-genius-her-ideas-gain-new-life-20250303/ 〇Is Mathematics Mostly Chaos or Mostly Order?(2025年6月20日) https://www.quantamagazine.org/is-mathematics-mostly-chaos-or-mostly-order-20250620/ 〇Rational or Not? This Basic Math Question Took Decades To Answer(2025年1月8日) https://www.quantamagazine.org/rational-or-not-this-basic-math-question-took-decades-to-answer-20250108/ 〇First Shape Found That Can't Pass Through Itself(2025年10月24日) https://www.quantamagazine.org/first-shape-found-that-cant-pass-through-itself-20251024/ #2025年 #数学 #科学ニュース #QuantaMagazine #ハンナカイロ #調和解析 #天才少女 #10マティーニ問題 #量子物理学 #フラクタル #スヴェトラーナジトミルスカヤ #マリアムミルザハニ #フィールズ賞 #双曲幾何学 #無限 #集合論 #クルトゲーデル #無理数 #円周率 #凸多面体 #幾何学 #ノパートヘドロン #独学 #教育 #未解決問題

2025年10月、OpenAI幹部がGPT-5で数学の未解決「エルデシュ問題」を解いたと発表したが、既存解の検索だったため撤回された。この騒動は、AIが膨大な文献検索に優れる一方、真の創造的発見には至っていない現状を示唆する。生涯で1500本以上の論文を残した天才エルデシュが遺した美しい数学の謎をAIが解く日は来るのか、人間とAIの役割分担や可能性が問われている。 ## 参考記事 〇ポール・エルデシュ - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%BC%E3%83%AB%E3%83%BB%E3%82%A8%E3%83%AB%E3%83%87%E3%82%B7%E3%83%A5 〇放浪の天才数学者エルデシュ | Naito Lab（2000年8月22日） https://singularities.sfc.keio.ac.jp/wp/?p=718 〇エルデシュ数～数学者ネットワークの中心にいた天才 - note（2025年9月24日） https://note.com/jolly_hornet911/n/nbdcae9557eae 〇GPT-5が「未解決問題解いた」 恥ずかしい勘違い、なぜ？（2025年12月29日） https://www.technologyreview.jp/s/374598/how-social-media-encourages-the-worst-of-ai-boosterism/ 〇「GPT-5が未解決の数学問題を解決した」とOpenAIの研究者が投稿も実際は既に解決済みの問題だったことが明らかに（2025年10月20日） https://gigazine.net/news/20251020-openai-researcher-announced-gpt-5-math-breakthrough/ 〇This Nomadic Eccentric Was the Most Prolific Mathematician in History - Scientific American（2024年1月24日） https://www.scientificamerican.com/article/this-nomadic-eccentric-was-the-most-prolific-mathematician-in-history/ #ポールエルデシュ #数学 #未解決問題 #エルデシュ問題 #GPT5 #OpenAI #AI #人工知能 #誤報 #検索能力 #創造性 #デミスハサビス #科学 #テクノロジー #エルデシュ数 #論文 #天才 #放浪 #共同研究 #数論 #大規模言語モデル #LLM #ITニュース #研究 #未来

2025年10月、OpenAI幹部がGPT-5で数学の未解決問題を解いたと発表したが、実際は既存解の検索だったため撤回された。この事件はAIが「発見」より「検索」に長けている現状と、SNSでの誇大宣伝のリスクを浮き彫りにした。AIは研究支援に有用だが、真の解決には人間の創造性と科学的検証が不可欠である。 ## 参考記事 〇GPT-5が「未解決問題解いた」 恥ずかしい勘違い、なぜ？（2025年12月29日） https://www.technologyreview.jp/s/374598/how-social-media-encourages-the-worst-of-ai-boosterism/ 〇「GPT-5が未解決の数学問題を解決した」とOpenAIの研究者が投稿も実際は既に解決済みの問題だったことが明らかに（2025年10月20日） https://gigazine.net/news/20251020-openai-researcher-announced-gpt-5-math-breakthrough/ 〇OpenAI幹部が「GPT-5でエルデシュ問題解決」と投稿もハザビス氏などに批判されて削除（2025年10月20日） https://www.itmedia.co.jp/news/articles/2510/20/news048.html 〇期待先行のAIエージェント、誇大宣伝で「バブル崩壊」のリスク（2025年7月9日） https://www.technologyreview.jp/s/364775/dont-let-hype-about-ai-agents-get-ahead-of-reality/ 〇OpenAI's 'embarrassing' math - TechCrunch（2025年10月19日） https://techcrunch.com/2025/10/19/openais-embarrassing-math/ #OpenAI #GPT5 #AI #人工知能 #数学 #エルデシュ問題 #未解決問題 #科学 #テクノロジー #誇大宣伝 #SNS #誤報 #ITニュース #大規模言語モデル #LLM #研究 #科学的検証 #DeepMind #検索能力 #創造性 #限界と可能性 #情報リテラシー #デミスハサビス #教訓 #未来