Henry Kvinge retweeted
No, all the good jobs won't be gone in 6 months, two years, or whatever you've been told. Don't make big life decisions based on fear, or what suddenly everyone around you seems to be saying. A lot of nonsense spreads simply by imitation, and following the herd is often unwise.
Henry Kvinge retweeted
The popular narrative of AGI often centers on a single, isolated super-intelligence. My colleagues James Manyika, @bratton, and I have a different model. In our new DeepMind Institute essay, we argue that the AGI transition will be a highly social event.
bit.ly/artificial-symbiotic-…
Henry Kvinge retweeted
What folks say about math on here is very telling re confusion about overall AI trajectories. Could not be further from the truth that "math is solved."
As is going to happen and is already happening with lots of fields, the distribution of human effort is going to shift to different tasks, including interpreting and scrutinizing AI-generated solutions, as well as using them as fodder for further research (see: scientificamerican.com/artic…).
There is not some ceiling of the totality of possible math knowledge that we've lurched closer to. To a first approximation, we have functionally infinite headroom. Your modal expectation should be for that to remain the case even as AI tools accelerate progress.
Henry Kvinge retweeted
Well put!
Wrote a take on the math wars for the day job: p3humansonai.substack.com/p/…
Henry Kvinge retweeted
The essay below from Aaronson is just unmoored from reality, sorry.
It is just not true, if you try to approach the question in a data-oriented fashion, rather than via vibes and speculative fiction and anecdotes, that capability is "dramatically ramping up ... every month."
See attached graphs of progress over the previous ~year on several difficult knowledge work benchmarks. Also keep in mind that:
1) these are pass@1 scores, when what you should really be looking at to extrapolate to real world performance (esp. w/r/t full automation, "drop-in workers," etc.) is pass^n, i.e. how often, on average, models succeed at tasks n times in a row, rather than just once;
2) even strong benchmarks have low external validity because they do not and, in many cases, cannot model key constitutive properties of real world knowledge work. These include: field-specific regulatory and security constraints, ambiguous or conflicting requests from multiple stakeholders, uncodified context (related, for instance, to subtle expectations around how outputs are formatted, phrased, or otherwise presented), required use of rare or legacy software or other systems (about which there is little public data), idiosyncratic constraints on cost and timing, and sudden unexpected changes in any of the above.
As I wish went without saying, any sub-tasks involved in causing catastrophic harm to humans would face many more and more difficult constraints than these.
Even you if put all this to the side and just eyeball graphs, you will not see dramatic monthly ramp-ups in capability. You will certainly not see performance befitting the "machine God" that Aaronson claims is already arriving (??).
As is often the case, the key error here is not to have appreciated extreme jaggedness. Solving Navier-Stokes is crazy impressive. It is also happening at the same time as models struggle to even approach human performance on many (not all!) of the complex tasks that white-collar professionals in finance, law, academia, and so on perform everyday (yes, I know NS was solved by an unreleased model; I promise that model will also underperform humans on these tasks).
I can't stop you from turning your brain off and going "well obviously every form of knowledge work will fall soon, if Navier-Stokes did." But the balance of evidence suggests that this is a bad inference (even just within the field of math, by the way, where models still struggle, and will continue to struggle on many open problems).
I'll begin to take doomers more seriously when they adopt a norm of trying to articulate why they expect models to best humans in fields much less hospitable to RLVR, where data is much scarcer, where tacit and context-specific knowledge plays a much larger role, and where iterative contact with the real world is essential.
I'll add that it doesn't help that their concerns seem universally to pass through ill-formed concepts like RSI / AGI / ASI that they are myopically pattern-matching to a reality far too messy to accommodate them.
This seemed like a point a lot of folks on here appreciated and even agreed with (esp. w/r/t AGI and ASI) not two months ago, and yet it seems to have gone out the window post-Coxon. Now these concepts have been re-drafted to serve as ineliminable premises in arguments to the effect that while models are not ready to kill us all yet they will soon pass the threshold of [key three letter premise], and so we should all be very afraid.
I am not afraid and do not think you should be either. That is not because I deny AI is progressing at a rapid pace. It is instead because I see many signs that it will be both slower and more jagged than many expect, and because I see few if any signs of that progress outdoing the capacity of our institutions to adapt to it.
I also find it frankly bizarre to begin worrying about extinction-level harm from AI when it can't yet hold a candle to the human cost of cars or drugs or guns or almost any other generically important technology. I see no evidence that the threat from AI is going to leapfrog past these and suddenly kill millions or billions.
As a result, to organize and communicate around extinction-level threats at this stage strikes me as obviously counterproductive. All it will do and is already doing is delegitimizing the cause of AI safety (a cause I support), and creating all manner of rhetorical and strategic openings for its opponents.
That is what happens when you throw millions of dollars at saying silly things you can't substantiate about a hot-button issue in public. If AI safety folks want to be taken seriously, it would help for them to be serious.
One underappreciated aspect of AI progress in mathematics is the extent to which we will learn something about mathematics itself.
If we understand current LLM success as arising from their ability to throw a vast number of existing methods from across the corpus of mathematics at a problem, then the new results we are starting to see is a measure of just how much was attainable with the tools we already had
Henry Kvinge retweeted
Mathematicians use conjectures to point to important, open problems. We collect nearly a thousand (currently 890) recent conjectures from the math literature for a new dataset, OpenConjecture. On a subset, GPT-5.4 finds candidate proofs, and formalizes several in Lean.
Bijections allow mathematicians to make connections between objects that look different at first glance. Our new paper ‘Even with AI, Bijection Discovery is Still Hard’ explores whether evolutionary program-synthesis frameworks like OpenEvolve can be used for AI-driven discovery.
We find that even when using powerful backbone LLMs, bijection discovery is still hard. However, our results suggest that this may largely be a result of misalignment between what we really value in combinatorial bijections (math insight) and the way we rigorously define them.
Looking to connect with AI and math researchers? Don't miss the "Topology, Algebra, and Geometry in Data Science Conference” at UCSD, Dec 1-2. It's the perfect pre-NeurIPS event! #AI #Math #DataScience
Can AI help discover new mathematics? 🧐
We've released our Algebraic Combinatorics Dataset Repository on @huggingface to help find out!
Includes: 📊 Raw Data 📝 Problem Statements 📈 Baseline Stats for a range of open problems. All in an ML friendly framework.
















