I've been collecting examples of actually useful AI in research maths: (I'm not disagreeing with Ege & Daniel's claim, which is carefully phrased as "[novel] concept")

Posters: gleech. gleech

4 likes recorded by the source corpus.

Topics: Math, AI & LLMs

View Post: https://x.com/gleech/status/1974165458283860198