OpenAI publishes machine-verified math proofs in Lean
0:56
OpenAI publishes machine-verified math proofs in Lean
9 觀看人次3 週前
YouTubeTechPulse Daily
Proof of "a x b x c = b x c x a " #lean #programming #mathematics
0:58
Proof of "a x b x c = b x c x a " #lean #programming #mathematics
7 觀看人次3 個月前
YouTubeJasminlean
Proof of "a x b x c = b x ( a x c)" #lean #programming #mathematics
0:16
Proof of "a x b x c = b x ( a x c)" #lean #programming #mathematics
259 觀看人次3 個月前
YouTubeJasminlean
What is mul_comm? #lean #mathematics
0:09
What is mul_comm? #lean #mathematics
403 觀看人次3 個月前
YouTubeJasminlean
How OpenAI Verifies Math: Ten-Proofs in Lean 4
0:31
How OpenAI Verifies Math: Ten-Proofs in Lean 4
26 觀看人次3 個月前
YouTubeLookOnThisGit
The Lean 4 Theorem Prover and Programming Language | Automated Deduction – CADE 28
The Lean 4 Theorem Prover and Programming Language | Automated Deduction – CADE 28
2022年4月21日
acm.org
Math & Programming Simple LEAN Protocol & Outcome Focused Approach!
0:26
Math & Programming Simple LEAN Protocol & Outcome Focused Approach!
2581 觀看人次2025年9月6日
YouTubeAI Angle
0:54
OpenAI's 700+ AI math papers: ~42% of main results Lean-checked
279 觀看人次3 週前
YouTubeDavid Kahl
0:36
Why OpenAI's Astra Math Paper Matters
13 觀看人次2 個月前
YouTubeNeural Compass
0:31
OpenAI's Lean Proofs Never Say 'sorry' #shorts
15 觀看人次2 週前
YouTubeIron Forge Apps
0:55
Claude AI Just Verified Fermat’s Last Theorem in Lean — 13 Million Lines in 11 Days
335 觀看人次1 個月前
YouTubeSecNewsTV
2:46
Navier–Stokes is solved. The question you meant is still open. #Shorts #thinkinginmath
1.8萬 觀看人次1 個月前
YouTubeThinking In Math
0:55
AI agents just cracked a $1,000,000 math problem
942 觀看人次1 個月前
YouTubeFact Basin
0:40
Computer programs vs. math proofs
1833 觀看人次3 個月前
YouTubeSimons Foundation
0:43
Claude Just Proved Fermat In 11 Days — 13M Lines No Human Reads
502 觀看人次1 個月前
YouTubeMindBlitz
3:00
Q) A ladder 13 m long is leaning against the wall. The bottom of the ladder is pulled along the grou
3453 觀看人次8 個月前
YouTubeShivang Maths Academy
0:57
How AI writes math proofs, and how a tool called Lean checks them
2 觀看人次3 週前
YouTubeChillBrief Video
0:47
OpenAI Reveals Breakthrough Math AI! 📐
3 週前
YouTubeAI News Shorts
0:36
OpenAI Drops Frontier Math Proofs With Lean on GitHub #Shorts
3 週前
YouTubeNerra Network
2:09
Claude formally verified Fermat's last theorem in Lean 4 #maths #ai #claude #lean4
15 觀看人次1 個月前
YouTubeuksspy
查看更多內容
靜態縮圖預留位置