失業の心配してるのワロタ
「先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で」
AIが数学の未解決問題を解く時代が本当に来たか。これもう人間が証明をチマチマ検証するだけになるな
証明はできるようになったかもしれないが（ABC予想の証明は？）、（数学的に意味のある）予想を立てることはできるのだろうか？そこまで行くまでは数学者の意味はある。
な
うーん、むしろ「枠内」をAIに任せて、自身は「枠外」を考えるように意識改革すべきではないか。俗っぽい喩えで申し訳ないけど、将棋の藤井君がやっているのは、そういうことだよね
「幕末」の数学者たち: AIと数学｜R. Shimada
失業の心配してるのワロタ
「先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で」
AIが数学の未解決問題を解く時代が本当に来たか。これもう人間が証明をチマチマ検証するだけになるな
証明はできるようになったかもしれないが（ABC予想の証明は？）、（数学的に意味のある）予想を立てることはできるのだろうか？そこまで行くまでは数学者の意味はある。
な
うーん、むしろ「枠内」をAIに任せて、自身は「枠外」を考えるように意識改革すべきではないか。俗っぽい喩えで申し訳ないけど、将棋の藤井君がやっているのは、そういうことだよね