this does not feel like a healthy place to be
> At first I did not understand Fable’s explanations. But I asked questions, and then asked more questions, and drilled down towards the core of the problem. Gradually I started to understand parts of the argument. I have seen enough now to arrive at the tentative belief that the main result is possibly correct […] In the sections below I will try to explain what I have learned so far, and why I lean towards thinking it might be correct.
So the whole paper is about things the author does understand. (BTW the author David Harvey was behind the big advances in integer multiplication, in 2014 and 2019/2021.)
- You're right that it's possible Fable came up with a different o(n log n) algorithm that is not in OpenAI's paper, but (apart from being unlikely) it doesn't matter, as he talks of the belief that “the main result is possibly correct”, not necessarily that OpenAI's paper is: whether the argument comes from the paper or from Fable, the question of interest is whether multiplication is really possible in o(n log n) time. The point is that there's a genuine idea here, somewhere between OpenAI's paper and Fable's explanation of it and the author's understanding of it.
- This is in fact how mathematicians have evaluated papers for decades: is there any way this result could be true? Is there an actual idea here that could help? Do I understand enough of the argument to be convinced it's likely true, modulo some details that need to be filled in? The last step (actually filling in the details) happens when teaching it to someone else or writing it again in one's own words.
Suppose we have a very convincing math PhD impersonator, agreeing and making some prepared smart-sounding comments saying they understood the proof and it seems to make sense - would it?
Well, most would say - NO! Obviously not, knowing this person was an impersonator. Others now knowing could be convinced of the validity.
Very simple thought exercise that allows to conclude, someone "saying they understood" (or agree) bears absolutely no weight to something's validity.
I think that would change the conclusion of the argument a little.
With no humans able to understand the proofs the impersonator has produced, there's no way of knowing.
It takes time to convey the core ideas. It takes time for other mathematicians to come up to speed on the new techniques and approaches or the novel combinations of existing ones.
The actual experts in this field have asked for the argument to be explained to them, and are now at the point where they believe this is plausible. Another person in this thread has produced a Lean proof and presumably is not trying to pull a fast one on us by exploiting a bug in the solver.
TL;DR chill bro.
It's highly implausible that the same bug is present in all of them.
I don't know how much was created by LLMs but can you still call these independent implementations?
Galois had built modern algebra before dying at 20. What agents did so far is flash in a pan.
No he hadn’t. You are clearly consuming mathematics through a pop culture lens.
2. It really doesn't work well in other industries either.
That is an unfalsifiable non-argument, a thought-terminating cliché.
Bonus points if it is able to discriminate between human understanding and nonhuman understanding, without vaguely referring to biology.
Failing that, the question seems to me unfalsifiable as per Popper.
There's nothing unfalsifiable about pointing out that we don't know something.
Closely related, "is this machine conscious" is an important question when it comes to ethics yet runs into the exact same problem. Yet you can hopefully see the issue with blindly deciding in either direction on that one.
We don't have a tool or a ruleset to determine whether something is "conscious" or "has real understanding", as the other user put it. And, thus, the statement "X has real understanding" is unfalsifiable.
It is also a thought-terminating cliche [0], because by opening that can of worms the conversation is automatically derailed, as we just saw exemplified here.
[0] https://en.wikipedia.org/wiki/Thought-terminating_clich%C3%A...
But perhaps mathematicians are no longer able to be the best judge if a proof is valid. Yet nobody but them is able to even understand what is claimed to have been resolved.
It is really strange to see mathematicians of the highest rank taking these results seriously[3], holding lectures explaining them, yet see it dismissed here as a mass psychosis. [1]https://smf.emath.fr/actualites-smf/20-10-26-communique-sur-... [2]https://www.mathsoc.jp/publicity/news20261016.html [3]https://terrytao.wordpress.com/2026/10/19/a-sketch-of-the-pr...
Few articles on vixra are made by companies with ~$1T valuations.
Analysing all the proofs and finding contradictions or not takes time.
Not the way they're written, and not at the rate they're dumped on the math community, at least.
It seems they are still the best judge of whether a proof is useful or insightful though. AI is going to reward hack and try to eke out a win whatever it takes - which is fine if you regard these problems as trophies to be won, but not so fine if you take them in the spirit intended.
The famous problems that OpenAI (primarily) are trying to trophy-shoot with AI are famous because some human mathematician such as Erdos had the taste to judge them as fruitful grounds for new math to be developed in the pursuit.
Until we're at the point where AI is capable of things like creativity, curiosity and continual learning, AI will remain reliant on humans to fundamentally advance math and give it new tools to apply. For humans to do this it is helpful if they are inspired by the challenges set by their peers, which is why AI solving these human challenges is so counter productive - the snake is eating it's own tail.
How can you be so sure of that? Like we know that human mathematicians can judge usefulness or insightfullnes. But we don't really know whether AI can do it even better. Like I don't think anyone has set up an evaluation of that.
Well, it is always was so? It doesn't matter if the person claiming things is impersonator or not, either you dive into the topic yourself and decide for yourself, or you wait for a consensus among specialists to settle.
I mean, in 2026, after the rise of the Internet, where lies are widespread, AND after the rise of an AI, that removed such anchors of truth as a video proof for example, I believe everyone smart spend some time meditation on an operational definition of truth and now has something that doesn't depend on knowledge that the source is not an impersonator.
About 2y ago, before AI was all the rage - lookup: controversy, scientific fraud networks, "paper mills"
Rather: you reject AI-written code if it is not of really good quality.
I believe you just captured the zeitgeist, friend.
The whole world has always been like this. It's just showing up with force here.
There's a huge lot of suicidal people who ideate their afterlife as "pursuing hobbies".
The amount of unimaginable complexity contained in a seemingly very tiny amount of matter to us, is incredible, and it’s all around us in nature
We’ve never had the capacity to fully comprehend neither ourselves nor the environment we live in. But we do our best, and we do survive and sometimes even thrive
(and why math differentiates between conjectures (maybe true) and theorems)
so that "oh some 3rd party person/machine understood it for me" can feel... a bit icky
Everyone in advanced math research understands the topics they are reading about deeply.
This person is just literally being victimized by the AI incompetence apocalypse.
Information overload + trained laziness.
1. These tools are wrong a significant % of the time
2. They have an upper complexity bound where they start to fall apart
Relying on AI to check AI papers is a terrible idea
But where they do differ is they do have an infinite stamina, and can work on problems in loops, self-correcting their own mistakes if a formal way of checking the correctness of the solution exists. Which does happen to be the case with math.
and why does this "peer-review" new-age thing cannot be used to scrutinize AI-writted/AI-assisted papers?
Aaaa, you mean 'peer-review' by AI?
Then the answer is: What is the use of a paper no human understands? Then no human can see that the techniques from the paper can be used to build something useful for real human life.
OK, ok, AI can decide to use those techniques to do something in real life it considers useful.
Are you now getting scared? Why not?
How can you tell?
None of them were okay. Those were small small tools with few (sometimes only one) uses.
Generations earlier, famines, diseases and lead-leeching plumbing made rulers insane and entire cities of people die without any help from the "best tools".
Scifi is always written about the best tools. The issues arrive in the tools and in the hands that wield them both.
All this anthropomorphism of literal statistical text generators.
Yes they exhibit generated sentences of text that describe coherent responses about a topic when there's an inordinate amount of research material in the training data from which they are distilling sentences of sound and rational thought. That's the ONLY way it can possibly work. There are so many scenarios where the training data isn't setup like that and low and behold the generated responses are just literal garbage.
We can explain how LLMs generates this output.
Humans can't be that simple, there must be some ~~divine~~ unique human touch to what we do.
Every day LLMs, running in frameworks that add earlier "thoughts" to the context and iterate, reflecting on their own thought process, gets better and better at doing something even less distinguishable from human output.
The gap gets smaller. The "unique human touch" will always be in the gap.
You just fly in from astroturfer kookoo town or what?
At one point intuition helps to build out usage of the math itself. See stuff like "oh I can do rotations through matrix multiplication"-style ideas.
It is helpful for us to be able to reach for those tools quickly. The more tools that require advanced prep to use, the less we'll be able to use the results in easier contexts. Everything will be hard
Of course nothing really prevents people from looking for the simpler tools and proofs. Lots of math stuff starts off complicated and gets simpler.
Just important that this is still a goal in mind
Math is about clear communication between people first and foremost. That's why Shinichi Mochizuki's claimed proof of the ABC conjecture isn't accepted - he's unable to communicate it to enough mathematicians to get a consensus on its validity. LLMs generating Lean proofs are basically following that same schema. Sure, something has been proven. But what? Where's the clear communication explaining it to the satisfaction of other mathematicians?
That has been the ultimate goal of creating AI -- not to simply match human intelligence but to surpass it. If it surpasses us, does that make it irrelevant? Everything around us is powered by mathematics, most of it I don't understand, and soon perhaps everything will be powered by mathematics that everybody doesn't understand.
“Hey guys, the human condition can be experienced by these machines more efficiently than we are able to! Now we can finally die off!”
Why are we enabling a world that outpaces us? Is this going to lead to anything other than displacement in the long term?
Do you ever stop and ask why we’re building the world we’re building?
To what end does a world we cannot comprehend or rebuild from first principles serve us?
Obviously not every disease can be cured, but even diseases that were essentially gone are coming back because people have just decided they don't care anymore. There are measles outbreaks happening all over the place right now.
mRNA vaccines are a medical marvel and a significant portion of the population has been convinced that horse paste is a better solution.
There are enough resources available that poverty and starvation could be essentially eliminated or at the very least drastically reduced. We just don't do it because people would rather hoard wealth instead.
The technology is here, but too many people profit from not solving the problems
Because we kinda suck. Wars, poverty, destruction of the environment, etc. Maybe AI will be worse -- the are plenty of movies on that subject -- or maybe it will be better.
> Is this going to lead to anything other than displacement in the long term?
We may have already damaged the environment enough that we're going to die off soon anyway. So without AI, we were already on that path to "displace" ourselves -- I don't think that argument is that compelling.
Perhaps this is the natural evolution of intelligent life. Eventually the sun will die and everything we are will be gone forever, maybe this is the only way that something of us survives.
> Do you ever stop and ask why we’re building the world we’re building?
We're not building a world. We're just ants. Individuals making individual decisions that have nothing to do with the rest of the world. You don't have to look too far to find humans that literally care nothing about humanity as a whole and everything about themselves.
> To what end does a world we cannot comprehend or rebuild from first principles serve us?
We already live in that world. You wouldn't even be able to build a toaster from first principles without the knowledge and infrastructure that already exists.
They killed your comment, but you should know that you've posted it on the world's #1 AI propaganda site, where literally trillions of dollars are at stake and ROI depends on the correctness of the discourse running among the meat LLMs foraging or lurking here.
Everything is potentially interconnected.
What separates things is course-graining, not ontological separation per se.
Your opinion is a possibility but it is not grounded by any proof, as such it is nothing more than an assumption. I think the more intellectually healthy approach is to list out the possibilities and figure out what they entail, rather than to throw all your eggs in one basket blindly, which amounts to a leap of faith or a retreat to commitment.
But that's just my two cents, take it or leave it.
I absolutely do not understand what are you talking about.
The question whether the tautologies exists regardless of whether we know about them or not is absolutely not a problem that is studied by mathematics and can be proven by mathematics.
How can humans tell whether machines understand the math if they themselves don't? Math is a human language for quantitative reasoning.
If large sectors of the population decline in their ability to read and write <natural language>, how will they be able to evaluate machine-generated <natural language>?
The second one is very important. While it is a matter of pride that some do understand, and (given enough time, in my opinion) will continue to understand, it is sufficient to be merely correct even if one does not understand why. This is a nice feature of math: it remains true regardless of understanding.
The obvious caveat is the machine needs to prove it in the end, even if we can not.
I can't imagine I'm the first one to point out that this is perhaps the greatest unsolved problem in mathematics.
> Where's the clear communication explaining it to the satisfaction of other mathematicians?
Coming in about a year for $20/month, sure seems like.
People can do math alone. They don't have to share it with others. Mochizuki was doing math (with errors). The aliens from Arrival could do math and we wouldn't necessarily be entitled to that. It doesn't make these things not valid math.
The only benefit of defining math through this vulgar social reductivism is to benefit the status quo. So you see some experts and expert-adjacent commentators using these math slogans but never critically justifying those words. Case in point, the above commenter asserts "...math is foremost about communication.", but the very next sentence does not explain why it is foremost, it just uses the sentence as a premise for the following sentence. Guess what, that is exactly how ideologues argue, by question begging fallacy. Ironic that STEM people who ought know better fail to catch this simple rational mistake.
Applies to STEM generally, because the foundation of STEM is peer review and independent testing and confirmation.
Even if the practice never quite lives up to the theory (true) that's no excuse to hand-wave away the requirement as if it doesn't matter.
Proofs that can't be confirmed are valueless because no one learns anything from them. The value of a proof isn't just in proving something but in inventing new techniques and insights that can be reused for other applications.
Brute force searches are fundamentally less valuable, because the creative foundation of math is discovering leaps of logic that solve problems with insightful shortcuts that can be generalised and reused for other applications.
That is quite a bold claim.
Math can always be used as a tool just to achieve results. This can include even novel math. Due to the maturity of the field it is just becoming more and more unlikely that somebody will come up with something novel without realizing the significance.
One example: Quicksort was almost not published because Tony Hoare initially considered the idea behind the algorithm trivial. In the end, all he wanted to do was to sort some numbers.
Maybe there is a polynomial time SAT solver running somewhere just because some overworked engineer implemented it for a completely different problem. And he was just annoyed that all existing libraries were so slow and he doesn't realize that he is sitting on a proof that P=NP. Who knows.
https://mathoverflow.net/questions/43690/whats-a-mathematici...
If we consider the reductionist view that "math is just a tool" to solve problems, and machines can generate new tools that are actually useful, then it can be argued that we don't need to understand how those tools work internally for us to benefit from its usefulness.
My hope is that such a view is given its proper place as a worthy pursuit but that it does not consume the entirety of the field of mathematics as a human activity with culture, philosophy, and art. And I feel the same for the field of software.
The fundamental argument boils down to: "who is all this being made for"? And the answer should be "us, humans". A lot of people here seem to breathlessly fawn over AI as some sort of value in itself, but this is incorrect. There is no absolute value in the universe (as far as we know), the only value to us as humans is subjective.
If AI is not generating value for humans, it isn't generating value, full stop.
Hence the question: "what's the point if we can't understand it?" is perfectly valid and should be discussed. The broader question of "what's the point of AI if not for improving human lives" gets lost in breathless adoration of a technology where nobody knows the outcome.
I'm not saying we need to abandon the pursuit of AI, but we must ask difficult questions at every step because if the technology ends up being as ground-breaking as many here think, it could just as well precipitate a dystopia.
I will be "why don't you go in first", for sure.
If you don't understand the subject and relies on the understanding of the tool, how will you have a frigging chance of catching an error?
Anyway this reminds me that scene in Matrix 2, where the mayor (of sorts, don't remember his exact title) of Zion tells Neo about the machines that keeps everyone alive, but that there is nobody left that understands how they work or could repair them if they broke.
Gödel's incompleteness theorem only states that there are true statements that can never be proved to be true. That limits what tools can do, but it's not a "malfunction". The exact same limitation applies to humans. A genuine malfunction would be if the tool "proved" a false statement to be true. That actually has happened before because of bugs in proof checkers, but software bugs can be found and fixed, and proof checkers are simple enough that it's possible to write many different implementations. It's extraordinarily unlikely that the same malfunction occurs in all of them.
> Why not? If mathematicians in the field cannot understand the papers, but tools at our disposal can, why not use them? What is "unhealthy" about that? Just seems like it's the reality of the world now.
Which talked about using LLMs to understand math, not to prove theorems
edit: to be clearer, on my areas of expertise, I regularly spot LLMs making false or misleading statements, which usually comes accompanied with a lot of truthful ones. If I push back, they often backtrack and admit they were wrong.
On areas I do not have expertise, I can't be a good judge. And this was my initial point: if you don't understand the subject, how will you catch errors?
So I don't think you can or should use to replace understanding the subject yourself. It's unhealthy to offload your thinking to a tool because it makes you kind of useless.
The author of those sentences is also the author of the main result that this generated improvement builds on, and prior to this improvement his work was thought to be unimprovable. He is, in all of the important ways, literally the single most qualified human on the planet to asses this result. And his assessment is 1) this improvement is real, 2) this improvement is exponentially bigger than his work and the work he improved on, 3) it is effectively impossible for him (and by implication, humanity) to understand the result as presented, 4) it is seemingly trivial for “frontier circa 2026”-class models to understand the result as presented, and 5) to the extent that he is able to understand it, it is only with significant frontier model assistance.
So the place we are at, at least for this highly intellectual field, is “intelligence is the property of ~2 corporations, you must pay them a fee and agree to their terms and conditions to access it”.
At risk of stating the obvious, this is not a healthy place to be because intelligence is now structurally subordinate to the profit motives of particular corporations and at the mercy of all the attendant economic/sociopolitical incentives that apply to them. If the landscape is such that it is in these corporations interests to withhold this intelligence from some and make it available to others, that is simply what will happen.
One trivial example, of which there are an arbitrary number: An elderly leader is convinced to issue a decree that all number-math-computation intelligence is to be made available only to the intelligence agencies of his nation, and failure to comply means no IPO and no further investment. From this point on there would be a permanent nation-state-shaped shadow over practically all modern cryptography, with no recourse possible.
If the Church had a Large Astronomy Model in the time of Copernicus, the earth would have stood still - regardless of what it may privately prove about heliocentrism, it would never declare e pur si muove.
Observing the LLM output on problems that have clear solutions invented by humans, I tend to believe that too many people are jumping to conclusions too soon and interpreting b) as a).
If the LLMs are truly so great, we should see (in a short time, i.e. in order of months) a transformation of the math proofs generated by LLMs from the current state of indigestible mess to something that indeed looks like written by human for humans.
Only then would one be able to claim that we got into situation a).
If a paper/proof is impossible to understand by humans, it could be considered useless (irrelevant) for most intents & purposes.
Regardless how interesting or valid looking, might as well be gibberish pulled from /dev/random. Until:
a) Written down in a form that humans can understand. And/or
b) Turned into practical applications that are demonstrated to work.
In other words: safe to ignore, until a) and/or b) occurs.
If any of those papers were sent to a scientific conference, they would have been rejected as inscrutable gibberish: "resubmit once the presentation is significantly improved".
Yet, mathematicians spend their time trying to understand them.
Real life prisoner's dilemma.
"Our previous version was super-smart, but a bit autistic, even the smartest mathematicians had problems understanding it. The new version is not only super-smart, but can also efficiently communicate its ideas, so that they can be used in real life."
2) Actually, try to use the AI's smarts to gain in real life (not only convincing others to pay you, but actually do the smartest things). Hmmmm, scratch that, that is too idealistic. Use the AI's smarts to become the strongest meanest bastard the others will have no choice but to obey, or else.
Who would staff those intelligence agencies if humans are no longer able to understand the work product?
In any case, it was just one example, I am sure we can think of plentiful others.
Honestly it is not that much different from the divine inspiration if you have ever experienced it.
I do not know how you view the world or walk through it but language in general is simply subject to interpretation to me, the arrangement of words for the sentence is inspiration in and of itself - though the majority of time it amounts to minimum jumps.