wakari_times https://blog.hatena.ne.jp/wakari_times/ ワカリタイムズ https://wakari-times.com/ AI 数学 Google DeepMind AlphaEvolve 形式証明 数学の証明とは、論理を積み重ねて命題の正しさにたどり着く営みです。何年もかけて一つの定理を証明する数学者たちの世界に、AIという新しい「共同研究者」が本格的に加わり始めています。「AIによる数学革命が到来した」とQuanta Magazineが報じた記事は、2025年夏を転換点として、AIが数学研究の実践をどう変えつつあるかを詳しく伝えています。 数学オリンピックで「金メダル」、転換点となった2025年 転換点は2025年夏でした。国際数学オリンピックの問題に対し、AIモデルが6問中5問を解き、金メダル相当の成績を収めたのです。GoogleとOpenAIのモデルがともにこの水準に達したことで、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwakari-times.com%2Fentry%2F2026%2F04%2F18%2F120432" title="AIが数学研究の「共同研究者」に、証明の発見を加速させる新時代へ - ワカリタイムズ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/w/wakari_times/20260415/20260415095015.jpg Hatena Blog https://hatena.blog 2026-04-18 12:04:32 rich https://wakari-times.com/entry/2026/04/18/120432 1.0 100%