技術的特異点/シンギュラリティ

342：名無しさん：2025/05/21(水) 21:35:20: 依水 @sea85419
現代数学の巨星、タオさんが1週間前から、YouTubeに数学にAIを使う動画をアップ中

数学の証明を完全に論理学的な形に書こうとすると数学者にとんでもない負担がかかる

でもそこにAIをアシスタントとして使うと、
負担が大きく軽減されるらしい
2025年05月19日 13:22

https://x.com/sea85419/status/1924319699401388256

依水 @sea85419
タオさんはchatGPT出現当初からAIの数学応用に関心が高く、去年などはさっそくテストして、このAIはまだ完全に無能な大学院生レベルと評価したり、そしてモデル更新されると、またテストして、完全に無能ではないがかなり能力
が低い大学院生、と評価し直したりしていた

https://youtu.be/cyyR7j2ChCI?si=7bCFtu2JkXzHEjWu
2025年05月19日 13:26

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板