AI co-mathematician: Accelerating mathematicians with agentic AI

(arxiv.org)

2 points | by aoki 11 hours ago ago