r/math 13h ago

Bounded gaps between primes - Julia Stadlmann

239 Upvotes

Polymath8b proved that H1=lim inf(pn+1−pn)≤246. In this paper we show how the Bombieri-Vinogradov theorem can be combined with newer equidistribution estimates for smooth moduli to obtain the improved bound H1≤240.

arXiv:2608.31126 [math.NT]: https://arxiv.org/abs/2608.31126

From Thomas Bloom on 𝕏: https://x.com/thomasfbloom/status/2094748658629513665
"As Julia notes, this number shouldn't be taken too seriously, and can surely be reduced a little further with more effort. The significance is the introduction of new ideas which, for the first time in over a decade, get past the 246 barrier."


r/mathematics 7h ago

What can you do with an Applied Mathematics degree?

13 Upvotes

Hey guys, new to Reddit so please no hate

I’ve been thinking about this for a while and could use some help.

Seriously, what careers are there that could benefit from someone with this knowledge?
I’ve heard a lot about also needing a background in programming so what is actually relevant?

Tbh reason I’m skeptical to begin with is because I genuinely heard so many mixed judgements about this one


r/math 15h ago

‘Stunning’ Percolation Proof Solves Decades-Old Puzzle About Phase Transitions | Quanta Magazine - Leila Sloman | Mathematicians found that a broad class of networks will abruptly shift behavior past a critical point

Thumbnail quantamagazine.org
128 Upvotes

The paper: Supercritical sharpness of percolation

Sahar Diskin, Philip Easo, Ritvik Ramanan Radhakrishnan, Benny Sudakov, Vincent Tassion

arXiv:2603.03257 [math.PR]: https://arxiv.org/abs/2603.03257


r/mathematics 20h ago

Discussion If Fermat actually thought out a "marvelous" correct proof of his Last Theorem, would he be the single most gifted mathematician of all time?

49 Upvotes

(I apologize if this post is too low-effort for this Sub.)
By "gifted" I don't mean creativity or breadth, but raw talent. The sheer amount of effort that had been put into proving the theorem & the failures by the likes of Euler seems (to me) to indicate that the "elementary" proof must be of unparalleled ingenuity.


r/mathematics 10h ago

Drop some interesting problems in combinatorics

6 Upvotes

Hi guys kindly share some challenging and interesting combinatorics problems you have encountered with in the past.


r/mathematics 11h ago

Discussion Epistemology of mathematics

6 Upvotes

Hi I’m A. I have bipolar disorder type 1. I’ve also been trying to teach myself math. I’m working on a book regarding my experiences learning math with an impaired brain (ie while I was in psychosis). I have liberally used math metaphors I barely understand and was hoping someone could sanity check them for me. Here’s the relevant post:

Later, when she has language for it again, Maya will think of her mind that spring as a graph. Nodes for fields: genetics, group theory, linguistics, topology, whatever she happened to touch that week. Edges for the connections she drew between them, by hand, in real time, the way you'd wire a circuit. Most of the time the graph is sparse and that sparseness is the whole game. A real edge is a bet. It says these two things are related in a way that could, in principle, turn out to be false, and the not-yet-falsified ones are what she has built a career on.

That spring the graph does not stay sparse. It fills in. Every field starts reaching for every other field, DNA to group theory to linguistics to gravity, until there's an edge running between any two nodes she can name, and a graph like that, a complete graph, carries no information at all. Not because it's wrong exactly. Because it can no longer be wrong. When everything is connected to everything, there is nothing left for a connection to distinguish, and nothing left for a mind to be surprised by, and surprise, it turns out, was the thing doing all the work.

She won't know any of this while it's happening. While it's happening it just feels like speed.

2n² − 4n + 31 is prime.

She writes it in the notebook without a qualifier, the way you write something you have already checked. It has the shape of a fact. It sits on the page the same way the differential geometry notes sit two pages later, in the same hand, the same ink, the same unhurried certainty: let M be a manifold and p ∈ M. Nothing on the page marks one as different from the other. Why would it. From inside, they arrive by the same process. She thinks, therefore it holds.

