AI outperforms human mathematicians at finding counterexamples

AI language models are beginning to surpass human mathematicians at finding counterexamples — cases that disprove conjectured theorems. The Xena Project notes that AI can rapidly search mathematical spaces that would take humans years to explore manually. This marks a significant shift in the human role in mathematics, moving from idea generation toward verifying AI-proposed results.