Blog
April 28, 2026
Can AI Learn What Makes Math Interesting?
Paper review: Learning Interestingness in Automated Mathematical Theory Formation, NeurIPS 2025.
April 28, 2026
Paper review: Learning Interestingness in Automated Mathematical Theory Formation, NeurIPS 2025.