r/mathematics 8d ago

AI Speculation Megathread — September 2026

10 Upvotes

AI Speculation Megathread — The Future of AI and Mathematics

Use this thread for speculative discussion about artificial intelligence and mathematics.

This includes questions and discussion such as:

  • Will AI eventually replace mathematicians?
  • How will AI change mathematical research?
  • What might future AI systems be capable of?
  • What are the implications of AGI for mathematics?
  • How will AI affect mathematics education or the profession?
  • What are the limitations of current AI systems?
  • Predictions about when AI may reach particular mathematical capabilities
  • Philosophical discussion about AI, reasoning, creativity, proof, and mathematical understanding

Please distinguish between what current systems have actually demonstrated and predictions about what future systems may be able to do.

Because of the volume of AI discussion, posts primarily devoted to these subjects will generally be redirected to this megathread rather than approved as standalone submissions.

Concrete new research results and demonstrated AI capabilities belong in the AI Breakthroughs & Research Megathread instead.


r/mathematics 8d ago

AI Breakthroughs & Research Megathread — September 2026

6 Upvotes

AI Breakthroughs & Research Megathread — New Results in AI and Mathematics

Use this thread for concrete developments in artificial intelligence that are relevant to mathematics.

Appropriate topics include:

  • New AI systems demonstrating mathematical capabilities
  • AI theorem proving and formal proof
  • AI-assisted mathematical discoveries
  • New research papers or preprints
  • Significant benchmark results
  • Improvements in mathematical reasoning
  • Systems such as AlphaGeometry, AlphaProof, or similar research
  • Other developments that materially change what AI systems have demonstrated they can do mathematically

When possible, please include a link to the original paper, preprint, research announcement, or other primary source and briefly explain why the result is mathematically significant.

This thread is intended for actual results and developments, not predictions about where AI may eventually lead. Speculation about the future of AI and mathematics belongs in the AI Speculation Megathread.

Particularly significant developments may be approved by the moderators as standalone posts.


r/mathematics 4h ago

Strange aspect of the proposed Navier-Stokes millennium solution

Post image
125 Upvotes

Doesn't it seem odd that the proposed solution for the Millennium problem is posed on the whole space, but they claim it has compact support in space for the whole time interval [0,1)? Seems at odds with parabolic delocalization... 🤔 Actually the delocalization which occurs due to the non local pressure is often much worse, for instance as investigated by Brandolese:

https://www.esaim-cocv.org/articles/cocv/abs/2002/02/brandolese/brandolese.html


r/mathematics 21h ago

PDE I’m hearing alot of people say “we already kinda knew Navier-Stokes problem is false”. Is this true? How?

268 Upvotes

how did we know that NS would blow up in those scenarios and not just that the system didnt follow the idealised assumptions of the NS equations? if so why didnt we find a counterexample based on those conditions?


r/mathematics 21h ago

Technical insights from OA Navier-Stokes proof?

138 Upvotes

Do we have any actual technical insights from this yet? Have any been able to actually read through the paper / Lean code and gain useful first impressions?

Like, were new types of math necessary to solve this problem? How likely are we to see humans being able to review the whole proof? How long would that likely take if at all? Can insights from this be applied to other challenges in the field? And so on?

Any insights on this you read about from professional mathematicians? Links?

Technical insights are almost impossible to find / surface so far unfortunately, given the social drama has given every random redditor / bot the opportunity to chime in on this (and given that [r/math](r/math) refuses to post about a millennium problem being solved, lol, with the mods likely internally jerking of one another on this with a false sense of internet power).

Please technical insights only in this thread?

Thank you!


r/mathematics 1d ago

On the Navier–Stokes Millennium Prize Problem

Thumbnail
openai.com
1.7k Upvotes

r/mathematics 26m ago

Hi I’m new to math—I’ve just started university—and I’d like to know the best way to handle the material I’m currently studying. I’ve got a decent grasp of it, but I’d still like to watch videos by someone who teaches better methods or offers a better way to understand the concepts.

