0 boosts
Results published from 'First Proof' project which allowed AI to solve unpublished mathematics problems, aiming to measure reasoning rather than pattern-matching; AI showed some progress, humans solved all problems