mehulashah
Joined 15 years ago
Joined 15 years ago
However, I feel the mathematical community is a bit righteous by claiming that model vendors are totally irresponsible in their behavior. These vendors may have legitimately improved the state of the art in mathematics, so what are they supposed to do with the results? Sit on them? Become king and queen makers by choosing the people that should get credit?
The world is irrevocably changed with AI, and I’m glad that the AI vendors are pushing the agenda forward. Yes, they’ve perhaps destroyed the career trajectories of mathematicians who were seeking those results. That said, that is the risk of doing mathematics— there have been innumerable times mathematicians have been scooped.
Yes, the AI proofs are messy. These proofs often do not follow mathematical norms. They sometimes seem like they’re from another “planet”. Like other crackpots (or misunderstood crackpots) before AI, mathematicians can choose to ignore these proofs. Or they can investigate them to see what lies within.
Let the frontier models release what they know; transparency is what we should all strive for. What is a credible proof, who gets credit, and how that credit gets assigned is a social norm that only mathematicians get to decide.
Every one of the mathematicians on this letter was likely aware of the progress in AI, and knew this was coming if they were honest with themselves. Some have even helped pushed the agenda forward. Inevitably, there would be a day when AI would find solutions to problems that defined the field. That day has come perhaps sooner than anticipated.
This letter smacks of fear. Their way of learning, work, achievement, and community is threatened by the ever steady pace of technology.
They say:
“But solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. Forgetting this in the world of AI may turn the tool against the primary goal. Indeed, the mass production at faster and faster pace of "true/false" statements could destroy fertile ground instead of breathing life into new ideas.”
Indeed, but the mathematics community needs to look inward not outward.
Achievement has long been defined by solving problems that other mathematicians and scientists have found crucial for understanding shapes, numbers, and natural phenomena.
The race to solve these hasn’t always been collaborative, cordial, or healthy. Too often, individuals have worked in secret or in small groups in order to claim priority and the accolades that come along. Further, I’ve even seen worse behavior not worth getting into here.
Now AI can solve these problems, oftentimes without building the abstractions that we need for understanding. And it is increasingly easier to collaborate in large groups without needing to trust everyone’s ability because we can check the truth of their work and incorporate it into the larger effort.
Certainly, the mathematical community and AI are misaligned. But, it is unclear that AI needs to change. Rather, I argue, it is the mathematical community that will need to change. Instead of focusing on the teleological pursuit of the truth of blessed problems, we need to reward the concise explanations and beautiful theories that give clear understanding. In turn, we can use AI to help us collaborate better and better our understanding.
In addition, the converse is not true. Just because you’ve found something that grows fast and in large market, doesn’t mean you’ll become a billionaire. With all humility, I’ve been lucky to have done that twice, but in a large company. I’m not complaining, I’m just saying that doesn’t necessarily make you a billionaire.
That said, you seem to have archetypes above Costco, Patagonia, and Novo Nordisk that avoided it.
Can you comment on not what it takes to build such a company, but rather how to transform companies like those that I worked for into ones that resist gravity? Or is it too late?