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

faviconnote（ノート）
https://note.com/rshimada/n/n776da2f06fc8
まさに黒船来航といったところでしょうか。 先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で、極めて重要な意義を持つと思います...
🔒 28
💬 7
先着人気新着➡️
mimizukuma失業の心配してるのワロタ
2026/06/13 21:37

mimizukuma

失業の心配してるのワロタ
2026/06/13 21:37🔗 リンク
agrisearch「先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で」
2026/06/14 17:30

agrisearch

「先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で」
2026/06/14 17:30🔗 リンク
nguyen-oiAIが数学の未解決問題を解く時代が本当に来たか。これもう人間が証明をチマチマ検証するだけになるな
2026/06/14 17:39

nguyen-oi

AIが数学の未解決問題を解く時代が本当に来たか。これもう人間が証明をチマチマ検証するだけになるな
2026/06/14 17:39🔗 リンク
fhvbwx証明はできるようになったかもしれないが（ABC予想の証明は？）、（数学的に意味のある）予想を立てることはできるのだろうか？そこまで行くまでは数学者の意味はある。
2026/06/14 18:36

fhvbwx

証明はできるようになったかもしれないが（ABC予想の証明は？）、（数学的に意味のある）予想を立てることはできるのだろうか？そこまで行くまでは数学者の意味はある。
2026/06/14 18:36🔗 リンク
tarbonetな
2026/06/14 19:27

tarbonet

な
2026/06/14 19:27🔗 リンク
niaoz数学至上主義が酷い&文章がめっちゃ冗長なので、AI に添削して貰いましょう
2026/06/14 23:51

niaoz

数学至上主義が酷い&文章がめっちゃ冗長なので、AI に添削して貰いましょう
2026/06/14 23:51🔗 リンク
kura-2数学に限らず、問題解決の分野ではAIが強力な武器なのは間違いない。人が気づかない視点をもってくることがある。あくまで一つのツールであって「人を代替するもの」ではないんだけどね。
2026/06/15 00:52

kura-2

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