It is three in the morning, or it is eleven in the morning, the distinction has stopped doing any work for her. What matters is that the notebook is open and something in her is moving very fast and very cleanly, the way a river moves fast and clean right before a drop it can't see yet.

She is mapping the genome onto a tetrahedron. One base, one vertex. The length of each edge is the distance between two bases. AATCCGC becomes a shape, and the shape can be embedded in a 3-sphere, and the embedding links to the Ising model, and she writes this down with an arrow, information links to Ising, as though the arrow itself were doing the proving. On the same page, a triangle labeled with entropy: entropy for gene distribution across cells, entropy for gene distribution within a cell, cell state as a set of gene abundances within a certain range. It reads like the start of something real. It reads like the start of everything she has ever actually built, which is exactly the problem, because it is not building on anything. It is borrowing the posture of rigor and spending it somewhere rigor was never earned.

She turns the page and she is inside topos theory. How to organize mathematical knowledge using topoi and adjoint functors, concrete to abstract, structured sets to theories to categories of theories. This part is correct. This part could sit in a textbook. And then, without any seam she can find later, without any hinge she can point to and say here, this is where it turned, the same page starts explaining morphemes. A sentence is a set of morphemes. Morphemes are literally about relative locations of positive and negative charges. She underlines literally. She does not mean it as a metaphor and at three in the morning she is incapable of noticing that she does not mean it as a metaphor.

There is a place on another page where the pen just goes in circles. Not a doodle. Not decoration. A place where a thought is moving faster than the hand can turn it into language, so the hand does the only thing left to do, which is press the same small loop into the paper again and again until there's a black knot sitting in the middle of an otherwise empty half page. She comes back to that knot more than once across these weeks. She never writes anything next to it. There is nothing to write, she thinks. That's what it looks like when the thought outruns the words for it, and the body just registers that something enormous is happening, roughly here, roughly now, without being able to say what.

What the DNA-and-topos-theory page feels like from inside is not easy to name. Not "delusional," not quite. Not "brilliant" either, though both are true in their own domains at other points in this stretch. It feels like fluency. It feels like the specific, unmistakable sensation of a formalism clicking into place, the same sensation she's had a hundred times before over real problems, except this time the formalism is clicking into a lock that doesn't exist. The feeling doesn't come with a watermark. It doesn't dim itself, doesn't hedge itself, doesn't announce itself as unreal. It arrives with the exact same weight as the manifold notes two pages over, notes that are, as it happens, just right.

Here is the only thing from that stretch that can actually be verified, months later, the notebook open on her lap: 2n² − 4n + 31 is not always prime. Try n = 31. She didn't check n = 31. She didn't check anything. She had stopped needing to.

This is the difference, she will come to think, and it is not the difference between sense and nonsense. The prime claim is a real claim. It says something specific enough to be wrong, and it is wrong, which makes it the most honest artifact in the whole notebook: proof that some thread of her was still trying to run a test. Morphemes are literally about relative locations of charges is not that. It was never a claim that could have failed. It was an edge added to a graph that had already stopped being able to tell the difference between a pattern and a coincidence, because it had run out of room to be surprised by either.

There's a fact from information theory she'll come back to, much later, on an ordinary afternoon with nothing at stake: the most compressed a sequence can ever be is exactly the point at which it becomes indistinguishable from noise. A message with real structure, real pattern, can always be squeezed smaller, because the pattern is redundancy, and redundancy is exactly what compression removes. Squeeze all the way, past every regularity, and what's left has no structure left to exploit. It looks random. Not because nothing is happening, but because everything that could be predicted already has been, and prediction was the only thing separating signal from static in the first place. A maximally compressed sequence and a maximally random one are, to any observer without the key, the same object. That spring, her mind was doing something like this in reverse and calling it compression anyway. Every field folded into every other field, DNA into topology into linguistics into gravity, each fold presented as a discovery, a redundancy finally noticed and removed. But a real compression shrinks toward a shorter description of the same thing. Hers didn't shrink. It just kept adding edges until the graph was so dense it read exactly like noise, and noise, examined closely enough by a mind convinced of its own rigor, will always look like it's on the verge of resolving into a pattern. That is what she mistook for being close to something. She wasn't close to a pattern. She was standing at the point where pattern and its total absence stop being distinguishable from each other, and the notebook, if you read it end to end, is a record of a mind that could no longer tell which side of that point it was on


