AI co-mathematician: Accelerating mathematicians with agentic AI

2 points | by aoki 11 hours ago