collaborators

1 paper

cs.AI2026

First Proof Second Batch

Mohammed Abouzaid, Nikhil Srivastava, Rachel Ward +1

To assess the ability of current AI systems to correctly solve research-level mathematics problems, we tested several AI systems on a set of ten problems in a broad range of mathem…