@mts_dot_now: Per Anthropic's launch materials as read on MTS, Mythos / Claude formalized Fermat's Last Theorem (Andrew Wiles's proof) into Lean in about 30 hours. Theo notes that when Gary Marcus made his famous wager on AI progress, one bar was whether an AI could formalize a 10,000-line proof. On-air reading of launch posts, not independently verified by MTS. Would you take the other side of that wager today? #Claude #Fermat #MTS

MTS Live
MTS Live
Open In TikTok:
Region: US
Tuesday 10 November 2026 00:43:47 GMT
556
17
1
0

Music

Download

Comments

thegreatgrahambini
The Great Grahambini :
Gary Marcus is famous for proclaiming "AI has hit a wall" right before the release of ChatGPT. Hilarious
2026-11-10 14:13:37
1
To see more videos from user @mts_dot_now, please go to the Tikwm homepage.

Other Videos


About