gitaskhub

This is the code for "I Solved an 'Impossible' Math Problem with AI" by Siraj Raval on Youtube

Stars · 5
Language · Lean
Ask anything about this repo to start.

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).