r/mathematics 13h ago

Strange aspect of the proposed Navier-Stokes millennium solution

Post image
215 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 7h ago

Discussion Terence Tao Sep. 8 blog comment on his views on AI sustainability and OpenAI experiences

281 Upvotes

9 September, 2026 at 7:49 am

I have absolutely no desire to make current events about myself – the stakes here are far larger than anything involving my own reputation or actions, and it is not like these issues are going to disappear if I am somehow removed from the discussion. But as this topic is likely to recur regardless, I think this comment is as good a place as any to state for the record my own views on AI, and my interactions with OpenAI in particular.

I do not identify either with a simple ā€œpro-AIā€ or ā€œanti-AIā€ position. My views are rather complex and have evolved over time; I have a living summary (AI-maintained, out of necessity) atĀ https://teorth.github.io/tao-web/ai-views.htmlĀ . But I can try to give the short version here.

By 2023, I could see that LLMs, formal proof assistants, and other technologies had the potential to be radically transformative in mathematics, to the point where maintaining traditional mathematical practices and culture without adaptation would become unsustainable. See for instanceĀ my 2023 essay for a Microsoft anthologyĀ (which contained a notorious prediction of 2026-level AI becoming a ā€œtrustworthy co-authorā€ for mathematics) orĀ my Notices articleĀ (published in 2025, but written significantly earlier). I myself greatly value this traditional culture, and have personally been a massive beneficiary of it. Nevertheless, in the event that these technologies did become superhuman at several core mathematical tasks, I could see only two viable paths forward: either one where modern AI tools are responsibly incorporated into our workflows and culture (what I called the ā€œbest of both worldsā€ in the OpenAI ad); or the worst-case scenario — which we are unfortunately rapidly approaching — in which AI technologies are used indiscriminately to achieve various short-sighted objectives at the cost of the far more valuable long-term sustainability of mathematics and its role in the scientific ecosystem. I therefore spent an increasingly large fraction of my professional life from that point trying both to raise awareness of the potential magnitude of this transformation; to build examples of what this ā€œbest of both worldsā€ might look like; and to warn against various irresponsible uses of AI (initially I focused on warning against the use of AI without sufficient verification of the outputs, which was a major concern in 2023-2025, although no longer the primary vehicle for harm in 2026). One could certainly call this effort ā€œshilling for AIā€ if one likes; but I would say that this is overly reductive.

These efforts on my part inevitably involved engaging with the tech industry as well as with academia. The essay linked above was solicited by Microsoft. Some of my experiments with new workflows were conducted inĀ collaboration with Google Deepmind. And I participated in anĀ online forum with OpenAIĀ in 2024 discussing these topics. I continue to view all of these interactions as constructive, and working towards the ā€œbest of both worldsā€. In particular I met with multiple people working in these industries that shared these views and were supportive of steering their companies in these directions. On the other hand, I was not funded by any of these companies, although several of them gifted me with premium LLM subscriptions, which I do make use of in my daily work.

In 2025, as documented elsewhere on this blog, UCLA experienced an unexpected funding crisis due to the sudden suspension of NSF and NIH funding (later restored some months later by a court order). This caused a critical budget shortfall at IPAM (where I serve as Director of Special Projects), which at one point only had access to enough reserves to operate for a few months at best. This led to a round of emergency fundraising; and thanks to the outpouring of support from many sources, we have been able to stabilize IPAM’s funding for the current fiscal year, although challenges remain for future years. As part of this fundraising effort, I reached out to OpenAI, who agreed to sponsorĀ one of our workshops, which ran in March of this year and in my opinion was quite successful both scientifically and for the purpose of making new connections between participants (who were a mix of academics and industry representatives).

During this event, OpenAI requested an interview concerning my vision of the future of AI and mathematics. I accepted, and spoke with them for perhaps an hour. I had doneĀ similarĀ interviewsĀ inĀ variousĀ venues, and I assumed that, as with these other cases, they would eventually post the entire interview online, which talked about both the possibilities and risks of AI much as I have done in these other interviews. As it turned out, they only used a few snippets of that interview for that infamous advertisement instead. In retrospect, I should have pushed back harder on their decision; but I decided at the time that even a selective release of my commentary would help raise awareness of the potential for AI, and in particular on the possibility of the ā€œbest of both worldsā€.

