r/mathematics • u/Sarcova • 8h ago
r/mathematics • u/princeendo • 25d ago
AI Speculation Megathread — October 2026
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 • u/princeendo • Sep 01 '26
AI Breakthroughs & Research Megathread — September 2026
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 • u/LutyForLiberty • 18h ago
Computer Science Vladimir Reshetnikov has proven that BB(215) is independent of ZFC set theory.
github.comr/mathematics • u/ol776 • 1h ago
Discussion How do you deal with being a mediocre mathematician?
These last two years in my BSc program have been trying for me. I just did a Measure Theory midterm today, and I feel defeated.
There’s nothing that I love more than doing math. It has become a great part of my life and I cannot imagine my life doing something other than math.
That said, I’m starting to think I’m not as good as I thought I was. I’m not a fast thinker. I’m a slow, methodical thinker that has to have a grasp on every small detail to make sense of the whole situation. I can’t quickly come up with original counterexamples and get working with new definitions in a 2 hour test.
As I got to advanced courses, I started getting worse grades. I don’t feel like I’m a bad student. I get some A(+)’s, mostly B’s, and occasional C’s. The more advanced the courses, the more effort, time and stress I have to put up. I got to really dread upcoming tests.
I love when I get to work through a textbook myself and when doing my own personal research, but I dislike having the pressure of a course workload and the dread of the tests I have to take. It takes a toll on me.
For this Measure Theory course, we have a main textbook and a secondary one. I worked through almost all the exercises of the main textbook, but I didn’t do many exercises from the secondary one.
The midterm consisted almost entirely of exercises from the second textbook. I feel like I put more a lot of effort just to get a lowly D.
Now, while I love math, I don’t want to have my whole day to day be consumed in math. I know the answer is to put more effort in, but I struggle justifying disrupting my current study-life balance.
I want to pursue a PhD in math, but part of me thinks: “If I’m struggling this much at the BSc level, will I even make it to the PhD?”.
Now, as everything in life, there are people who are very good at what they do and some that are not so good.
Do you consider yourself to be a “mediocre” mathematician? How do you deal with higher level math? How do you reconcile being “mediocre” with your self-worth? Are there any “mediocre” mathematicians doing well on their MSc/PhD here?
Is the answer just to put more effort in? I’d like some advice, if possible. Thanks.
r/mathematics • u/atychia • 5h ago
What am I lacking?
This might be a little personal, but it’s still related to maths.
I honestly don’t feel like I’m fit to be a math major. For starters, I struggle to form a train of thought when solving math problems. It’s like my brain refuses to focus on problem, and I just end up staring at it. If it’s not immediately obvious, then the chances of me coming up with a solution are dim.
This happened today in class. We were learning about double integrals, and we got to a problem involving trigonometry. I sat there and tried solving the problem, before I did something wrong. I didn’t know what exactly I did wrong, but I just knew something wasn’t right. I tried scanning the problem for any mistakes, but I couldn’t form any type of thought process on the problem. I eventually gave up and waited until my professor solved it.
I also have pretty crappy memory, which is unfortunate because I relied on memory for the entirety of precalculus - calculus 3. I often times forget very elementary things. For example, when were doing double integrals, we got to a problem with exponents. It was like I forgot that e^r + 2s can be separated into e^r • e^2s. I also still don’t remember the cosine and sine of basic trigonometry angles. I still keep a formula sheet for that.
Another example pertains to my exam. I spent all of yesterday cramming, and a part of this morning as well, just to open up the practice test, and forget how to solve the first question. I had to look at the example and got it immediately. So now I’m going through the entire test of 37 questions, and will probably have to relearn everything.
Stuff like this is so demoralizing. I wanted to major in pure mathematics because I thought I liked it and it was the only thing I’m semi good at. Is there just a problem in my thought process or is it something else?
I also have ADHD (I am medicated, but it’s a really low dose because I just started it.), but I’m sure many people with ADHD (and more) still do amazing in math.
r/mathematics • u/xKanes • 13h ago
Analysis About the use of notation in Tao's Analysis I
I'm at chapter 7 of the book, in which Tao introduces the notion of series, I'll introduce 2 definitions below (as context) before getting to the problem.
First, Tao defines a finite series on a sequence as follows: (See [1] in the attached image)
And then he defines summations on a finite set X and a function f: X -> R as such: (See [2] in the attached image)
[It's also proven later that this definition is well-defined and gives off the same value for every bijective g]
So far so good, the problem is that on a lemma, he claims the following: (See [3] in the attached image)
I get the maths Tao is trying to convey, but shouldn't the left hand side of the equation be syntactically invalid? Regarding the inner sum, y in Y isn't a valid input for the function f(x,y) as it isn't an ordered pair (x,y).
I think a way to resolve this would be to define double-summation on a function through another 'intermediary' function (f_x)(y) (See [4] in the attached image)
and then we can proceed with proving the proposition by using the original definition of summations on a finite set.
Edit: Also the x subscript in f_x is (meant to be) purely notational, it has nothing to do with the actual input x. Note also that [3] is not a definition, it's presented as a lemma (so the fact that the LHS is syntactically invalid does matter here) and that the image above is not Tao's book, I only wrote the necessary definitions and the lemma (that I have a problem with) down for the sake of discussion.
r/mathematics • u/-Agrisk- • 7h ago
Topology What is the genus of two pairs of pants sewn together at their leg openings?
In topology, a pair of pants is a surface with three boundary components: one waist opening and two leg openings.
Suppose we take two identical pairs of pants and sew them together by matching the two leg openings of the first pair with the corresponding two leg openings of the second pair. The two waist openings remain unsewn.
What is the genus of the resulting surface? Is it a torus with two boundary components (genus 1), or am I misunderstanding how the sewing affects the topology?
I’m particularly confused about whether the large opening in the middle, formed by joining the leg openings, counts as an additional hole.
r/mathematics • u/Hour_Lunch_7270 • 13h ago
Geometry On a unit grid, is it possible draw a square with area 3 units? (no measurement)
r/mathematics • u/Ecstatic-Traffic-118 • 9h ago
Probability I feel like I am doing everything backwards
Hello all, I just started my MSc in statistics, after a background in Economics where I desperately tried to bridge the gap through self study. In my thesis I had the chance to read some chapters in Optimal Transport and manifold theory. It was really a great opportunity but still my understanding was very limited cause I have never done even an analysis course (just basic calculus and linalg, and measure theory which I struggled with during the proofs and exercises).
Now I decided for first semester to follow mathematical statistics and probability theory, cause I really really wanted to follow maths-theoretical modules and also have the right foundation for further courses. I thought that taking only these two courses would be beneficial because I'd have more time to study them deeply, but I feel like I am just taking the wrong choices: I am so slow at understanding how to do the Prob theory exercises because I feel like they use analysis tools stuff which I am not familiar with, and also I am 'familiar' with the measure theoretical tools but I keep going back to re read stuff like continuity of measures, or the fubini theorem which I didn't even know the existence of. So yeah maybe not the brightest choice, I was thinking of going through abbott's understanding analysis WHILE taking these two courses but still it feels like I am so behind in terms of mathematical knowledge.
So my question is basically if maths should always be studied in a linear order, or if some things can be done while also taking more difficult courses; I understand that it makes sense to build knowledge starting from basic stuff like analysis and only after build up on it, or e.g. take probability theory only after having studied measure theory, but is it sometimes somehow possibile to learn some things backwards or in parallel with the courses that actually require them? I mean like taking a course we don't have the background of, like prob theory, and learn the analysis tools used in the proofs and exercises from it? Or is it just more correct to give up and take certain courses only after making sure that we have the prerequisites?
r/mathematics • u/CelebrityChess • 14h ago
why does the sum of 1/n^2 come out to pi^2/6, where does a pi even come from
i know the basel problem proof with the sin(x)/x product but it feels like magic that a circle constant shows up in a sum of integers. is there a more intuitive reason or is it just that sin has those zeros at multiples of pi
r/mathematics • u/LutyForLiberty • 1d ago
Computer Science The lower bound on BB(7), the maximum halting time for a 7 state Turing machine, has raised to 3 (20 arrows) 3 steps.
wiki.bbchallenge.orgr/mathematics • u/analyticheir • 20h ago
Artificial Intelligence Postmortem for the Kernel Soundness Bug Hunt
leodemoura.github.ior/mathematics • u/Shazam_0610 • 13h ago
What we should really do if we want to pursue carrier as mathematician??
r/mathematics • u/Automatic_Glove_5381 • 13h ago
Real Analysis pls help me out with my math research essay by filling out this anonymous form
r/mathematics • u/Any_Country257 • 7h ago
Exploring Wave Packets on the Riemann Sphere — A Preliminary Research Idea (Feedback Welcome!)
Hi everyone!
The general idea is to investigate whether wave packet constructions can be adapted to the geometry of a sphere, potentially connecting spherical harmonics, discrete angular modes, Fourier methods, and complex coordinates.
At the moment, I'm exploring how a discrete spectrum might affect the structure of a wave packet and how its angular localization could be described. I'm also interested in the possible role of stereographic projection and Möbius transformations in representing these states.
This is only an early draft of an idea, not a finished theory or a claim of an original result. I'm still studying the mathematical foundations and figuring out which parts of the approach are meaningful and mathematically consistent.
I'd really appreciate recommendations for books, papers, or related research that I should look into. If anyone has suggestions, sees a fundamental issue with the approach, or would like to discuss or contribute to the project, I'd be happy to hear from you.
Thanks for reading!
r/mathematics • u/Arthur-Morgan-6636 • 1d ago
Recent math grads, what are you working in now?
I'm debating studying applied math at my university, but I'm worried about not finding work. So I'm curious if any people who recently graduated have been able to find employment.
Edit: Having graduated in the last five years.
r/mathematics • u/Then_Mix20 • 1d ago
Where and how to study higher order ordinary linear differential equations and partial differential equations.
My engineering course requires to study the above mentioned topics. The books they recommend in college only tells me how to solve a problem and not how that method works. I need books that can clearly explain all the methods involved in the aforementioned topics. I would also appreciate some tips to study engineering mathematics in general.
r/mathematics • u/Massena • 20h ago
What's Math Anyway?
I think the last few weeks have raised some important questions on what Mathematics is, and what it's for, that might be raised about a lot of other fields in the future, so I wrote about it!
r/mathematics • u/General_Revenue5978 • 8h ago
Number Theory There's a huge difference expressing odd numbers as 2k + 1 and 2k - 1
I was solving a nice NT problem while trying to generate a formula from scratch and solve it... i spent 40 mins solving it and I just realized I have generated the wrong formula...
r/mathematics • u/asakitsi • 1d ago
Undergrad students who have done research: How, and in what area?
Hi all, I'm currently an undergraduate student studying applied math, and I'd like to conduct research but I'm struggling to figure out how, and in what areas. Actual math research itself seems to be really hard to conduct for undergraduates because unlike other fields, there's no "busy work" for you to do. Would research in computer science, computational mathematics, or applied mathematics generally be more accessible for undergraduates?
I'd love to hear from other undergraduates who have conducted research: How did you find your research opportunities, what area did you work in, and what did your experience look like? Thanks!