Hype Fast, Verify Later: The Incentive Problem in AI Mathematical Breakthroughs

At Quantum Formalism (QF), we have been following the progress of AI in mathematics with real interest.