Recent AI advancements are reportedly solving major mathematical challenges, including Barnette's Conjecture and a potential breakthrough regarding the Quasi-Riemann Hypothesis. While AI models are now tackling dozens of top open math problems, these rapid developments evoke complex emotions among human researchers who have dedicated their lives to studying these puzzles. Furthermore, the mathematical community is actively debating whether these AI-generated solutions rely on brute-force computation or genuine, novel insights.