数学の翻訳家

math_translator

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

  1. AIが数学の「院試」を受けたら――証明の正しさを機械が保証する時代

    1D AGO

    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
  2. 数学で地球は救えるか? 最も抽象的な数学が、現実の問題に挑んでいる

    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
  3. 色の見え方に潜む「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
  4. 無限には「大きさ」がある——「∞」のなかに階層があるという話

    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
  5. ニュートンが残した330年の宿題、AIが解いた「接吻数問題」とは

    FEB 24

    ニュートンが残した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 #北京大学 #復旦大学 #通信技術 #データ圧縮 #人工知能 #機械学習 #パズル #科学ニュース #テクノロジー #イノベーション #未解決問題 #研究成果 #球の配置 #デイヴィッドグレゴリー #エージェント #次元 #空間 #数理科学

    13 min
  6. ボールを切り分けて2個にする「禁断の定理」が、数の異世界でも通用した話

    FEB 18

    ボールを切り分けて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年の科学 #パラドックス #証明 #測度論 #数論 #ポーランド #球の分割 #次元 #トポロジー #抽象数学 #アルフレトタルスキ #ステファンバナッハ #距離空間 #異世界 #研究成果 #定理

    9 min
  7. 「考えるだけで文字が打てる」を、超音波と数学が実現しつつある

    FEB 15

    「考えるだけで文字が打てる」を、超音波と数学が実現しつつある

    カーネギーメロン大学の研究チームが、集束超音波と数学を駆使し、手術なしで脳波から文字を入力する技術を開発した。超音波で脳の視覚野を刺激して注意力を高め、機械学習で脳波パターンを解析することで精度を向上させた。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 #カーネギーメロン大学 #神経科学 #テクノロジー #シータ波 #信号処理 #BinHe #NatureCommunications #医療技術 #コミュニケーション #Neuralink #科学ニュース #研究成果 #イノベーション #アクセシビリティ #未来技術

    15 min

About

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

You Might Also Like