[2602.05192] First Proof an interesting way to evaluate AI. #Mathematics #LLMs #paper [permlink]

leads to: Mathematics