A somewhat optimistic view of AI in mathematics

(proofsandprompts.com)

1 points | by bearseascape 5 hours ago ago