A somewhat optimistic view of AI in mathematics

(proofsandprompts.com) by bearseascape | Sep 10, 2026 | 0 comments on HN