Maxim Raginsky

@mraginsky.bsky.social

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

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. ...

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.

“[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 ...

“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. …

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.

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.

tweety fish oh wow like a chimera or something spoooky@sifu.tweety.fish · last mo.

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.

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!