First Proof’s second batch tests whether AI can survive mathematical refereeing

Harvard’s latest First Proof report shifts attention from model claims to the human work required to check research-level solutions.