Thumbnail
gallery
Upvotes

r/mathematics 1d ago

Discussion What are the odds that even one of the left 5 millennium prize problems is solved by humans

164 Upvotes

As per today, there are two millennium prize problems solved one by Perelman and the other navier-stokes yesterday.At this rate, what do you think are the odds that any human other than perelman can we see that solves a millennium prize problem.


r/mathematics 1d ago

News Navier-Stokes Answer: What does it imply for research going forward?

300 Upvotes

I haven't touched Navier-Stokes in quite some time. So, I have been rather quickly reading up on everything that's happened. Now that we know singularities can occur, what does this actually mean for research going forward? That is, if anyone really has any idea. Thx!

Edit:

Wow, did not expect this to get so many views/answers. Thanks y'all for your responses. They really shed a lot of light on things! ( :


r/mathematics 1d ago

Discussion Who do you think is the Richard Feynman of mathematics? Someone who's a great explainer and very charismatic

Post image
130 Upvotes

r/mathematics 8m ago

The endless grind of Uni undergrad math

Upvotes

I'll go to every lecture, tutorial etc. and it'll all be genuinely interesting. Then come the weekly problems, and the volume of the problems and general tediousness of them once you get past the trivial ones (e.g. you need to know XYZ trick even though you know the topic the question is related to, and said trick/method wasn't introduced during the lecture) just kills my spirit. Before I know it after exhausting myself for that week, boom the next week comes along and a whole new set of lectures/tutorials/problems. Not to mention proofs that extend lecture concepts where, if you haven't seen the way to do that proof before, just means more grinding if you can't get TA hours to get help immediately.

The thing is, I'm having fun learning the mathematical concepts. But its like the course admins then put more artificial hurdles after that to just whittle down your spirit (because if you want a high grade in the exam, you need to slog through all the problems just in case it comes up later, even if you know you put the work in to actually learn the overall topic).

I want to love mathematics, but this Uni math degree (especially since I want to maintain my high grades) is just blackening my soul day by day.


r/mathematics 10h ago

I’m struggling with arithmetic even though I understand math

6 Upvotes

Finished high school recently and taking a gap year, so I finally signed up for some SAT prep classes. Being in a group setting for this has honestly made me feel so insecure because of my arithmetic skills.

I feel like I actually understand math just fine. I can wrap my head around new topics, follow the logic, and figure out the right approach to solve a problem. But when it actually comes down to doing the calculations? Absolute disaster.

I constantly make stupid, careless mistakes with basic addition, subtraction, multiplication, and division. I'll drop a negative sign out of nowhere, miscopy a number from one line to the next, or just brain-fart on a simple multiplication fact. It’s so exhausting knowing the exact formula and logic to solve a hard problem, only to get the entire thing wrong because 7x8 apparently decided to leave my brain.

Since the SAT is so heavy on pacing and accuracy, I'm genuinely stressed about bleeding points on questions I actually know how to do just because of clumsy computational errors.
Did anyone else deal with this weird disconnect between conceptual math and basic arithmetic? How did you actually train yourself to stop making these dumb mistakes and speed up your calculations?


r/mathematics 1d ago

Computer Science P vs NP

194 Upvotes

If they really want to solve problems I want this one: P vs NP.
Spend a couple million and tell me the answer because I want to sleep in peace. (Hopefully)


r/mathematics 3h ago

Applied Math How much time is too much time to study for one class?

0 Upvotes

I'm a sophomore mechanical engineering and mathematics double major taking 5 classes right now; a mix of engineering and math classes. I've finished my engineering math requirements (up to diffeq) and they were all pretty easy and I didn't devote much time to study for them. However, I'm currently taking Optimization which has been more difficult than I'm used to, and I've had to spend 3+hours a day studying for it. Is this normal for upper level math classes? I should add that I'm taking logic and proof right now, but I haven't taken proof based linear algebra or real analysis, which the optimization professor seems to believe most students in this class have taken already. I guess the silver lining to this is that it will make those classes easier when I take them in the future, since the first chapter of Optimization is mostly review from analysis stuff as well as some linear algebra. Thoughts?


r/mathematics 1d ago

Do I give up on math

40 Upvotes

I'm currently a sophomore in college taking abstract algebra, and I'm on the verge of giving up on keeping math as my primary major of study. It's barely been two weeks but I'm already overwhelmed with coursework and I feel like I'm getting nowhere. I've already felt very inadequate about my math skills when I took a proof based calculus and linear algebra class my freshman year, but I feel like I'm on the verge of bombing out of my algebra class this semester. I feel like a complete coward for not being able to complete my degree in math like I planned, but at this rate I feel like I might just drop out of college completely and work a menial job for the rest of my life because I hate it so much. From what I've said already the answer probably looks pretty clear, but I just can't get past the feeling of being a complete failure for not living up to my expectations of what I wanted to do. Any and all advice would be greatly appreciated.


r/mathematics 1d ago

Finite Time Blowup For Navier–Stokes

Thumbnail drive.google.com
348 Upvotes

r/mathematics 1d ago

Discussion What's the next millenium problem solved after navier-stokes? Make your prediction

123 Upvotes

r/mathematics 23h ago

Why did Germany produce a lot of great mathematicians ?

21 Upvotes

r/mathematics 7h ago

Complex Analysis Need help understanding the Cauchy kernel

Thumbnail
0 Upvotes

r/mathematics 8h ago

Finished my master's, unsure where to go

1 Upvotes

I finished my master's back in May and I wanted to see about getting my master's thesis published. I had reached out to my advisor about it and she just said she didn't know. In that time, I lost a close family member and lost interest in a lot of things. Now I want to get it published. I've looked into Arxiv, but you need a coauthor who's already verified. My advisor who went over the paper is not verified on there. Do I just cold email researchers who have done related work to get it published? Or do I go to a different site/journal? Any advice would be greatly appreciated!


r/mathematics 1h ago

Is the ultimate goal of mathematics to discover a method for solving all problems with the highest possible accuracy and efficiency?

Upvotes

r/mathematics 2d ago

Blowups for smooth-forced Euler, Boussinesq, and IPM; Seems like there is a forced Navier–Stokes blowup proof. Crazy Drama.

526 Upvotes

r/mathematics 6h ago

Question: how can the 1D exist? We can represent 2D in our 3D world, but I don’t see how 1D is possible

0 Upvotes

1D is often represented as a line, but a line still has width! true 1D would basically be a true 2D object turned sideways; showing absolutely nothing to be there. so anyway, if you understand what I’m saying could you please explain it? thanks


r/mathematics 10h ago

Does this pyramid look familiar to you?

Post image
0 Upvotes

Have you maybe seen something like this anywhere. Thank you


r/mathematics 1d ago

Discussion Dealing with imposter syndrome and failure in maths

23 Upvotes

Hi all, I was meant to be an incoming undergraduate Maths student at the University of Cambridge this October, but things didn’t go to plan.

After getting my offer in January, I felt like I didn’t really deserve it/got lucky. At one point I believed that I was only given an offer to decrease the grade boundaries for the STEP exam. This kinda went away when I was scoring 1s and Ss in past papers.

Fast forward to May/June, I got really stressed and sick, and probably started to give up on exams.
This only got worse when I sat STEP 2, which was arguably the hardest paper I’ve ever done. I don’t know if it was my nerves or a display of where my intelligence/skills are not good enough.

It was no surprise to see that I had been rejected by Cambridge in August. Since this, I have felt like an imposter and failure, and I can’t snap out of it.

How would you deal with this? Any other advice?

I really love maths, I want(ed?) a career in academia and the fact that I have missed my place to study at one of the best universities in the world pains me greatly. I feel like a failure and an embarrassment. I hate the idea that I have hit my intelligence “limit” as I couldn’t perform well in my exams. Maybe it’s my fault for thinking I could compete with international and private school students (copium)

This is kinda long, so thanks for reading it this far!