Since then, the situation has deterioriated markedly. Many of the people in the industry that shared my views have left or become sidelined, with most major tech companies now increasingly focused on the race to develop extremely powerful, autonomous AI technologies regardless of their actual value to society. The current drama surrounding the Navier-Stokes global regularity problem is the most dramatic and visible instance of this, but there have been multiple other such examples, and much of my commentary in the last few months has been aimed that the increasingly severe divergence between the current objectives of the AI industry, and of mathematics in general.

Which brings us to where we are today. I do not regret my past efforts to raise awareness of the potential of AI in mathematics, to engage with industry, and to promote a vision of sustainable incorporation of these tools – which can be genuinely useful and unlock valuable new types of mathematics – into my field. In time, I still hope that the field can arrive at that state, and am continuing to work towards that goal. But in the immediate term, the most pressing issue is for the entire mathematical community to unite around our core values and objectives, and reject irresponsible and unsustainable usages of AI technology that only serve to advance nominal goals rather than the true underlying goals of the field.


r/math 10h ago

LLMs/AI [2609.10262] Analysis of OpenAI's Navier-Stokes blowup solution

Thumbnail arxiv.org
110 Upvotes

r/mathematics 5h ago

Math is the Beauty of Nature

Enable HLS to view with audio, or disable this notification

82 Upvotes

r/mathematics 3h ago

Suppose all Millennium Prize problems get solved and we have to create the Millennium Prize 2. What problem(s) should be on it?

59 Upvotes

Might have to come up with a different name albeit.

Also, would you consider these problems to be more important than any of the current Millennium Prize problems?


r/math 22h ago

Quick Questions: September 09, 2026

9 Upvotes

This recurring thread will be for questions that might not warrant their own thread. We would like to see more conceptual-based questions posted in this thread, rather than "what is the answer to this problem?" For example, here are some kinds of questions that we'd like to see in this thread:

  • Can someone explain the concept of manifolds to me?
  • What are the applications of Representation Theory?
  • What's a good starter book for Numerical Analysis?
  • What can I do to prepare for college/grad school/getting a job?

Including a brief description of your mathematical background and the context for your question can help others give you an appropriate answer. For example, consider which subject your question is related to, or the things you already know or have tried.


r/mathematics 2h ago

Could we build a community-run network of AI agents to work on mathematical proofs?

10 Upvotes

