A mathematician's experience proving a new theorem with AI

1 pointsposted 10 hours ago
by hackinthebochs
(twitter.com)

No comments yet