Reddit posts regarding use of AI in Mathematics.

Updated: 4/3/26

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

• Autoformalisation of the sphere packing probem 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.