Learning Interestingness in Automated Mathematical Theory Formation

NeurIPSSpotlight2025

Authors
George Tsoukalas, Rahul Saha, Amitayush Thakur, Sabrina Reguyal, Swarat Chaudhuri
Venue
NeurIPS 2025
Track
Spotlight

TL;DR

We take two key steps in automating the open-ended discovery of new mathematical theories, a grand challenge in artificial intelligence…

Opening excerpt from the authors’ abstract. source

Read the paper

Topics

theory

Related NeurIPS papers

← All NeurIPS 2025 Spotlight papers · Browse the whole archive