Reading up on UMAP
1 deep · digging since sep 24
- Open problems, open mathematics
Antonio Auffinger argues that AI-driven proof generation threatens mathematics' open culture and urges reshaping incentives to preserve sharing while embracing cross-disciplinary opportunities.