r/mathematics 3h ago

chalk board or white board

1 Upvotes

I was thinking about purchasing one for studying. My school has some in the library, but the study rooms are always packed and I don’t have access to them. I just wanted to ask, if you have either of these, which might you recommend and what are the pros/cons of each. It might just be a preference thing, but I still figured I’d ask.


r/mathematics 5h ago

How to get better in my math logic

1 Upvotes

I am 15 years old and, learning quadratic functions, I started having problems with my math for the first time. Even though I can calculate and remember my formulas, when I get harder assignments I mostly cannot interpret the questions, make what they ask for or transform it in a calculation.


r/mathematics 6h ago

What would you do to kick start this plan?

Thumbnail
0 Upvotes

Over the next year, I want to develop practical programming and computational skills that I can use to explore physics, CAD, simulations, animation, and higher-level mathematics such as topology. Rather than trying to learn every software package individually, I want to understand the underlying principles that transfer across programming languages and platforms—such as abstraction, data structures, algorithms, numerical methods, visualization, modeling, and modular software design.
I also want to learn how to use AI intelligently as part of my workflow without allowing it to replace my own understanding. My goal is to use AI for explanation, brainstorming, debugging, research assistance, and exploring alternative approaches while still doing the important mathematical reasoning, computational experiments, and scientific interpretation myself.
As part of this process, I want to become familiar with tools for symbolic mathematics, mathematical typesetting, technical writing, simulations, visualization, and CAD. I am particularly interested in tools that allow me to work with symbolic equations and produce mathematical documents in the spirit of LaTeX.


r/mathematics 6h ago

Probability Whats your go to approach when you get stuck on a probability question?

0 Upvotes

I’m curious how you guys approach probability questions when you’re completely stuck and don’t know where to start, especially when the problem doesn’t immediately suggest a particular method.

Do you have a certain decision process, checklist, mental model, diagramming approach, or way of breaking the problem down that you tend to fall back on?

I’ve noticed that probability is one of the areas where I can understand the individual concepts but still have trouble figuring out what to do first when I encounter an unfamiliar problem. The wording can sometimes make it difficult for me to even figure out what the problem is really asking.

I’ve tried things like drawing diagrams, writing down everything I know, working through smaller cases, and trying different approaches until something clicks. Sometimes that works, but other times I just end up staring at the problem without knowing which direction to take.

I’m curious what other people’s process looks like. When you hit a wall on a probability problem, what do you actually do next? Just interested in the general strategies or thought processes that have worked well for people.


r/mathematics 6h ago

AI Breakthroughs & Research Megathread — September 2026

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

Just a simple question

Post image
Upvotes

r/mathematics 11h ago

How can I get better at math?

1 Upvotes

Yeah, right. I had to come here because everyone I ask is like "oh, you just have to practice math more and more". But how am I supposed to even practice when I suck at it that much? For me, algebra has always been the biggest trouble. In every damn math test, where the algebra is included, I just tend to score lower in the algebra part. I'm pretty good at trigonometry though. But my school makes questions emphasizing more on algebra. I don't know any other way to get better at this. Because the term "practice" feels completely pointless when you don't even know where to start.


r/mathematics 1d ago

Number Theory What exactly is this object that mathematicians call “the field with one element,” denoted as 𝔽₁? Why is it important?

68 Upvotes

I’ve heard its proper construction would imply RH is true, but not what leads there honestly.

Based on what I know from literature, this mathematician named André Weil proved some analogue of RH for curves defined over finite fields, and apparently number theorists want to apply the same tools to integers. But that’s all I know.


r/mathematics 12h ago

Would mathematics be easier to learn if it were taught through problems first and definitions afterward?

