AI Solves Erdős Puzzle 1196 in 80 Minutes, Outperforming Expert's 7-Year Effort

An AI system solved Erdős's Puzzle 1196, a combinatorial number theory problem, in 80 minutes, while mathematician Jared Duker Lichtman had worked on it for over seven years. The breakthrough demonstrates AI's potential in mathematical discovery, though the specific AI method and verification status are not detailed. This marks a notable instance of AI outperforming human expertise in a specialized research domain.