Maxim Raginsky

Maxim Raginsky

@mraginsky.bsky.social

web: http://maxim.ece.illinois.edu substack: https://realizable.substack.com

7.3K followers972 following3.6K posts

Wise words from Richard Sennett's _The Craftsman_: "The enlightened way to use a machine is to judge its powers, fashion its uses, in light of our own limits rather than the machine’s potential. We should not compete against the machine. ...

... A machine, like any model, ought to propose rather than command, and humankind should certainly walk away from command to imitate perfection. Against the claim of perfection we can assert our own individuality, which gives distinctive character to the work we do. ...

Came across the well-known quote of Oppenheimer in a book: “When you see something that is technically sweet, you go ahead and do it and you argue about what to do about it only after you have had your technical success. That is the way it was with the atomic bomb.” That's the way it is with AI now.

Quine's indeterminacy of translation obviously applies to the process of translating mathematical texts to their Lean formalizations. Useful to keep in mind in the context of all the current AI-and-math discourse.

Maxim Raginsky reposted

“[H]e did not mean to imitate those philanthropic models who make a profit out of poisonous pickles to support themselves while they are exposing adulteration, or hold shares in a gambling-hell that they may have leisure to represent the cause of public morality.” (about Dr Lydgate in _Middlemarch_)

Ricoeur on reading, very relevant for LLMs that act via the interface of language: "reading ... is at its best a struggle between two strategies, the _strategy of seduction_ pursued by the author in the guise of a more or less trustworthy narrator ... , and the _strategy of suspicion_ pursued ...

... by the vigilant reader, who is not unaware of the fact that she brings the text to meaningfulness thanks to its lacunae, whether these be intended or not." (footnote 23 on p. 159, _Oneself As Another_).

“All prediction is conservative: it demands that we be as we are in whatever future it constructs.” — Paul Valéry, “Unpredictability” (1944)

“It will perhaps one day be necessary to forbid actually doing what today science fiction is limited to dreaming about. But have not dreams always transgressed into the realm of the forbidden? So let us dream along with Parfit. …

… But let us simply express the wish that the manipulative surgeons in these dreams never have the means — or, more the right — to perform what is perfectly permissible to imagine.” (Paul Ricoeur, “Oneself As Another”)

I find the "digestion" metaphor (i.e., mathematicians "digesting" AI-generated proofs) vulgar and off-putting. It's a sign of the times, genuine intellectuals like Yuri Manin are being replaced by a new generation whose identity is shaped by narrow professionalization and impoverished imagination.

Maxim Raginsky reposted

here is a succinct thing I can say: "alignment"-style AI safety risks DO NOT EXIST or need remediation with LLMs as such (there are lots of other problems) and OpenAI and Anthropic are in the business of TRYING TO MAKE THEM EXIST so that they can remediate them.

it's so funny how they imported all of their concerns about alignment and internal motivation to an algorithmic framework that... really doesn't have those things, architecturally.

“established … by a number of savants (mostly from the Soviet Union)” — LaSalle and Lefschetz, “Stability by Liapunov’s Direct Method,” 1961

No one should be taken seriously when they say things like “update my priors” unless they can explain how to derive the Kalman filter. Desperate times call for desperate measures, people!

If you turn something into a benchmark with quantifiable rewards and progress metrics, don’t be surprised when the machines achieve dominance there. At that point it will be too late to gesture at intrinsic non-economic values, you’ve made them illegible (in Scott’s sense) to any outside observer.

Maxim Raginsky reposted

Replying to @maxread.info

i don't like that i feel like we're all getting dragged against our will into an all-media all-the-time LessWrong thread, an insanely annoying and disorienting experience that most people do not have sufficient experience or mental preparations to deal with

Maxim Raginsky reposted

The Navier-Stokes fight is a perfect encapsulation of where AI development is right now: this should be really cool and exciting, and instead because of Silicon Valley egos it's become a fight over cheating, surveillance, and companies trying to get one up over the other