Movatterモバイル変換

「AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている」とあるが、ショルツとかいうオタクが既に驚くほどのレベルなのだから、正しさチェックは既に現実なのだろう？

vox_populiのブックマーク2025/12/14 10:38

その他

はてなブログで引用

<blockquote><a  href="/mt/?noimg=&dark=on&url=https%3a%2f%2fb.hatena.ne.jp%2fentry%2f4780301019940977985%2fcomment%2fvox_populi" data-user-id="vox_populi" data-entry-url="https://b.hatena.ne.jp/entry/s/www.asahi.com/articles/ASTD333PNTD3DIFI004M.html" data-original-href="/mt/?noimg=&dark=on&url=https%3a%2f%2fwww.asahi.com%2farticles%2fASTD333PNTD3DIFI004M.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.asahi.com%2Farticles%2FASTD333PNTD3DIFI004M.html" data-user-icon="/users/vox_populi/profile.png">AIは数学者になれるか　数学界に衝撃、証明検証ソフトLean登場：朝日新聞</a><ul><li>[<a  href="/mt/?noimg=&dark=on&url=https%3a%2f%2fb.hatena.ne.jp%2fq%2f%25E6%2595%25B0%25E5%25AD%25A6%253D%25E3%2582%25AA%25E3%2582%25BF%25E3%2582%25AF%25E3%2581%25AE%25E5%25AD%25A6%25E5%2595%258F">数学=オタクの学問</a>]</li><li>[<a  href="/mt/?noimg=&dark=on&url=https%3a%2f%2fb.hatena.ne.jp%2fq%2f%25E7%259F%25B3%25E5%2580%2589%25E5%25BE%25B9%25E4%25B9%259F%25E6%259C%259D%25E6%2597%25A5%25E6%2595%25B0%25E5%25AD%25A6%25E8%25A8%2598%25E8%2580%2585">石倉徹也朝日数学記者</a>]</li></ul><br /><p>「AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている」とあるが、ショルツとかいうオタクが既に驚くほどのレベルなのだから、正しさチェックは既に現実なのだろう？</p><a  href="/mt/?noimg=&dark=on&url=https%3a%2f%2fb.hatena.ne.jp%2fvox_populi%2f20251214%23bookmark-4780301019940977985"><span>2025/12/14 10:38</span></a></blockquote>

このブックマークにはスターがありません。
最初のスターをつけてみよう！