2 papers
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…
math.PR2026
Finite Free Information Inequalities
Jorge Garza-Vargas, Nikhil Srivastava, Zachary Stier
We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and en…