A new arXiv paper titled "First Proof Second Batch" details an evaluation of current AI systems on ten research-level mathematics problems. The paper outlines the methodology used and presents the results of testing various AI systems, including links to human and AI-generated solutions, as well as referee reports. AI
RANK_REASON The cluster contains an academic paper published on arXiv detailing research into AI capabilities.
- Aleksa Milojević
- alphaXiv
- arXiv
- Benny Sudakov
- CatalyzeX
- Dariusz Kalociński
- Duncan McCoy
- Jidong (Jayden) Wang
- John Lentfer
- Jonathan Mattingly
- Joshua Evan Greene
- Larry Guth
- Lorenzo Zambotti
- Oleg Butkovsky
- Richard Schwartz
- Sam Payne
- Srivatsav Kunnawalkam Elayavalli
- Sucharit Sarkar
- Sylvie Corteel
- Theodore Slaman
AI-generated summary · Google Gemini · from 2 sources. How we write summaries →