Skip to content
Sign in
Artwork for 数学の翻訳家
ScienceMathematics

数学の翻訳家

math_translator

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

Play
Open in
  • 22 episodes
  • Avg 18 min
  • Japanese

Episodes 22

NewestOldestLongest
All20Unplayed20In progress0Played0
Counted on this page — what you have heard stays on this device, so it is not something the list can be paged by.
  • Wednesday · 21 min

    答えのない試験に、AIは挑めるか——数学者が解けなかった14問「FrontierMath: Open Problems」

    答えが誰にも分からない試験を、どう採点するのか。Epoch AIが公開した「FrontierMath: Open Problems」は、数学者が解けなかった研究級の未解決問題14問を集め、見つけるのは難しいが確かめるのは簡単な問題に絞ることで自動採点を実現しました。解かれた問題は削除される早い者勝ちの設計で、AIが何を解けるかの道しるべとなります。 〇Benchmarking AI on unsolved math problems（2026年1月27日） https://epoch.ai/latest/benchmarking-ai-on-unsolved-math-problems 〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日） https://note.com/math_translator/n/nd994ba292d1d #数学 #AI #人工知能 #未解決問題 #FrontierMath #EpochAI #ベンチマーク #数学者 #研究 #科学ニュース #テクノロジー #GPT #Gemini #数学の翻訳家 #数学翻訳家 #自動検証 #生成AI #AI研究 #AIと数学 #組合せ論 #数論 #数学の美しさ #数学の魅力 #教養 #大人の学び

  • Tuesday · 21 min

    ケン・オノ氏の講演は2時間に及んだ——AIが定理を証明する時代、数学者に残される仕事とは

    OpenAIの数学問題解決発表から2日後、バークレーの教室でAI企業の数学者に学生が詰め寄り、質疑応答は2時間に及びました。証明より理解が問われる今、数学者の仕事はどう変わるのか。Quanta Magazineのエッセイをもとに、数学界の揺れと希望を翻訳します。 〇Is AI the End of Math as We Know It?（Quanta Magazine、2026年10月5日） https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/ 〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日） https://note.com/math_translator/n/nd994ba292d1d #数学 #AI #人工知能 #数学者 #OpenAI #Quanta #数学の翻訳家 #数学翻訳家 #定理証明 #未解決問題 #数学教育 #数学の未来 #AIと数学 #バークレー #人間数学協会 #arXiv #MathOverflow #大学院生 #研究者 #科学ニュース #理解 #数学の美しさ #教養 #科学コミュニケーション #純粋数学

  • September 26 · 25 min

    箱の中身は、表面積からすべてわかる――物理学者サスキンドが仕掛けた「ホログラフィー原理」

    重力の性質から生まれた「ホログラフィー原理」は、空間の中身を表面積だけで知ることができると主張します。ブラックホールのエントロピー計算や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対応 #理論物理学 #物理学 #宇宙論 #量子力学 #重力理論 #時空 #レナードサスキンド #スティーヴンホーキング #ヤコブベケンシュタイン #弦理論 #量子ビット #イットフロムキュービット #数学 #サイエンス #教養 #素粒子物理学 #エントロピー #反ドジッター空間 #宇宙

  • September 21 · 11 min

    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） https://www.scientificamerican.com/article/mathematicians-question-ai-performance-at-international-math-olympiad/ 〇imo-2026: Frontier AI models solving IMO 2026 autonomously（GitHub） https://github.com/deedy/imo-2026 #数学の翻訳家 #数学翻訳家 #数学 #AI #人工知能 #OpenAI #Anthropic #Claude #GoogleDeepMind #Gemini #リーマン予想 #ヤコビアン予想 #数学オリンピック #IMO #AI倫理 #AIガバナンス #科学コミュニケーション #サイエンス #テクノロジー #note科学部 #note数学部 #数理科学 #検証可能性 #AI研究 #未解決問題

  • September 14 · 19 min

    四色問題、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 #教養 #雑学 #数学の翻訳家 #数学翻訳家 #組み合わせ論 #グラフ彩色 #地図の色分け

  • September 12 · 18 min

    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 #ライデン宣言 #数学翻訳家 #数学の翻訳家 #クレイ数学研究所 #流体力学

  • September 9 · 17 min

    「優しくしなくていい」――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 #形式検証 #数学者 #未解決問題 #フィールズ賞 #クレイ賞 #流体力学 #人工知能 #テクノロジー #科学ニュース #証明 #ブロウアップ #数理科学 #イノベーション #サイエンス #大規模言語モデル #数学翻訳家 #数学の翻訳家

  • September 5 · 20 min

    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 #数学者 #数学翻訳家 #数学の翻訳家

  • August 20 · 16 min

    たった一目のほつれで、セーターがすべてほどける理由——結び目理論が解いた編み目の数学

    セーターの糸を一箇所引っ張るだけで全部ほどけてしまうのはなぜか。東京大学のシマモト氏らが結び目理論を使い、編み地全体を一つの結び目として捉え直すことで「編めるかどうか」を数学的に判定する方法を編み出しました。編み目に生じた欠陥がどう伝わるかを追跡すると、編めるパターンほどほどけやすいという意外な事実が浮かび上がります。この発見は、伝線に強い「ほどけにくい」布地の設計にもつながります。 〇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 #数理科学 #メタマテリアル #応用数学 #布地 #ファッション #素材科学 #研究成果 #論文 #科学の面白さ #数学の翻訳家 #数学翻訳家 #知的好奇心 #数学がわかる

  • August 12 · 19 min

    素数の「ふち」に立つ人たち——リーマン予想、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 #数学翻訳家 #数学の翻訳家 #リーマン予想 #リーマンゼータ関数 #素数 #数論 #解析的数論 #未解決問題 #臨界線 #零点密度 #グートメイナード #ジェームズメイナード #アランコンヌ #非可換幾何学 #テレンスタオ #ドブラウンニューマン定数 #ミレニアム懸賞問題 #数学 #数学者 #サイエンス #科学ニュース #研究成果 #数理科学 #ペア相関 #グロタンディーク

  • August 12 · 20 min

    「頑張って」から生まれた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 #形式検証 #数学 #人工知能 #サイエンス #科学ニュース #研究成果 #臨界線 #サブエージェント #モリファイア法 #モンゴメリー予想 #数理科学 #数学者 #ミレニアム懸賞問題

  • August 3 · 10 min

    「数学のノーベル賞」を獲った直後に、彼は数学をやめると言った

    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 #サイエンス #知的好奇心 #学び直し

  • August 2 · 16 min

    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数学者 #ブレイクスルー #数学翻訳家 #数学の翻訳家

  • July 24 · 20 min

    数学者たちの「見えない賭け」——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予想 #科学ニュース #サイエンス #数学の美しさ #数学翻訳家 #数学の翻訳家 #トポロジー #幾何学 #数学界のノーベル賞 #未解決問題

  • July 21 · 17 min

    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 #数学翻訳家

  • July 17 · 15 min

    定理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 #加藤文元 #証明検証 #計算機科学 #現代数学 #数学者 #京都大学 #数理解析研究所 #数学翻訳家 #数学の翻訳家

  • July 8 · 23 min

    円周率の中に、宇宙のひもが隠れていた ― 物理学者が「偶然」見つけた新しい数式の物語

    素粒子物理学者が「弦理論」の計算を整理していたところ、偶然にも円周率の新しい数式にたどり着いた——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 #数学史 #ブラックホール #乱流 #共形場理論 #科学ニュース #研究 #数学が好き #知的好奇心 #サイエンス #物理数学

  • June 25 · 17 min

    「形の図書館」が、渋滞・波・素粒子をひとつに結ぶ話

    ポジティブ・グラスマン多様体が、渋滞、タンパク質合成、波、素粒子衝突という全く異なる現象を共通して記述できることが分かりました。数学者ローレン・ウィリアムズの研究により、純粋数学と物理世界の不思議な繋がりが明らかになっています。また未発表の数学問題を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 #人工知能 #シルヴィコルテル #ニマアルカニハメッド #純粋数学 #応用数学 #シミュレーション #量子物理学 #科学ニュース #サイエンス #研究成果 #数学の美しさ

  • June 18 · 20 min

    「最善手」は正解を狙うことじゃない——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ゲーム #サイエンスニュース #科学ニュース #研究成果 #論文 #テクノロジー #応用数学 #数学の魅力 #数学的思考 #最適化 #プログラミング #データ分析 #ニューヨーク州立大学

  • June 12 · 12 min

    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 #ハーネス #ジェレミーアヴィガッド #未解決問題 #研究 #テクノロジー #科学ニュース #サイエンス #定理 #テスト #アルゴリズム #論文 #数学者

Showing 1–20 of 22 episodes