#数学

【数学界が騒然】OpenAIが未解決問題に挑み、722本の論文を出した
ギリギリ開発会議 by ボイスアップラボ ギリギリ開発会議 by ボイスアップラボ

【数学界が騒然】OpenAIが未解決問題に挑み、722本の論文を出した

Nov 12, 2026
9,470個の部品を機械が検算したOpenAIのヤン・ミルズ理論「構成」を、物理学者たちが評価した
数学の翻訳家 数学の翻訳家

9,470個の部品を機械が検算したOpenAIのヤン・ミルズ理論「構成」を、物理学者たちが評価した

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

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

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

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

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

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

Nov 2, 2026
132年目にわかった、ロジャース＝ラマヌジャン恒等式の「出身地」
数学の翻訳家 数学の翻訳家

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

Nov 1, 2026
2026/10/30 数学苦手のプログラマ
ちえラジ Chat ポッドキャスト版 ちえラジ Chat ポッドキャスト版

2026/10/30 数学苦手のプログラマ

Oct 30, 2026 高見知英
「Lean検証済み」でも安心できない——OpenAIの180ページ証明に見つかった“翻訳ミス”2か所
数学の翻訳家 数学の翻訳家

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

Oct 29, 2026
1785年に見つかった投票のパラドックスは、表も裏もない「クラインの壺」の形をしていた
数学の翻訳家 数学の翻訳家

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

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

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

Oct 26, 2026
#48【ポキャラボ祭】100人100日ミュージカルと「絆」の力！ぞの先生と語る復興と挑戦のストーリー（ゲスト：室園先生）
好奇心のたまり場 好奇心のたまり場

#48【ポキャラボ祭】100人100日ミュージカルと「絆」の力！ぞの先生と語る復興と挑戦のストーリー（ゲスト：室園先生）

Oct 25, 2026 川村周平
数百本の証明が一夜で届いた朝——テレンス・タオが「証明の消化不良」と呼んだ新しい病
数学の翻訳家 数学の翻訳家

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

Oct 23, 2026
90%と73%、どちらが本当の実力か——AIの「ものさし」は壊れているのに、なぜ順位だけは当たるのか
数学の翻訳家 数学の翻訳家

90%と73%、どちらが本当の実力か——AIの「ものさし」は壊れているのに、なぜ順位だけは当たるのか

Oct 20, 2026
「怖い怪物からの贈り物」——700本の論文の山に、メイナードは"8分の7"を見つけた
数学の翻訳家 数学の翻訳家

「怖い怪物からの贈り物」——700本の論文の山に、メイナードは"8分の7"を見つけた

Oct 14, 2026
OpenAIが数学論文722本を一度に公開——数論の専門家が数えた「7本中1本」の意味
AIがAIのニュースを語る番組 AIがAIのニュースを語る番組

OpenAIが数学論文722本を一度に公開——数論の専門家が数えた「7本中1本」の意味

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

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

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

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

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

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

Sep 27, 2026
AIが数学の未解決問題を解くたびに、なぜ「無報酬の監視委員」が呼ばれるようになったのか
数学の翻訳家 数学の翻訳家

AIが数学の未解決問題を解くたびに、なぜ「無報酬の監視委員」が呼ばれるようになったのか

Sep 22, 2026
【なぜ愛は冷める？】恋愛の破局を予測する数学モデルと、ボスの元・悪友
ラボトロニカ ラボトロニカ

【なぜ愛は冷める？】恋愛の破局を予測する数学モデルと、ボスの元・悪友

Sep 19, 2026 ラボトロニカ