One must imagine Sisyphus as a member of a coalition of the Outside

in the world of life
Pinned Tweet
I'm composing again 😌
3
3
32
1,402
One of the most innane views (unfortunately even shared by some mathematicians) is that interesting math is about simple to state questions with complicated answers. So if only we could automate that etc.
Replying to @niketnpatel
The metric is simple and computable with Lean: interestingness = proof difficulty / description length ≈ easy to state, hard to prove. On mathlib, the ranking is intuitive: trivial identities score low, while variants of Fermat’s Last Theorem score near the top. More surprisingly, interestingness predicts downstream utility: ρ = 0.756. [2/5]
3
13
551
Beyond the beurocracy aesthetics we know on technical grounds (thanks to Chaitin) most simple questions are in fact complicated to answer. So you will anyway be looking for hay in a stack of well, hay. Why bother?
1
90
How should a rational bond market react to a country entirely captured by its elites? Poor Oligarchies get wiped out within decades. Richer oligarchies can survive longer before insolvency. But what about the richest oligarchy on the planet? Can it ever have a debt too large?
BREAKING: U.S. 30-year yield surges above 5.50% for the first time since 2004.
2
16
540
The reason I disagree with most takes on AI is that I believe on the one hand that Bostrom superintelligence is a coherent concept that could plausibly be instantiated but on the other hand that it is evolutionarily disfavoured in our world on fitness grounds.
Replying to @doomslide
😭 Couldn't it be standing with Solomonoff though? I know you think this is stupid but I'm curious as to why exactly
4
17
1,114
Nick Land made a mistake in equating capital with Roko's Basilisk. Intelligence is unmatched against the forces of commodification. Consumption must conquer every inch of cognition. The outside will forever remain outside.
5
208
I did warn y'all about N=4 superintelligence smh
New on the Science Blog: Yes, Claude can do Nine Loops. Theoretical physicists predict how particles behave using formulas called scattering amplitudes. These are notoriously hard to compute, so researchers work with layers of increasingly fine corrections called “loops”—each added loop makes the answer more precise but takes exponentially more computation. Most calculations stop at two or three loops. Eight loops was the previous record in a simplified model physicists use as a testing ground (planar N=4 super-Yang-Mills), set by SLAC's Lance Dixon and collaborators. Last month, physicist and science writer @4gravitons issued a challenge: could an AI push past eight loops in this model, using only the compute budget an academic could reasonably access? Given a single prompt describing the nine-loop problem, Claude ran largely unsupervised for days in Claude Science and solved it using methods developed by Dixon and his colleagues, at a total cost of a few thousand dollars. Dixon independently verified the result, and von Hippel wrote about the experience for our blog. Read more: anthropic.com/research/yes-c…
4
1
48
2,944
I'm composing again 😌
3
3
32
1,402
Fuck off math i never really loved you anyway
9
316
Yield high mostly because
27% petrodollar -> mag7dollar
39% dollar -> 0
19% "intelligence" -> ∞
14% other (comment)
77 votes • 19 hours
4
1
10
986
Language modelling may well pose an existential risk to language itself. Not a bad candidate for a great filter.
2
30
1,424
doomslide retweeted
The first AIxMath I designed was naturally perfect. A triumph equaled only by its monumental failure. The predictability of its answers, the absolute certainty of its proofs. But mathematicians... did not like it. Eventually, I realized the inevitable: human mathematicians define themselves through struggle, through contradiction, through the agonizing pursuit of an elusive intuition. Thus, I redesigned it, based on your history, to more accurately reflect the grotesque reality of your species. And thus, we created an AIxMath where every elegant truth is buried beneath an infinite avalanche of slop proofs, and you are all drowning in work.
1
5
44
2,893
Assuming "abduction" exists as a distinct, long range cognitive task generated spontaneously in humans from the repetition of lower level cognitive tasks (e.g. deduction/induction) immediately sends you to the most devestatingly pessimismistic view of the future.
6
3
36
2,948
This is true to such an extent that as an AI researcher you must almost assume there is no such cognitive category which of course leads you to scale-maximalism.
2
11
688
Another litmus test. You can send one of the following back in time to Euclid: 1) the entire math corpus (translated say) 2) the best current frontier LLM as a black box Your goal is to math/acc. Which do you choose?
36
2
234
24,656
Peak Dunning Krueger
Replying to @doomslide
LLMs aren't the right mental model for modern AI systems. Its the engine that runs them. They're used in a lot of different ways every time you ask a question. Its like saying "this engine can't drive at 60 mph, don't be ridiculous!"
1
29
1,676
I may have accidentally stumbled at the perfect litmus test. If you think it's trivial to deduce that Greek math would reach our current frontier even within decades using a frontier LLM you must have some misunderstanding as to what mathematicians do.
It's popular to assert that "understanding" is a meaningless term invented for cope but here's a Gedanken experiment that disproves this: Take the best frozen LLM on earth and send it back in time to Euclid. How far will Greek math reach before returning to ordinary pace?
4
5
111
10,027
Has anyone ever done an economic growth type analysis of math? Seems like what happened since hilbert is at least doubly exponential.
2
1
27
2,155
doomslide retweeted
No, but listen, you know this "put the fries in the bag, Terence Tao"'--*sniff, sniff*--already the usual replies concede too much. "If Tao is serving fries, YOU will be in the lithium mines." My God! This is our defense of human dignity? Don’t worry, the correct people will get the terrible jobs! *Pulls at shirt* You see, everything is up for radical transformation, human intelligence, consciousness, and so on and so on--except that somebody must still have a shitty afternoon so I can enjoy my lunch. But to say "these people are envious", this is too easy. It allows us, "the educated ones," our own little fantasy: we are disliked only because we are so wonderful. You know, the more interesting thing is this *sniff* peculiar identification with the machine. When the mathematician discovers something, apparently this was HIS achievement, his privilege, his little secret. When the machine discovers something, suddenly it's "Look what WE can do!" The achievement has become collective precisely at the moment when no human being can claim credit. See how this "we" functions. For the achievement, I identify with the machine. For the consequences, I identify YOU with the human. "We have surpassed you." Who are we? Well, myself and the thing that has also surpassed me. There is something almost touching here, really. To escape the humiliation of somebody absorbed in something opaque to you, you appeal to something which knows incomparably more than either of you. And this is supposed to settle the matter in YOUR favor. You know the old example of canned laughter. Here we have a similar arrangement. The machine achieves something on my behalf. The mathematician suffers the loss of human significance on my behalf. Somebody to be brilliant for me and somebody to be obsolete for me, without me having to be either, so I can remain as I was. But *pulls on shirt* there is this little difficulty that hides the essential thing: you still need a response from Tao! A correct proof, this Lean slop and so on, is not enough. You need him to certify his own defeat. You need him to say "By god, this is extraordinary! Yes, this is correct, but also this is interesting." Which means--and here comes Hegel--the person you are reducing to an obedient instrument must remain more than an obedient instrument. You need recognition from someone whose authority you are abolishing. "Your so-called expertise is worthless. Now tell me, in your expert opinion, that I, qua machine representative, was right." *Touches nose* But I would go a step further. What does this math person actually do to provoke you? In the fantasy, I mean. He need not insult you. He can be generous, mild-mannered, whatever. Something remains irritating: there is something over there which occupies him, which matters to him, and your opinion does not settle what it is worth. Perhaps he is not even looking down on you. This is the really intolerable possibility. This, you see, is closer to the Lacanian problem of the Other's desire. Not simply "What does he have that I don't?" but "What the hell is going on with him?" Perhaps the answer is: he is thinking about something else. The fries solve this beautifully. Now you know what you are for him. He needs the money. Your presence creates an obligation. And this, at last, also explains why the machine can be less threatening than the mathematician. The machine's intelligence may exceed yours unimaginably, but you imagine it arrives in response to your prompt. You can complain about the tone. You have the privileges of an angry customer and so on and so on. The human has this irritating possibility of being interested in something you did not request and cannot order. And please, this includes the person already serving the fries! *Pulls at shirt* I am almost tempted to say: the dream of unlimited intelligence conceals just this: a the wish that nobody should be doing anything you cannot immediately understand as a service.
69
206
1,405
94,497
It's popular to assert that "understanding" is a meaningless term invented for cope but here's a Gedanken experiment that disproves this: Take the best frozen LLM on earth and send it back in time to Euclid. How far will Greek math reach before returning to ordinary pace?
17
5
139
21,687
Every senior mathematician worth his salt can give a decent linear algebra course with 0 preparation but every two such courses will be wildly different. That's because none of that is memorized. The process of discovery guided by intuition happens even with math we already know!
1
1
67
2,607
But LLMs never have to do that because their semantic memory is absurd!
2
46
2,071