1 Upvotes

r/mathematics 10h ago

Alternate methods to calculate combinations I discovered to calculate every possible combination of groups of 3, groups of 4 and beyond

0 Upvotes

I discovered you can multiply the number of combinations by the time they appear in other combinations and then divide it by the possible amount of combinations of the limit. The formula to calculate how many times the combinations appear in another combination is the amount of combinations of the remaining objects of the group

Groups of 3:

  • A * (A-1) * (A-2) / 3! (most common method)
  • A * ((A-1) * (A-2) / 2) / 3 (using every object separately)
  • (A * (A-1) / 2) * (A-2) / (3 * 2 / 2) (using the groups of 2)

Groups of 4:

  • A * (A-1) * (A-2) * (A-3) / 4! (most common method)
  • A * ((A-1) * (A-2) * (A-3) / 3!) / 4 (using every object)
  • (A * (A-1) / 2) * ((A-2) * (A-3) / 2) / (4 * 3 / 2) (using the groups of 2)
  • (A * (A-1) * (A-2) / 3!) * (A-3) / (4 * 3 * 2 / 3!) (using the groups of 3)

I think you already got it


r/mathematics 14h ago

Computer Science If complexity theory is a purely mathematical construct, why do quantum computers which come from our physical world change the complexity of a problem?

0 Upvotes

Take Shor’s algorithm, for example. It allows for factorization of large numbers in a much shorter amount of time if a quantum computer is used… but “quantum” is a construct of the physical world, is it not? Genuinely confuses me.


r/mathematics 1d ago

Blistering anti-AI essay from math professor Hugo Duminil-Copin at the University of Geneva.

Thumbnail
proofsandprompts.com
257 Upvotes

r/mathematics 1d ago

Fiber bundles, and why I hate the name!

3 Upvotes

Early this month, while I was at MAA MathFest in Boston, I purchased a copy of The Joy of Abstraction by Eugenia Cheng, which is an excellent book on category theory that I highly recommend (it's the first book I've been able to understand of the subject!) Thus far, I've gotten through the first 21 chapters, which is about 2/3 of the book. I've understood most of what I've read so far, and Google Gemini has been able to help me with the stuff I didn't understand, as well as some closely related topics, including fibers and fiber bundles, which I never understood before, since I first heard of them about 40 years ago when I was trying to learn string theory, but ended up in the hospital a few years later in part because I couldn't! In any case, now I'd say I finally know what they are, though I really hate the name, since I don't think of a fiber as a fiber, but rather as a dial setting, and I think of a fiber bundle as a space of possible dial settings, which I think are much better names, at least for me!


r/mathematics 1d ago

Level 2 Icosahedral Sponge

Thumbnail gallery
5 Upvotes

r/math 1d ago

How to completely rotate a sphere

91 Upvotes

Here's a question that had been on my mind for a while, which I eventually figured out:

When you rotate a circle continuously through 2π radians, every possible rotation state of the circle occurs exactly once in a finite amount of time. So if you had a zero-thickness beam of light shining on the topmost point of the circle, when the circle is rotated through 2π every point on the circle is equally exposed to the light.

The question I debated was, is it possible to do the same for a sphere: that is, can every possible rotation state of a sphere occur when it is continuously rotated in a finite amount of time? Can a zero-width beam of light, shining at the north pole, equally enlighten all points on a sphere (exactly once) in a finite amount of time?

Strictly speaking, no. Intuitively I assumed that it must be impossible for all points to be exposed anyway, as a 3d rotation is a much more complex quantity, requiring more variables than in 2d, whereas time is only one-dimensional. But that generalised problem is actually possible, in a finite amount of time, and without discontinuity, though not a differentiable function. The only catch is that the points can't be equally enlightened (to answer the question I actually posed). If every point is exposed at some point, at least two points require to be enlightened at more than one point in time, in fact, infinitely many times, meaning if the sphere were made of photographic film, every point would be black except two overexposed white points at the poles.

