HeyJared数学の翻訳家
難解な数式や定理を、日常の言葉に“翻訳”して、その奥にあるロマンや物語をお届けします。数学アレルギーの方や文系の方も大歓迎。「わからない」が「面白い」に変わる瞬間を共有しませんか？大人の教養や息抜きに、不思議な数の世界へご案内します。
- Indexed episodes, last 90 days
- 14
- Latest publication
- Sep 21, 2026
- Audience
- Checking…
- Earliest in this view
- Jul 8, 2026
Latest episodes
AIが数学の未解決問題を解くたびに、なぜ「無報酬の監視委員」が呼ばれるようになったのか (opens the original)
Read excerpt
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
四色問題、6人の数学者が"平らな荒野"に見つけた8202個の近道 (opens the original)
Read excerpt
地図をどんな複雑な形でも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 #数学 #四色定理 #四色問題 #グラフ理論 #数学史 #証明 #アルゴリズム #計算量 #平面グラフ #コンピュ
3,000億トークンで解かれた100万ドル問題、フィールズ賞受賞者25人が声を上げた理由 (opens the original)
Read excerpt
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
「優しくしなくていい」――OpenAIの100ページ証明と、消えた数学者のクレジット (opens the original)
Read excerpt
渦の中心で速度が無限大になる「爆発」。ナビエ・ストークス方程式のミレニアム問題に、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.
358年の難問を11日で"検算"したAI——フェルマーの最終定理、機械が読める言葉に (opens the original)
Read excerpt
参考記事 〇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 #数学者 #数学翻訳家 #数学の翻訳家
Publishing over time
Last 90 days. Choose a month to open its work.
Recurring subjects
Named in the text we hold. One piece can cover several.
Audience
No verified audience measurement yet.
About this data
Counts cover the work we have indexed. Tone needs enough text and a confident classification. Excerpts and episode notes are not full articles or transcripts.
Identity or attribution wrong? Suggest a correction.