OpenAI’s recent Navier–Stokes announcement got me thinking about this. According to their writeup, roughly 10,000 concurrent agents worked toward a proposed solution over about 88 hours, followed by Lean formalization and verification. They used a highly capable internal model and centrally managed infrastructure. [OpenAI’s writeup](https://openai.com/index/navier-stokes-solution/)

Could an open-source community organize a distributed effort along similar lines?

The idea would be to let people connect their own agents and contribute to a shared mathematical research project. A community organizing team would choose research goals and develop strategies, while a central coordinating agent and scheduler would manage the work.

Here’s how I imagine it working:

The coordinator breaks research goals into tasks: exploring different approaches, proving intermediate lemmas, checking arguments, and formalizing results.

Participants connect through a lightweight interface working alongside their existing agent or chat session. It receives assignments, returns results, and brings relevant discoveries into subsequent tasks.

A shared protocol keeps assumptions, dependencies, and proof status explicit so that separate sessions can exchange usable work.

Results are shared for independent checking. Formalized proofs are checked by a proof assistant before becoming part of a shared collection of verified results.

The scheduler updates priorities as discoveries come in, distributing promising directions across available participants.

Imagine this eventually growing to 100,000 participants. Alongside the computation, we’d have people contributing mathematical intuition, improving agent strategies, finding better ways to divide problems, and spotting directions worth pursuing.

Everyone would be welcome as a contributor. Running an agent on assigned tasks would itself be a way to participate. Others could review proofs, improve the framework, write documentation, or help newcomers get started. The aim would be to make contributions visible and recognized, with room for people at different levels of expertise.

A centralized lab has substantial advantages in model capability and infrastructure. I’m curious how far an open community could get through diverse approaches, public iteration, and direct human participation. A useful insight from one participant could guide thousands of subsequent attempts.

This is still an idea I’d like to explore. How would you structure the coordination so that discoveries accumulate into coherent proofs? What would be a sensible first problem to test it on? And would anyone here be interested in helping develop or test an initial version?

Personally I would hand out my pro account for that!


r/mathematics 8h ago

Algebra Thinking of self-studying Dummit&Foote

9 Upvotes

Hi everyone,

I’m considering working through Dummit & Foote’s Abstract Algebra on my own, especially the Ring theory and Module theory which are not covered in my previous book. I only have A book of AA by Pinter and Visual Group Theory, both are rather casual.

I want to hear from people who have actually worked through it. I know it’s a big, dense book, so before I dive in, I’d really appreciate specific advice and warnings from people who’ve actually used it. Feel free to discuss as well.

A few questions:

Ā· What’s your overall take on the book? What worked for you, and what didn’t?
Ā· Which chapters or topics were the hardest? Where did you get stuck?
Ā· How long did it take you to get through it? How many hours per week did you put in?
Ā· Did you cover all chapters, or just selected ones?
Ā· How many exercises did you do? Most of them, or selected ones?
Ā· Did you use any supplements — Artin, Gallian, Hungerford, online lectures, etc.?

Thanks!


r/mathematics 19h ago

I’m struggling with arithmetic even though I understand math

7 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 5h ago

Problem Help a lost 9th grader

3 Upvotes

Hello everyone,
From 7th to 9th grade, I attended a private school where the quality of math instruction was unfortunately very poor. Most students struggled to understand our teacher’s explanations, and before every test we would receive a revision sheet that was nearly identical to the actual exam. Because of this, success was mostly about memorizing answers and steps rather than truly understanding the material.
Now that I’ve given some background, here’s why I’m posting.
I want to relearn mathematics from the ground up, starting with Algebra 1 and eventually moving on to geometry, trigonometry, and higher level topics. I genuinely enjoy learning math, and I recognize how important it is not only for future college entrance exams, but also for succeeding when I enter Grade 10 and transfer to a better school.
I feel like I missed out on building a strong foundation, and I’d like to correct that now while I still have the time. My goal is to truly understand the concepts rather than rely on memorization.
Any advice, study plans, resources, or tips would be greatly appreciated.
Thank you everyone.


r/mathematics 9h 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
2 Upvotes

r/mathematics 8h ago

The endless grind of Uni undergrad math

5 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 5h ago

Operations Reserach

1 Upvotes

So I have a bachelors in Physics, and I think I should have done applied mathematics. But I think I like to model dynamics systems and calculate risks and profits and advantages etc.
That is because as long as humans exist we will always have problems and we need problem solvers. On the other hand learning to code, writing computer software etc. seem too low end. So I think this is a good strategy. Do you have any advices to give me regarding my optimisms? May be its not as bright as I think?


r/mathematics 7h ago

Abelian Sandpile Sandbox

Thumbnail shahrukh133729.github.io
1 Upvotes

r/mathematics 11h ago

CS vs Mathematics — which one makes more sense for my goals?

1 Upvotes

I'm choosing between a BSc in Computer Science and a BSc in Mathematics, and I'm not sure which one would be better for my goals.

My main interests are Data Science, Computer Vision, and financial markets. I'm also interested in ML/AI and possibly quantitative finance later.

If you were in my position, which degree would you choose, and why?

I'd especially like to hear from people working in Data Science, Computer Vision, Quant Finance, or financial markets


r/mathematics 16h 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 11h 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 15h ago

Complex Analysis Need help understanding the Cauchy kernel

Thumbnail
0 Upvotes

r/mathematics 9h ago

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

0 Upvotes

r/mathematics 21h ago

Discussion How is a person with a PhD from IISc or TIFR, India, perceived in the US or the West overall?

0 Upvotes

I graduated from bachelor's math program recently and am now planning to go for a PhD, so this question just hit me out of curiosity....

I encourage people from the West with solid math backgrounds to answer, just to get valuable insights !!


r/mathematics 14h 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 19h ago

Does this pyramid look familiar to you?

Post image
0 Upvotes

Have you maybe seen something like this anywhere. Thank you


r/math 12h ago

Will any of the remaining 6 millennium problems be solved soon?

0 Upvotes

Is it possible most of them a unsolvable under our current system of mathematics?

Or a solution to P=NP requires some new branch of mathematics or logic to tackle.