A mathematician's experience proving a new theorem with AI

1 pointsposted a year ago
by hackinthebochs
(twitter.com)

No comments yet