数学の翻訳家

math_translator

難解な数式や定理を、日常の言葉に“翻訳”して、その奥にあるロマンや物語をお届けします。数学アレルギーの方や文系の方も大歓迎。「わからない」が「面白い」に変わる瞬間を共有しませんか?大人の教養や息抜きに、不思議な数の世界へご案内します。

  1. AIはどこまで「考えている」のか? プラトン2400年の幾何学問題がChatGPTに暴いたもの

    MAR 30

    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 min
  2. AIが数学の「院試」を受けたら――証明の正しさを機械が保証する時代

    MAR 20

    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 #自動推論 #難問 #イノベーション #研究パートナー #パラダイムシフト

    20 min
  3. 数学で地球は救えるか? 最も抽象的な数学が、現実の問題に挑んでいる

    MAR 9

    数学で地球は救えるか? 最も抽象的な数学が、現実の問題に挑んでいる

    最も抽象的な数学とされる「圏論」が、環境問題や感染症対策、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 #科学ニュース #複雑系 #共通言語 #テクノロジー #サイエンス #シミュレーション #抽象数学 #数理科学 #イノベーション

    21 min
  4. 色の見え方に潜む「100年越しの数学的ミス」——そして、ついに完成した理論

    MAR 4

    色の見え方に潜む「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 #数学 #色覚 #シュレーディンガー #科学 #幾何学 #カラーサイエンス #データ可視化 #リーマン幾何学 #色相 #彩度 #明度 #ロスアラモス国立研究所 #視覚 #色空間 #デザイン #映像制作 #アルゴリズム #研究成果 #物理学 #品質管理 #科学ニュース #テクノロジー #イノベーション #色彩学 #錯視

    17 min
  5. 無限には「大きさ」がある——「∞」のなかに階層があるという話

    FEB 25

    無限には「大きさ」がある——「∞」のなかに階層があるという話

    数学において「無限」は一つではなく、大きさの異なる無数の無限が存在する。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/ #数学 #無限 #ゲオルクカントール #連続体仮説 #対角線論法 #集合論 #自然数 #実数 #ゲーデル #コーエン #ヒルベルト #未解決問題 #決定不能 #一対一対応 #無限濃度 #部分集合 #数学の不思議 #科学 #数学好きと繋がりたい #証明 #階層 #数の世界 #現代数学 #論理学 #パラドックス

    12 min

About

難解な数式や定理を、日常の言葉に“翻訳”して、その奥にあるロマンや物語をお届けします。数学アレルギーの方や文系の方も大歓迎。「わからない」が「面白い」に変わる瞬間を共有しませんか?大人の教養や息抜きに、不思議な数の世界へご案内します。

You Might Also Like