AI co-mathematician: Accelerating mathematicians with agentic AIarxiv.org3 points·aoki··0 commentsOpen articleSaveView on HN