Your monopoly theory lacks a credible motive and also ignores the fact that your quote specifically targets the frontier labs, not LLMs or computational tools in general. The group (https://agmai.org/) comprises of world-renowned mathematicians, including several Fields medalists, who have nothing left to prove. If they felt like it they could quit mathematics today and take private sector jobs paying far more than their professor salaries.
The basic purpose of mathematics has always been human understanding (see for example
https://mathoverflow.net/a/44213), and the working group's various recommendations simply aim to ensure that computer-generated mathematical activity aligns with that purpose.
New norms are only worth adopting if they are clearly better, and that is far from obvious for whatever norms the proprietary AI companies are trying to push. Also their letter specifically targets proprietary AI companies, not computational tools in general which mathematicians do use when they advance mathematical understanding.
The problem with proprietary models is that you don't get to poke inside and see what it is doing and how it arrives at its answer, which is precisely what mathematicians do. Mathematical understanding derives less from any particular result than the insights and methods that pave the road to results. Whenever a theorem is proved, researchers seek to unpack the proof and get inside the author's mind to learn their ways of thinking.
LLM generated results might benefit mathematical understanding if people can inspect their intermediate reasoning traces to discover erroneous human biases or patterns that they might have previously overlooked. Otherwise, the results might as well be produced by oracles.
Also, in math most "intermediate reasoning traces" are erased and the solution only shows a simplified path that many times is only visible after the proof is complete.
> The problem with proprietary models is that you don't get to poke inside and see what it is doing and how it arrives at its answer, which is precisely what mathematicians do
Uh, a hypothetical fully open source model would have the exact same problem, because LLMs rely on emergent phenomena and no one understands why they work.
>Otherwise, the results might as well be produced by oracles.
no. The math result is a result only when it includes proof. The proof is the value here. The way somebody came to it isn't really important - we don't know how Newton came to his results, whether it was apple or pear, and it isn't really important. Or how Einstein was walking the city streets looking at the tower watches - it is just historic curiosity having no real value for science.
That has been one of the greatest thing about math departments - smooth talkers were always clearly visible as smooth talkers. You're either producing proofs, or you're anything but a mathematician.
I feel for mathematicians. They have similar situation like we have in programming. Well, we all just have to evolve and adjust (in particular reign in our pride as just in a few years - i think once LLMs start hitting 100T+ - we may loose our "top of God's creation" position). Any attempts at gatekeeping, ludditing, organizing in quasi observational/advisory boards really intended to protect their tenures, etc. ... - well, you just can't stop the wave.
It all reminds how Catholic Church insisted on responsible release of the Bible in German. The Church even unleashed the devastating 30 Years War trying to protect its monopoly on religion including the right to sell indulgences, etc.
>AI labs should provide significant support, including funding
And now all those "responsible math" and advisory boards would like to preserve their monopoly on math and would like to sell the indulgences to the AI labs. As usually it is all about money and power, not about science. As a Math PhD dropout myself i feel a bit of a shame and disappointment for that undignified scramble by the mathematics establishment. Being smart they should have led the way and show an example to the rest of humanity ...
When I was a postdoc in genomics, one of my supervisors had a background in mathematics. Current bioinformatics training pipeline didn't exist yet, so most PhD students and postdocs had a background in something like CS, mathematics, statistics, or physics.
From the supervisor's perspective, people coming from pure mathematics were good at thinking about definitions. Coming up with useful definitions was the primary value they created, while theorems and proofs were just technical stuff they did to evaluate the value of proposed definitions.
My own background was in theoretical computer science, specifically algorithms. When you do algorithms without any qualifiers, you are studing them as mathematical objects in a simplified model of computation. The process often starts with a promising algorithmic idea. But if it looks like you can't prove anything nontrivial about the idea, you often stop studying it, regardless of the actual value of the idea. And if you manage to prove something, you start optimizing the algorithm for your theoretical model in order to prove better results. That usually makes it worse in practice.
The end result is that algorithms papers, both good and bad, typically contain theorems and proofs about algorithms nobody cares about. If you are a practicioner, you need to dig through all that noise to find the core algorithmic ideas, so that you can evaluate them in a more realistic setting. And if you are a theoretician, you are probably more interested in the techniques used in the proofs (which may also inspire future algorithmic ideas) than in the actual results.
You can find plenty of other similar situations. The value mathematicians create is rarely in the theorems and the proofs.
I was talking about the value created by mathematics. Which largely comes from training people to think about technical details. Which typically manifests as new ideas based on deep technical understanding of earlier ideas.
What will the path to a tech lead look like when it's no longer paved by thousands of hours of experience internalizing code? How do future tech leads avoid becoming like people who never got comfortable with fractions because they offloaded all arithmetic to calculators from an early age?
My hope/hunch is that the kids will be alright. Not learning effectively is a choice: if you want to get good, the paths to getting good are all still available to you.
We have never had as abundant a supply of tools to help us learn our craft. I expect that many people will thrive.
People who are a bit lazy and prone to cheating will be able to hurt themselves even more.
I had agents deep diving OpenCode source over the weekend, writing research docs, and helping me with a set of plugins. I learned quite a bit from the process and markdown walls, enough so that in later sessions I was able to point the model at where it was conflating concepts and help narrow its search.
Ai can help you learn if you are intentional about it.
Before extrapolating that far, take a look at the frontier labs' own job boards (https://openai.com/careers/search/?). Isn't it curious that they are still recruiting human "Android Engineers", "Account Associates", "Consumer Marketing Leads" instead of automating them with their world-beating models?
> Cluster mirroring embeds cross-cluster replication directly into the Kafka broker. No external processes, no offset translation tables, no recompression.
I'm the author. This is a new feature design that was just accepted by the community and took us a significant amount of time to complete. The post is just a summary of that work. It's not AI written, but I used it to improve a couple phrases.
I think the OP was referring not to their public image, but to the incongruity of paying human influencers instead of deploying computer-generated influencers created by their world-beating models supposedly worth $30T.
Or people with a vested interest in pushing the frontier labs' preferred narrative that they've achieved "AGI"...even while frontier labs continue to hire human "Account Associates", "Android Engineers", "Applied AI Engineers"...
I use the Orion browser on my iPhone and it doesn’t have ads.
I also don’t install the YouTube app so I use the browser to visit the YouTube site and have an ad free experience and can even have audio playing on it while the screen is off or I’m in another app so it’s an objectively better experience than using an android device with the YouTube app that is automatically installed on it.
it’s an objectively better experience than using an android device with the YouTube app that is automatically installed on it
It's not better than YouTube after Morphe. Morphe is an app that can patch other apps. It makes the official YouTube app nice by removing ads, skipping over sponsored segments, remove tracking from links, improves the player, etc.
Would be extremely hard to do something similar on iOS.
You can call it survivorship bias, but another way to phrase it is that it's very difficult to forecast the practical benefit of any one piece of mathematics even while the long-term impact of mathematics as a whole is undeniable. And any schemes to further ration resources among mathematicians ignores the reality that for such foundational subject, math research already one of the least funded compared to other disciplines or domestic priorities.
"Falsifiability" is generally understood in terms of physical observations. Mathematics is ultimately tautological: they are true or false by their own definition, without reference to the physical world.
It just so happens that certain kinds of mathematics are unreasonably effective in drawing parallels to the physical world, but as far as mathematicians are concerned those mathematics are neither better nor worse than those that do not correspond to anything tangible.
> those mathematics are neither better nor worse than those that do not correspond to anything tangible.
A sweeping generalization. I certainly know professional mathematicians who disagree.
Also: many consider “inter-connectedness”, not “tangible” to be a sign that a topic is interesting. That is, it touches branches of mathematics aside from its own.
The basic purpose of mathematics has always been human understanding (see for example https://mathoverflow.net/a/44213), and the working group's various recommendations simply aim to ensure that computer-generated mathematical activity aligns with that purpose.
reply