「幕末」の数学者たち: AIと数学｜R. Shimada

失業の心配してるのワロタ

「先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で」

AIが数学の未解決問題を解く時代が本当に来たか。これもう人間が証明をチマチマ検証するだけになるな

証明はできるようになったかもしれないが（ABC予想の証明は？）、（数学的に意味のある）予想を立てることはできるのだろうか？そこまで行くまでは数学者の意味はある。

な

うーん、むしろ「枠内」をAIに任せて、自身は「枠外」を考えるように意識改革すべきではないか。俗っぽい喩えで申し訳ないけど、将棋の藤井君がやっているのは、そういうことだよね

数学至上主義が酷い&文章がめっちゃ冗長なので、AI に添削して貰いましょう

数学に限らず、問題解決の分野ではAIが強力な武器なのは間違いない。人が気づかない視点をもってくることがある。あくまで一つのツールであって「人を代替するもの」ではないんだけどね。

“先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で、極めて重要な意義を持つと思います。”

> niaoz 数学至上主義が酷いというが、どこを読んでそういうのだろうか？自分は数学の人間なので寛容なのかもしれないが、十分に練られた文章に読める。数学についてしか語ってないのはむしろ守備範囲を守っていると思

タイトルに魅力を感じ、歴史上の人物のほうを調べてみたら小野友五郎という人物にたどり着くことができた。最後の和算の大家にして西洋数学を習得した最初の人ということらしい。