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.
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.
If you can't understand what the machine has done, math is not being done. Math is not pushing symbols around to find sequences that follow all the rules. Math is the process of understanding how those sequences of symbols map to meanings. If you can't follow the proof but have validated it's correct, all you know is that it's a proof of something. Is it a proof of what's claimed in the adjacent plaintext? Who knows!
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?
> Math is about clear communication between people first and foremost.
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.
I mean, I could not understand 95% of all the math out there due to skill issue, and it’s still valid. If machines can understand the math and humans can’t, we can’t validate it, but that doesn’t make the math itself invalid.
It could be logically valid but irrelevant? Allowing for the atrophying of all our skills is dangerous? While simultaneously building ever more complicated edifices that control our lives? Not a doomer but you really just want to shrug and say it ain't no thing?
Does math already exist and is discovered? Or is it a thing invented by people?
The underlying tautologies always existed. Making them accessible to us as truth and usable for one or more functions is what's invented by people (and potentially by AI) via insightful proofs and narratives.
Yup, and it always has been, we don’t even understand how our bodies or minds work, yet we use them everyday
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
well math has always been about "understanding things" -- hence proofs and etc is the main tool in the field
(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
Even pre-AI, there have been proofs that took years to be verified, understood and some were disputed forever and still are (like the Mochizuki / IUT drama). So, even without AI, maths has reached a point of specialization, where only a few people in the world know the areas used in a proof well enough to check it. When „new math“ is invented for a proof, people may even be more disincentivied to put in the effort. So, I‘d argue, AI makes understanding new proofs easier, not more difficult.
And yet for someone like me who is not a math expert, it has (all) always felt unapproachably foreign.
IDK why this is relevant to the topic at hand.
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.
The mistakes that lurked in radium, in arsenic, in leaded gas, in fallout downwind of nuclear tests ... all had the best tools that the previous generation knew.
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.
There's nothing that makes this paper the be and and end all opinion pieces of the paper. The community will review his review, and people who wish to understand more will read more and more of the paper. I see nothing wrong with this process of progressive understanding.
The "top layer" of maths being this is one thing. Now imagine another layer of this. Then another. Then another. Then another.
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
> Why not? If mathematicians in the field cannot understand the papers, but tools at our disposal can (...)
How can you tell?
There are a few increasingly powerful companies that own the frontier models that can produces these results. In the future, it may only be these models that understand the results. Should we be beholden to a few companies for basic understanding of foundational principals?
The tool may malfunction. Indeed there are theorems that say the tool must malfunction at least sometimes.
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.
Sounds like a disassembler.
Because the tools don't understand the papers either. We know for a fact that:
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
So, just like humans then?
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.
Humans can be wrong, but luckily we have an entire process for dealing with this, which is broadly called this new fangled 'science' thing
Yes you're replying to astroturfers or AI psychosis victims.
because the tools can't? Lol. That's not how it works. Am I in the twilight zone?
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.
What a funny pov?? Mathematics and other pure sciences are about human understanding. You're saying if humans cannot understand the thing that was for human understanding, that's ok? That's like saying all the world's food is now inedible, but that's ok because a blender can consume it still.