>>134
>質問ができればそこで解答の9割は得られている
ID:+VmcCR0T は、御大か
巡回ありがとうございます。
まあ、下記でも
いまどき 数学オリ 「人間超え」のAI
たとえ学部レベルでも、どこかの教科書の練習問題ならば、どこかネット上に答えがあれば、AIは解くだろう
しかし、数学者には まだなれないでしょう
(なお 米DARPA 「expMath:Exponentiating Mathematics」と呼ばれる新たなプロジェクト があるそうです)
(参考)
https://www.technologyreview.jp/s/363254/whats-next-for-ai-and-math/
MIT Technology Review
人工知能(AI)
Insider Online限定
What’s next for AI and math
数学オリンピックで「人間超え」のAIは数学者になれるか?
大規模言語モデルが苦手としていた数学の能力を急速に向上させている。AIはいずれ、プロの数学者でも解けないような問題を解けるようになるのだろうか。
by Will Douglas Heaven2025.06.09
この記事の3つのポイント
1.AIが数学オリンピックで銀メダル相当の成果を達成したが、パターン化された問題解決の域を出ない
2.高度な数学には@真の理解、A極めて長大な証明手順の管理、B直感と創造的洞察という3つの壁が存在
3.未解決問題や新概念の創造には人間の直感と創造性が依然として不可欠である
summarized by Claude 3
つづく
ガロア第一論文と乗数イデアル他関連資料スレ18
■ このスレッドは過去ログ倉庫に格納されています
136現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/06/09(月) 17:01:26.21ID:n21sjwUN■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾 [冬月記者★]
- 中傷動画より突っ込まれたくない高市事務所の“急所” 疑惑の本丸「サナエトークン」国会での追及本格化 [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 坂口杏里、現在の体重は衝撃の94.2kg 「もうすぐ100キロ…」もダイエット決意「みにくい体型とはおさらば。応援お願いします」 [muffin★]
- 高木豊氏 本田圭佑のW杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」 [jinjin★]
- ☺もうクーラーつけてる
- 【実話】僕「うつです😞」精神科医「あのね(笑)本当のうつ病の人はスマホ見れません(笑)」 [589647274]
- 最高の景色をー🏡⚽👊😅👊⚽
- 【動画】フィリピンの7.8の大地震、ガチのマジでヤバい フィリピン人に取ってマック以上の人気を得る国民食の店、崩壊する [689851879]
- おっさん「切符落とした」東京駅駅員「じゃあ一番遠い区間(博多東京間)の三倍の運賃払うまで駅から出さねぇ」→どっちが悪いかXで紛糾 [793117252]
- もう貧乏人だけでは自衛隊員が足りないんだけど、お前ら兵役につく準備できてるか? [305926466]