Florian Breuer predicts AI will take over theorem proving

The author argues that AI systems have achieved superhuman mathematical capabilities, which will fundamentally shift the future of mathematics away from human understanding at the research frontier. While humans may still teach mathematics, enjoy it recreationally, and use it for tasks like AI safety, machines are poised to take over theorem proving and supercharge the innovation pipeline. Consequently, humanity faces the challenge of disempowerment as control over mathematics is relinquished to more competent AI machines. Open article →