A somewhat optimistic view of AI in mathematics

1 points | by bearseascape 6 hours ago