r/math 6d ago

Quick Questions: August 26, 2026

19 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/math 1d ago

What Are You Working On? August 31, 2026

14 Upvotes

This recurring thread will be for general discussion on whatever math-related topics you have been or will be working on this week. This can be anything, including:

* math-related arts and crafts,
* what you've been learning in class,
* books/papers you're reading,
* preparing for a conference,
* giving a talk.

All types and levels of mathematics are welcomed!

If you are asking for advice on choosing classes or career prospects, please go to the most recent Career & Education Questions thread.


r/math 11h ago

Bounded gaps between primes - Julia Stadlmann

232 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/math 13h 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
112 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/math 1d ago

How to completely rotate a sphere

85 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/math 2d ago

Do you use your own computer to run large brute force research or systems offered online?

68 Upvotes

Just curious as to what people in the math community use for their research? Do you have your own systems just running in the background or do you utilize some of the web services that offer compute services?

If you have your own computer what is it?


r/math 3d ago

The Deranged Mathematician: Why Do We Care About Proofs?

Post image
139 Upvotes

I am launching a new series today, which I am calling Surviving Proofs. It's a little different than what I have done before---it's primarily intended for those who are stepping into a proof-heavy classroom for the first time, although I think it will have more general interest. It is not meant as a replacement for an Introduction to Proofs class---I trust the professor there to teach basic set theory and logical notation and so on. Rather, it is all about the underlying philosophy that one needs to read, write, and understand proofs and flourish in such an environment. We'll go through concrete examples, of course---we'll look at proof by induction, and so on---but we're after bigger lessons than just how to write a proof by contradiction.

Mathematicians on the whole are very good at teaching formalism and even specific applications. But, in my experience, this kind of big-picture philosophy is rarely discussed, and that is a great shame. This series is my attempt to correct this.

We begin with a simple question: why care about proofs? Very few of us are able to excel in something if we aren't convinced that it is interesting or useful, so it seems important to handle this first, before we do anything else. There is an obvious answer to this question, which is that proofs allow us to determine what is right. This is not... wrong, as such, but I think it misses what is primarily most important in proof-writing. (There is a particular Saturday Morning Breakfast Comic that is very relevant here---as usual, Zach Weinersmith is quite insightful. You'll see what I mean.)

Read the full post (for free) on Substack: Why Do We Care About Proofs?


r/math 3d ago

Tribute to Mathologer

674 Upvotes

There are many really good mathematics YouTubers nowadays like the popular 3Blue1Brown and Numberphile, but to me the one that shines above them all is Mathologer. Mathologer has been making mathematics accessible for almost a dozen years to a wide audience in a way that they can really understand and appreciate proofs that are may often be intimidating. A great example to this is the e and pi being transcendental video -- seriously who else can do anything like this?

Mathologer is really good at explaining concepts and carrying people through so undergraduate level students can understand and follow the work. Also, I love the mathematics history which I wish was not well represented in the mathematics textbooks of my generation. And it's very cool to see fun topics like Rubik's cube, a fine way to talk about the mathematics of permutations.

All the amazing work this guy has done, I just wanted to post a "shoutout" to him. Thank you Mathologer for all your amazing content.


r/math 3d ago

LLMs/AI AI In Mathematics: August 29, 2026

81 Upvotes

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.


r/math 3d ago

What, fundamentally, makes Pickโ€™s theorem possible in 2D that breaks down in higher dimensions?

124 Upvotes

Pick's theorem allows calculating the area of any 2D polygon (including nonconvex polygons) whose vertices lie on an integer lattice from only the number of lattice points within it and on its boundary.

This feels like a minor miracle, and indeed there is no equivalent formula for the volume of polytopes in any higher dimension, even when restricted to convex polytopes.

What geometric/topological property of 2D space makes this magic possible that somehow fails in every other dimension?


r/math 3d ago

Syzygies and higher groupoids

90 Upvotes

It has always been somewhat strange to me how popular category theory and infinity-category theory are on the 'mathematical internet', despite how few working mathematicians actually need them.

However, over the past decade, infinity categories have grown in importance in more classical mathematics research -- especially in my own field of arithmetic geometry!

My friend and I wrote a blog post on infinity groupoids -- these are to infinity categories as sets are to ordinary categories. The goal of the blog post was to show, in as elementary a way as possible, what uses infinity groupoids have, to try and give readers a taste of why they've become so helpful in modern mathematics.

https://hidden-phenomena.com/articles/anima

As a sneak peak: groupoids are, in some situations, a more convenient object than sets for handling group actions!

r/math 4d ago

This Week I Learned: August 28, 2026

18 Upvotes

This recurring thread is meant for users to share cool recently discovered facts, observations, proofs or concepts which that might not warrant their own threads. Please be encouraging and share as many details as possible as we would like this to be a good place for people to learn!


r/math 5d ago

Lean formalization of resolution of Hopf problem

Thumbnail github.com
224 Upvotes

r/math 4d ago

Are there any papers concerning fluid mechanics and number theory?

18 Upvotes

Does anyone know of works concerning number theory in fluid mechanics?


r/math 5d ago

Counterexamples to the Osin-Thom conjecture

82 Upvotes

