AI Math Startup Claims Solutions to Four Previously Unsolved Problems

As @EvanKirstel reported, an AI math startup has reportedly solved four previously unsolved mathematical problems. Details on the specific problems, methodology, and verification status are limited at this stage. If independently verified, this would represent one of the most concrete demonstrations of AI advancing the frontier of human knowledge rather than merely automating existing tasks. The claim merits cautious attention — mathematical proofs require rigorous verification, and the history of claimed AI breakthroughs in mathematics includes several that didn't survive peer review.