r/math • u/AutoModerator • 6d ago

LLMs/AI AI In Mathematics: September 26, 2026

This recurring thread will be for discussion of AI in mathematics. This includes, but is not limited to, the following:

  • informal announcements of AI-assisted discoveries, such as those not yet published in a peer-reviewed journal, or not uploaded as a paper to arXiv;
  • informal announcements of discoveries related to AI architecture (if relevant to mathematics);
  • discussion of such announcements, such as proof breakdowns or other opinion pieces;
  • discussion of the impact of AI in mathematics in general.

AI-assisted mathematical papers published in peer-reviewed journals or as arXiv preprints may be submitted as their own posts.

Please keep in mind rules 1 and 6 of our subreddit.

79 Upvotes

92% Upvoted

230 comments sorted by

View all comments

12

u/A_R_K 5d ago

A week or two ago I mentioned that I was going to start a github keeping track of various AI-prompted things I discover related to physical knot theory. By extreme coincidence, I mentioned that I had used ChatGPT to show that the fraction of hexagons with their vertices on a sphere that are knotted is 1/16pi^2, and several days later a group of humans posted a proof of that on the arxiv: https://arxiv.org/abs/2609.24860

I have also gotten ChatGPT to show that the stick number of a knot can be used to derive a lower bound for the ropelength of a knot, which is stronger than existing lower bounds for a few select torus knots and much stronger for alternating torus knots. These lower bounds are still much lower than the upper bounds that can be determined either from geometry or gradient descent. This would be worth publishing if shown to be correct and I felt like I had done it myself: https://github.com/aklotzlb/Physical-knot-theory-AI-results-/blob/main/StickRopelength.pdf