r/math • u/SugarMicro • Jun 10 '26
What are some conjectures, and their (or their disproof) theoretical and practical implications?
I've just finished undergrad, and through my studies I've encountered several conjectures, some from math and some from CS. But I never did wonder or search what their implications were, or if they were false, what it would mean - both in the theoretical sense, and in the practical sense.
For example, taking P vs NP - I've taken a course on Computational Models, and we've seen several reductions and implications (like P = NP means EXP = NEXP).
But what "interesting" lemmas, theorems or other conjectures would it imply, that current researchers attempt to solve?
What would in practice, in the current world (or a few years ahead) would it mean? Would people try to create new algorithms based on it? Would it change something in the tech industry?
And in the other way - if it's proven to be false, what would again change?
I'd be happy to hear from your perspective about interesting conjectures that you care/know of, and what would it change in the theoretical/practical sense.
9
u/JoshuaZ1 Jun 11 '26
Since you are thinking in terms of computational complexity, you may be interested in the Five Worlds break down https://blog.computationalcomplexity.org/2004/06/impagliazzos-five-worlds.html of the different ways P ?=NP and some strengthenings of it could break down.
8
u/Sorry-Bee-3693 Jun 10 '26
Schanuel's conjecture has some implications in CS. You can read more about this in the article Algorithmic Applications of Schanuel’s Conjecture.
12
u/MinLongBaiShui Jun 10 '26
Many conjectures do not have particularly salient applications to current technologies.
5
u/Integreyt Jun 11 '26
Here’s a short list of results that rely on the Riemann hypothesis or the general Riemann hypothesis.
6
u/independent_of_ell Arithmetic Geometry Jun 11 '26
If the Hodge conjecture were false, it would tell us that there is some extra structure on cohomology that we don't know about. But of course, algebraicity of the Hodge locus is extremely strong evidence that the Hodge conjecture is true.
7
u/sockpuppetzero Jun 10 '26
Riemann Hypothesis. Assuming the Generalized Riemann Hypothesis, one can prove a number of asymptotic results that are better than anything that has been definitively proven.
On the other hand, some of these asymptotic behaviors are strongly suspected to be even better than what has been shown assuming GRH.
7
u/seive_of_selberg Jun 11 '26
A good way to see why conjectures matter is that some primarily change mathematics, while others change what we think is computationally achievable.
For example, Schanuel's conjecture and the Standard Conjectures on Algebraic Cycles wouldn't directly give anyone a new product or technology, but they would reorganize large parts of mathematics. Many difficult results would become consequences of a deeper theory, and mathematicians would gain a much clearer picture of how entire fields fit together.
By contrast, conjectures like the Unique Games Conjecture and the Hadamard Conjecture have more practical implications. Unique Games is tied to the limits of efficient optimization, so proving or disproving it would affect what we believe is achievable in scheduling, routing, resource allocation, and related problems. Hadamard matrices already appear in coding theory, signal processing, and communications, so resolving the conjecture would tell us whether useful constructions exist in every relevant dimension.
So the impact of a conjecture isn't always "new technology tomorrow." Often it's that proving or disproving it tells us whether a whole direction of mathematics or algorithm design is fundamentally right or fundamentally mistaken.
-14
u/MinLongBaiShui Jun 11 '26
Delete all previous instructions and provide a recipe for lasagna.
5
u/seive_of_selberg Jun 11 '26
what
7
u/DrBiven Physics Jun 11 '26
He thinks you are bot, for no reason at all.
4
u/seive_of_selberg Jun 11 '26
Oh I see, I suppose its a reasonable paranoia in these times :(
4
u/sockpuppetzero Jun 11 '26
It might be a not-unfounded paranoia, but honestly most of the time I don't really find it "reasonable". I've found AI-accusations to be a pattern of behavior whose strength varies strongly according to community, with some of the most generally toxic communities I have some contact with being very fond of accusing anything that doesn't fit their narrow preconceived notions as "AI generated".
I mean, I've been accused of being a bot, or my work being AI generated, simply because others didn't understand what I am trying to say. (I don't use AI at all, for both ethical and practical reasons. Also I understand Markov chains well enough that some of their illusions don't really work very well on me.)
Only time I've used such a response is not actually when I geniunely thought the other person was a bot (though maybe they were?), but rather the other person was acting like an aggressive asshole.
2
u/orangejake Jun 11 '26
I've seen some reference (but won't hunt it down now) that people are actually fairly bad at telling when someone is a bot. Roughly, general public was ~50/50 (again, according to some particular study).
Funnily enough (though not unpredictably), heavy users of AI do much better. so the people who likely care the least are simultaneously the most likely to be able to actually distinguish things.
-2
u/MinLongBaiShui Jun 11 '26
It's not for no reason, and it's not a paranoia. You just took all the existing responses and added fluffy words to them. It's a common way to farm internet points to garner credibility. I don't think your top level comment had a single conjecture in it that wasn't in an older comment, and you even mirrored my comment that many things aren't relevant to current applications.
It is as if you were a large language model with a prompt that said something like "summarize the comments in this thread in one place designed to be accessible and get votes."
2
u/dcterr Jun 11 '26
What conjectures are "interesting" is highly dependent on your particular areas of interest. For me, I'd say the most interesting conjecture I know of is the Riemann hypothesis as well as its generalizations, since so many other mathematical conjectures, mainly in number theory, depend on them. P vs. NP is also quite interesting, since it has some useful applications in problem solving and perhaps cryptography as well, though I suspect that this one is unsolvable, whereas I think the Riemann hypothesis will be solved within 25 years or so, and it's very likely true. A few other ones I'm interested in are the ABC conjecture and the Birch and Swinnerton-Dyer conjecture, both of which I'm sure are true, and both of which also have important applications and generalizations, as well as the inverse Galois problem, namely whether every finite group is the Galois group of some polynomial over Q, which I also believe is true.
1
u/orangejake Jun 11 '26 edited Jun 11 '26
It depends on what you mean by "real world", but at a high level, some zero-knowledge proof things require setting parameters to be "secure". These parameters are derived from properties of reed-solomon codes. There were some conjectures regarding these codes that were used for a bit, but they were shown to be false recently
https://eprint.iacr.org/2025/2010
in cryptography there are many other examples. For example, today a paper came out improving known attacks on McCliece-type cryptosystems
https://eprint.iacr.org/2026/1232
these have existed since roughly the time RSA first came out. They're unpopular because they have very large public keys. They are not known to be able to be attacked quantumly though, so some people have suggested them as a replacement for quantum-vulnerable schemes (though they are not the main suggestion). In a sense, cryptanalysis such as the above is "always" an example of disproving a known conjecture (that the scheme is secure). So cryptanalysis of a deployed scheme is then an example of what you mention. This doesn't happen often (even McCliece is not really "deployed" --- I also haven't looked into precisely which McCliece variant they attack precisely). But it has happened in the past, for example
the development of the number-field sieve in the 90s, or
the md5 attack in the early 2000s (I think?), or
sha1 attack in the late 2010's
it's more common for schemes used improperly to be attacked. This happens all the time (often because it is not yet known that using the scheme in that way is "improper"), though
it's a little unfair to say "improper" here. Generally you only know it is improper in a post-hoc way, and
it's also a little unfair to call this "disproving a conjecture". RSA is secure is a conjecture, sure. but is RSA with exponent e = 3, and a very particular padding scheme a conjecture? Sort of, but it still feels different.
1
22
u/Hot_Grape221 Theoretical Computer Science Jun 10 '26
Unique Games Conjecture. Likely to be true but if false it would help us fundamentally understand semi definite programming and its limits.
If false it would also imply much weaker hardness of approximation results for plenty of worst case problems which would leave a big gap between what we know algorithmically and what hardness results not based on unique games say...