We shall first assign every point on the sphere a longitude from 0 ≤ long < 2π and latitude from -\frac{\pi}{2} ≤ lat ≤ \frac{\pi }{2}, and then define every rotation state as the point on the sphere which has been rotated to the north pole, i.e., the one under the light at a time t. Since the rotation is a two-dimensional quantity, and the time one-dimensional, the question becomes, 'is there any bijection between a compact 1D space and a compact 2D space' which there are in abundance.

The Hilbert curve comes to mind. The space of points on a sphere, with the exception of the poles, map bijectively to a rectangle in Euclidaean space bounded between 0 ≤ x < 2π and -\frac{\pi}{2} < y < \frac{\pi }{2}. Note that the poles themselves map to the horizontal lines x = ±\frac{\pi }{2}. If we linearly transform the plane so that everything is scaled along the y-axis by a factor of 2, then the space representing the sphere will be a square, so we can draw a Hilbert curve through it which passes through every point in the square in a well-defined, continuous manner, and allows us to find any time t mapping to (x,y). Since the poles mapped to lines, and the vertical line segments bounding the square have infinitely many points on the Hilbert curve, each pole will be crossed by the Hilbert curve infinitely many times.

The alternative is that we exclude the poles from our mapping of the sphere, changing our square's vertical bounds to -\frac{\pi}{2} << lat << \frac{\pi }{2} in which case the function is bijective but not compact, and at least points on the sphere will be unexposed, never seeing the light.

So using the Hilbert curve we can define f(t) -> (long,lat) which is bijective for all points on the sphere except the poles, so every point apart from those two on the sphere will be the topmost point (under the light) exactly once. Now of course we can define a 2d co-ordinate system for the sphere in many ways but we will always be forced to have two polar points somewhere, where either the bijection or compactness is lost, so even though there are infinitely many such functions like f, they will always have two points which either can't be exposed at all, or have to be exposed infinitely many times.

That means the answer to my question is no, but almost yes. For all but two points on a sphere, there exists a function which maps each point bijectively and continuously to a (finite) moment in time, meaning we can continuously rotate a sphere in finite time illuminating all but those two points exactly once. But the remaining two must either be omitted or illuminated more than once.


r/mathematics 20h ago

Discussion Can I persue math degree if I got a 67% in precalculus 12? Or am I doomed?

0 Upvotes

Yes, I know the title sounds outragous, I slacked off last year due to schizoid personality disorder (ok, this is kind of an excuse, to be honest) I was in a really bad mental state, and now I wish to pursue mathematics. I used to hate math as a kid even as a teenager, and now that I have graduated, I realise my mistakes and wanna become a math major. At first, I wanted to major in psychology to research my the disorder I was diagnosed with and its relationship to autism because apparently, they have some similar symptoms. But soon I come to realise that the work in psychology is very social and I am not sure I can handle that. But now, thanks to Professor Dave explains I have reached a pre-calculus 11 level of understanding, and that has sparked in me the need to continue with mathematics.


r/mathematics 1d ago

Algebra Visual intuition for the first isomorphism theorem in 2 diagrams

Thumbnail
gallery
82 Upvotes

It is incomplete. It does not explain why f(g1) = f(g2) implies [g1] = [g2] for any g1, g2 in G, which would require showing that Ker f is always a subgroup of G. It also does not expand the normality / conjugation argument that makes multiplications inside G/Ker f well-defined. Since that would also require discussing inverses, it would be too much text for a simple visual aid.

I think it turned out cute tho


r/mathematics 2d ago

GPT 5.6 has broken the record on large gaps between primes.

Thumbnail erdosproblems.com
466 Upvotes

Very nice!! GPT 5.6 has broken the record on large gaps between primes.

The new bound saves a factor of ≈ log_3(n) over the prior record by Ford-Green-Konyagin-Maynard-Tao from 2018. The result is also now formalized by Alexeev in Lean.

https://x.com/jdlichtman/status/2094040463443673227


r/mathematics 2d ago

Discussion "The Fate of the Riemann Hypothesis" by Richard Evan Schwartz

Thumbnail math.brown.edu
160 Upvotes