Aletheia math research agent solves 6 of 10 FirstProof problems

Aletheia, a math research agent, autonomously solved 6 of 10 FirstProof problems without modification, the best result in the inaugural challenge. The author says this is bigger than the IMO-gold achievement from last year, and the results were evaluated by experts with best-of-2 scoring.