数学の翻訳家

math_translator
  • 4.4（9）
  • 数学
  • 毎日

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

  1. 16時間前

    数学者5年分の論文が「入場券」になる——AIと数学をめぐる匿名アンケート「Futures of Maths」が11月5日に始動

    2026年11月5日、数学とAIの未来を問う匿名アンケート「Futures of Maths」が始まりました。参加条件は過去5年以内に数学誌へ論文を発表したことで、回答は名前もORCIDも知られずに残ります。問いは参加者が投稿して育てられ、結果は十分な回答が集まってから公表される予定です。数学者の声の分布を地図にする試みです。 参考記事 〇Futures of Maths Launch（2026年11月5日） https://proofsandprompts.com/2026/11/05/futures-of-maths-launch/ 〇Futures of Maths（コンサルテーション公式サイト） https://community.futuresofmaths.com 〇About – Proofs and Prompts（2026年10月22日更新） https://proofsandprompts.com/about-proofs-and-prompts/ 〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日） https://note.com/math_translator/n/nd994ba292d1d #数学の翻訳家 #数学翻訳家 #AI #数学 #人工知能 #研究 #科学ニュース #数学者 #未解決問題 #形式化数学 #数学の美しさ #数学予想 #アンケート #匿名 #研究者 #学術 #大学 #数学教育 #科学コミュニケーション #ProofsAndPrompts #FuturesOfMaths #テクノロジー #数学の未来 #論文 #科学

    数学者5年分の論文が「入場券」になる——AIと数学をめぐる匿名アンケート「Futures of Maths」が11月5日に始動

  2. 3日前

    パルテノン神殿の曲線は「錯覚の補正」ではなかった。2000年の定説に、オックスフォードの数学者が計算で挑んだ

    パルテノン神殿の柱や土台がわずかに曲がっているのは、錯覚を打ち消すためだという説が2000年近く信じられてきた。2026年9月、オックスフォード大学の数学者アラン・ゴリリー氏は王立協会の学術誌で、その根拠を検証した。計算すると錯覚は起きず、柱のふくらみも人の目には見分けられない。曲線の理由は、雨水を流すためや見た目の好みだったのかもしれない。 #数学の翻訳家 #数学翻訳家 #数学 #パルテノン神殿 #パルテノン #古代ギリシャ #ギリシャ建築 #建築 #建築史 #錯視 #光学錯視 #錯覚 #ウィトルウィウス #アテネ #アクロポリス #数学者 #アランゴリリー #オックスフォード大学 #幾何学 #科学ニュース #科学 #歴史 #定説 #研究 #学術論文

    パルテノン神殿の曲線は「錯覚の補正」ではなかった。2000年の定説に、オックスフォードの数学者が計算で挑んだ

  3. 4日前

    「逆さまの数学」を物理学に持ち込んだら、古典力学が6通りに言い換えられた

    「逆数学」は、既知の定理から出発して、それを導くのに必要な前提を逆にたどって探す数学の考え方です。この発想を物理に持ち込んだのが、ミシガン大学のカルカッシとアイダラによる論文「Reverse Physics」です。二人は古典力学を六通りに言い換え、不確定性原理が量子論の全体ではなく「純粋状態のエントロピーがゼロ」という一点から出ることを示し、熱力学の第三法則を「空っぽの系」の論理へ置き換えました。数式を使わずに、物理の前提を問い直す試みを紹介します。 参考記事 〇Reverse Physics: From Laws to Physical Assumptions（2021年11月10日投稿、2022年3月17日改訂） https://arxiv.org/abs/2111.09107 〇同論文 掲載誌版（Foundations of Physics） https://doi.org/10.1007/s10701-022-00555-z #数学の翻訳家 #数学翻訳家 #数学 #物理学 #逆数学 #リバースフィジックス #古典力学 #ハミルトン力学 #不確定性原理 #エントロピー #熱力学 #第三法則 #量子力学 #統計力学 #情報理論 #科学解説 #論文紹介 #arXiv #基礎物理学 #数学好きと繋がりたい #科学の面白さ #理論物理 #物理の基礎 #数学と物理 #教養

    「逆さまの数学」を物理学に持ち込んだら、古典力学が6通りに言い換えられた

  4. 5日前

    132年目にわかった、ロジャース＝ラマヌジャン恒等式の「出身地」

    二つの数え方が条件の違いにもかかわらず同じ個数になる、ロジャース＝ラマヌジャン恒等式。2026年9月、ケン・オノ氏らは、その一般化である「X^a=Y^b」型の曲線を行列で数える新しい枠組みから、Huang、Jiang、Oblomkovの予想を証明したと発表した。証明は、円筒分割の数え上げと行列式という二本の道が同じ規則を満たして出会う形で組み立てられている。有限版はAIのAxiomProverによってLeanで形式化された。ただし論文は査読前である。 〇Rogers--Ramanujan identities from the geometry of X^a=Y^b（2026年9月17日、改訂2026年10月7日）https://arxiv.org/abs/2609.20567 〇Algebraic geometric framework of Rogers--Ramanujan identities（2026年8月15日）https://arxiv.org/abs/2608.15219 〇HJO（形式化したLeanのリポジトリ）（2026年9月10日）https://github.com/AxiomMath/HJO #数学 #数学の翻訳家 #数学翻訳家 #ロジャースラマヌジャン #ラマヌジャン #数論 #分割数 #恒等式 #AI #AxiomProver #Lean #形式化数学 #ケン・オノ #プレプリント #数学者 #科学ニュース #研究 #組み合わせ論 #q級数 #テクノロジー #人工知能 #定理証明 #数学の美しさ #数学予想 #代数幾何学

    132年目にわかった、ロジャース＝ラマヌジャン恒等式の「出身地」

  5. 10月28日

    「Lean検証済み」でも安心できない——OpenAIの180ページ証明に見つかった“翻訳ミス”2か所

    「Lean検証済み」と書かれた証明でも、Leanが検査するのは機械向けの言語で書かれた文章です。人間が読む元の証明と意味がずれていれば、お墨付きは当てになりません。Science誌が報じた研究者たちの懸念を入口に、OpenAIのナビエ・ストークス証明で見つかった「Lean版が元の主張より弱い」という食い違いを紹介します。機械による検証と人間の理解の違いを考えます。 〇AI is shaking up math. But can its proofs be trusted?（2026年10月28日） https://www.science.org/content/article/ai-shaking-math-can-its-proofs-be-trusted 〇Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs（2026年10月） https://arxiv.org/pdf/2610.08144 〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日） https://note.com/math_translator/n/nd994ba292d1d #数学 #数学の翻訳家 #数学翻訳家 #AI #人工知能 #形式化数学 #Lean #定理証明 #証明 #OpenAI #ナビエストークス #数学者 #査読 #未解決問題 #研究 #科学ニュース #テクノロジー #Anthropic #ClaudeFable5 #数学の美しさ #AI数学 #信頼性 #検証 #ケプラー予想 #数学の世界

    「Lean検証済み」でも安心できない——OpenAIの180ページ証明に見つかった“翻訳ミス”2か所

  6. 10月26日

    1785年に見つかった投票のパラドックスは、表も裏もない「クラインの壺」の形をしていた

    多くの票を得た人が勝つ、という当たり前が三人以上の選挙では崩れます。1785年、コンドルセは一人ひとりの順位は筋が通っていても、全員で集めると堂々巡りになるパラドックスを見つけました。2026年、リブソンらの研究はこの堂々巡りが、表も裏もないクラインの壺の形をしていることを示しました。投票の方法は、どの弱点を諦めるかという価値観の選択でもあります。その選択は数学ではなく、私たちが決めることです。 ⑦ 参考記事 〇How Voting Is Like a Klein Bottle（2026年10月26日）https://www.quantamagazine.org/how-voting-is-like-a-klein-bottle-20261026/ 〇The Non-Orientable Topology of Condorcet's Paradox（2026年1月12日投稿、2026年9月16日改訂）https://arxiv.org/abs/2601.07283 〇数学の地図を描き直した男——グロタンディークという名の革命（2026年5月27日）https://note.com/math_translator/n/n86b513ff4029 #数学の翻訳家 #数学翻訳家 #数学 #投票 #選挙 #コンドルセ #コンドルセのパラドックス #アロー #アローの定理 #社会選択理論 #トポロジー #位相幾何学 #クラインの壺 #メビウスの帯 #民主主義 #多数決 #パラドックス #幾何学 #科学ニュース #QuantaMagazine #数学の面白さ #教養 #基礎研究 #ひねり #数学の地図

    1785年に見つかった投票のパラドックスは、表も裏もない「クラインの壺」の形をしていた

  7. 10月25日

    200通りの証明がある「素数は無限にある」——数学者はなぜ、解けた問題を解き直すのか

    答えの出た問題を、数学者はなぜ何度も解き直すのか。素数が無限にあるというユークリッドの証明には今も約200通りの証明があります。オイラーの解き直しがリーマン予想の入口になり、重ねた証明がグルンヴァルト＝ワンの定理のように誤りを見つけることもあります。証明が増えるほど結論は確かになる、という考え方を、吊り橋の比喩とともに紹介します。数学が正しいと言える理由を、ネットワークのモデルから考えます。 〇Why do mathematicians keep proving things they already know?（記事作成日：2026年10月23日）https://www.newscientist.com/article/2595497-why-do-mathematicians-keep-proving-things-they-already-know/ 〇Why Mathematicians Re-Prove What They Already Know（記事作成日：2023年4月26日）https://www.quantamagazine.org/why-mathematicians-re-prove-what-they-already-know-20230426/ 〇素数の「ふち」に立つ人たち——リーマン予想、2026年・人間側の最前線（数学の翻訳家）https://note.com/math_translator/n/n194312469903 #数学 #素数 #ユークリッド #リーマン予想 #オイラー #数学の証明 #証明 #数学史 #AIと数学 #科学コミュニケーション #数学好きな人と繋がりたい #数学の翻訳家 #note #サイエンス #理系 #教養 #大人の教養 #数学ミステリー #未解決問題 #ナビエストークス #グルンヴァルト #吊り橋 #科学ニュース #数論 #数学の面白さ

    200通りの証明がある「素数は無限にある」——数学者はなぜ、解けた問題を解き直すのか

  8. 10月22日

    数百本の証明が一夜で届いた朝——テレンス・タオが「証明の消化不良」と呼んだ新しい病

    OpenAIが数百本の数学の成果を一斉公開した直後、フィールズ賞のテレンス・タオ氏がNature誌に寄稿しました。AIが解きすぎて人間の理解が追いつかない「証明の消化不良」が起きていると氏は指摘します。解いた数ではなく、説明と消化を報いる「数学2.0」とは何かを、食卓のたとえで訳しました。 〇Can maths survive AI? Fields medallist Terence Tao calls for a ‘Maths 2.0’ world（Nature、2026年10月22日） https://www.nature.com/articles/d41586-026-03389-1 〇Sharing AI progress in mathematics（OpenAI、2026年10月6日／10月15日更新） https://openai.com/index/sharing-ai-progress-in-mathematics/ 〇Mathematics in the age of AI（テレンス・タオ氏によるICM 2026公開講演スライド、2026年7月24日） https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf #数学の翻訳家 #数学翻訳家 #テレンス・タオ #Math2.0 #証明の消化不良 #AIと数学 #数学 #フィールズ賞 #Nature #OpenAI #形式証明 #Lean #未解決問題 #数学者 #数学教育 #研究評価 #査読 #グッドハートの法則 #生成AI #AI時代の学び #科学コミュニケーション #大人の教養 #理系の読み物 #ICM2026 #研究の未来

    数百本の証明が一夜で届いた朝——テレンス・タオが「証明の消化不良」と呼んだ新しい病
すべて見る（66）

4.4
5段階評価中
9件の評価

番組について

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

情報

  • クリエイター
    math_translator
  • 配信期間
    26年
  • エピソード
    66
  • 制限指定
    不適切な内容を含まない
  • Copyright
    © math_translator
  • 番組のウェブサイト
    数学の翻訳家

その他のおすすめ