Reddit posts regarding use of AI in Mathematics.

Updated: 21/5/26

• OpenAI’s internal model disproves Unit Distance Conjecture of Erdos.
  Link to r/math post: Link.

• MathOverflow post on use of AI. Link.

• A paper by Johannes Schmitt.
  Link to r/math post: Link.

• Timothy Gowers on ChatGPT 5.5 Pro.
  Link to Wordpress post: Link.

• Some conversations Terence Tao had with AI. Link, Link

• 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.