Reddit posts regarding use of AI in Mathematics.

Updated: 8/4/26

• Project Glasswing: AI for Cybersecurity.
  Link to post: Link.

• AI for Math post by Terence Tao.
  Link to Wordpress post: Link.

• X post by Yifan Zhang on Math Code.
  Link to X post: Link.

• X post by Mehtaab Sawhney.
  Link to X post: Link.

• X post by Ashwin Swaminathan.
  Link to X post: Link.

• Claude’s Cycles.
  Link to r/math post: Link.

• Autoformalisation of the sphere packing problem in dimensions 8 and 24.
  Link to r/math post: Link.

• Alethia tackles FirstProof autonomously.
  Link to r/math post: Link.

• Towards Autonomous Mathematics Research.
  Link to r/math post: Link.

• Google DeepMind announces official IMO Gold.
  Link to r/math post: Link.