キーワード Formal_Verification, が含まれる動画 ： 1 件中 1 - 1 件目
種類:
- タグ
- キーワード
対象:
AIが数学難問を証明。天才タオが警告する1%の真実 ／ GPT-5.2・エルデシュ問題・テレンス・タオ・Aristotle・数学の産業化
なぜエルデシュは、自分で解ける問題を「未解決」として残したのか？
AIが解いた瞬間、90年前の論文から謎が浮かび上がった。
成功率わずか1%。タオが語った、その数字の意味とは。
(´･ω･`)ごめんなさい。編集ミスで、最初に映る写真はニール・ソマニさんです
技術仕様と検証環境について
本動画で解説しているAIモデル（GPT-5.2 Pro, Harmonic Aristotle）および数学的証明の成果は、2026年1月時点でのarXivプレプリント（2601.07421等）およびテレンス・タオ教授（UCLA）の公式コメントに基づきます。
AIによる自動定理証明の成功率（1-2%）については、データベース「Erdos Problems LLM Hunter」の記録を参照しています。
https://mathstodon.xyz/@tao/115855845720777387
https://mathstodon.xyz/@tao/115911902186528812
https://officechai.com/ai/yet-another-erdos-problem-solved-with-help-of-gpt-5-2-terrance-tao-calls-it-most-unambiguous-instance-of-ai-solving-an-open-problem/
https://www.erdosproblems.com/forum/thread/728
https://www.erdosproblems.com/397
https://www.erdosproblems.com/forum/thread/281
https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems
https://note.com/joho_no_todai/n/n04d5457a599b
ai 関連動画まとめ
https://www.youtube.com/playlist?list=PLsOOPCJgTuZzowBvzs1Q4de2Os5sdaPlh
チャプター
0:00 なぜ解かなかった
0:23 放浪者の遺言
1:49 陥落した要塞
4:47 証明の工場
7:24 1%の風景
9:37 産業化する知性
11:45 問いを遺す者
#GPT5 #数学 #テレンス・タオ #人工知能 #エルデシュ