Most of the focus on AI for math has been on producing new results. But surprisingly little on finding simpler or more elegant arguments for old results? I would love for folks to clean up the literature using these newfound superpowers. 1/n

→ View original post on X — @thegautamkamath