The conjecture is that for a torsion-free group G, the first L^2-Betti number is strictly less than the minimal number of elements needed to normally generate the group. The examples are not finitely generated (they are locally free groups), so the finitely generated case of the conjecture is still open. (https://arxiv.org/pdf/2608.25988)


r/math 5d ago

Career and Education Questions: August 27, 2026

6 Upvotes

This recurring thread will be for any questions or advice concerning careers and education in mathematics. Please feel free to post a comment below, and sort by new to see comments which may be unanswered.

Please consider including a brief introduction about your background and the context of your question.

Helpful subreddits include /r/GradSchool, /r/AskAcademia, /r/Jobs, and /r/CareerGuidance.

If you wish to discuss the math you've been thinking about, you should post in the most recent What Are You Working On? thread.


r/math 6d ago

MO: Noncrossing matchings with no parallel edges

Thumbnail mathoverflow.net
74 Upvotes

r/math 7d ago

Snark conjecture is now finally a snark theorem

203 Upvotes

Recently I was asking about whether anyone could share the missing manuscript for apex cubic graph case of snark conjecture.

Today a preprint appeared on arXiv that replaces this missing manuscript!

Here - https://arxiv.org/abs/2608.22870 - written by another team, which is quite prolific in recent years in generalizing the 4 colour theorem in various directions.

So, now someone needs to formalize the full proof in Rocq!


r/math 7d ago

Theory behind "blind rank these 5 NBA players"-type games? What is the relevant terminology and is the probability of success known?

50 Upvotes

So a common format for sport content creators is "blind rank these 5 things." So 5 names are given one by one, and each time the you must choose a slot 1-5 for that name. You cannot rearrange the names once they are placed. So if you place a name at 1 and then Michael Jordan pops up later, you'd be forced to put MJ lower in the list and end up with a bad ranking.

Framing it mathematically, say the (n,k) version of this game is to start with a list of numbers 1-n. k numbers will be drawn without replacement from 1-n and given to you one by one. For each number you are given, you must put it in a slot 1-k. You win if in the end, the numbers in the slot are in increasing order.

1) What strategy maximizes the probability of winning and what is the resulting probability in terms of n and k?

I feel like a greedy approach makes sense. Given a number m, choose slot i from 1-k such that i/k is close to m/n.

Once numbers are already placed, find the gap it fits in and then choose the slot that closest matches the fraction.

2) If instead the goal is to minimize the error (maybe by something like Kendall tau that counts the number of inversions), what is the optimal strategy?

I'm sure this topic has been studied before, but I'm not sure what the appropriate language to search for it is.


r/math 8d ago

A simple proof, that only 4 normed division algebras exist - R, C, H and O.

Thumbnail numbersystems.lejdar-lukas.workers.dev
256 Upvotes

The core idea is that if U^TU = I and U = โˆ’U^T, then UU = โˆ’I. From there, it constructs multiplication tables explicitly, finding R, C, H and O. In dimensions > 8 it runs into a contradiction, which proves the theorem.


r/math 8d ago

Fields Medalists from 2026 to 2002

Thumbnail gallery
241 Upvotes

2026 (Philadelphia): Yu Deng, John Pardon, Jacob Tsimerman, Hong Wang

2022 (Helsinki): Hugo Duminil-Copin, June Huh, James Maynard, Maryna Viazovska

2018 (Rio de Janeiro): Caucher Birkar, Alessio Figalli, Peter Scholze, Akshay Venkatesh

2014 (Seoul): Artur Avila, Manjul Bhargava, Martin Hairer, Maryam Mirzakhani

2010 (Hyderabad): Elon Lindenstrauss, Ngรด Bแบฃo Chรขu, Stanislav Smirnov, Cรฉdric Villani

2006 (Madrid): Andrei Okounkov, Terence Tao, Wendelin Werner, (Grigori Perelman, declined)

2002 (Beijing): Laurent Lafforgue, Vladimir Voevodsky

Bonus: 1990 (Kyoto): Vladimir Drinfeld, Vaughan Jones, Shigefumi Mori, Edward Witten

I don't have any photos from 1998 or 1994. Does anyone have a source?
1998 (Berlin): Richard Borcherds, Timothy Gowers, Maxim Kontsevich, Curtis McMullen

1994 (Zรผrich): Jean Bourgain, Pierre-Louis Lions, Jean-Christophe Yoccoz, Efim Zelmanov


r/math 8d ago

What Are You Working On? August 24, 2026

25 Upvotes

This recurring thread will be for general discussion on whatever math-related topics you have been or will be working on this week. This can be anything, including:

* math-related arts and crafts,
* what you've been learning in class,
* books/papers you're reading,
* preparing for a conference,
* giving a talk.

All types and levels of mathematics are welcomed!

If you are asking for advice on choosing classes or career prospects, please go to the most recent Career & Education Questions thread.


r/math 8d ago

Wall-mounted or handheld whiteboard for undergrad work

38 Upvotes

I know many professors and PhDs like doing their exercises on a XXXL size chalkboard or whiteboard. But they mostly work big complex problems.

For things at the junior/senior undergrad level, is a 4-6 ft long wall mounted board useful or overkill? Most proofs are 1-2 pages long which should comfortably fit on a largish (say, A3 size) handheld or desktop erasable board.

Asking because I went to the glass shop for a toughened glass handheld board and they also had nice big glass boards for the wall.


r/math 9d ago

Collection of good Colloquia talks

51 Upvotes

I wanted to create a thread for everyone to put their favorite recorded colloquia talks.

Edit : Non-colloquia talks that are understandable by graduate students also welcome!


r/math 7d ago

Can exact real arithmetic, interval analysis or other approach in numerical computation help remove inequalities and unify left and right residuals in non-idempotent (linear) residuated lattices by making boundaries explicit instead of talking about max and min divisors?

0 Upvotes

I hope that question makes sense. I just don't like inequalities nor the unnaturality of working with left and right residuals (talking about "max and min divisors") that rarely coincide with rational arithmetic's exact division nor with the natural interpretation of inverses in numerical mathematics, thus I would like more explicit boundaries (thus the result of a division maybe being a set or interval including max and min divisors) in division.

(Mind that I have no experience in numerical computation, I am trying to make sense of computable, numerical and interval analysis works and transport their results to residuated lattices but that's somewhat hard for me)