Solving_Erdos_Problems_with_AI
Lean
★ 5
updated 6mo ago
This is the code for "I Solved an 'Impossible' Math Problem with AI" by Siraj Raval on Youtube
No plain-English explanation yet — one is being written right now. Check back in a minute.