7 ms·Results from round one of First Proof (benchmarking LLMs for math research)1 points by hkmaxpro 6mo ago