AI-assisted math advance highlights gap between finding answers and judging their significance

AI models excel at solving mathematical puzzles but lag in research judgment, as found by theoretical computer scientists.