SorryDB: Can AI Provers Complete Real-World Lean Theorems? - Austin Letson; Leopoldo Sarra; Auguste Poiroux; Oliver Dressler; Paul Lezeau; Dhyan Aranha; Frederick Pu; Aaron Hill; Miguel Corredera Hidalgo; Julian Berman; George Tsoukalas; Lenny Taelman (CoRR, 2026)

Shaping the Future of Mathematics in the Age of AI. - Johan Commelin; Mateja Jamnik; Rodrigo Ochigame; Lenny Taelman; Akshay Venkatesh (CoRR, 2026)