Notes on my lecture at the National Academies workshop on: AI to Assist Mathematical Reasoning. 🧵
I find it useful to work backwards from an end goal; what should be our “Holy Grail” here?
Alexander Gietelink Oldenziel
@FellowHominid
Just because you're paranoid doesn't mean they're not after you
Joined March 2010
Alexander Gietelink Oldenziel’s Tweets
Indeed! The magic is all in the kikiness
Which reminds me, I'm organizing a conference all about turning boubafying into kikishapes starting This Monday. You can attend virtually... and you should!
singularlearningtheory.com
Quote Tweet
You see, differential geometry is limited in that it can only do bouba-geometry, whereas algebraic geometry has a whole language for treating kikiness. It even has tools for boubafying kiki-shapes in characteristic zero by blowing the kikies up.
Show this thread
1
1
6
You see, differential geometry is limited in that it can only do bouba-geometry, whereas algebraic geometry has a whole language for treating kikiness. It even has tools for boubafying kiki-shapes in characteristic zero by blowing the kikies up.
8
39
273
Show this thread
Today, we’re starting a blog post sequence explaining how causality underpins many critical aspects of safe AGI, including agency, incentives, misspecification, generalisation, fairness, and corrigibility. We explain past work and open questions.
2
56
175
tldr; Harry Reid gave a donor an exclusive contract to study dino-beavers at Skinwalker Ranch in 2008, the NYT wrongly reported it as a UFO program in 2017, this memed into existence a real DoD UFO program with Ancient Aliens members, now we have ridiculous stories all the time
Quote Tweet
1. Normally sane figures are making fools of themselves this week over "alien wreckage." But the real UFO story is about how we got here: government nepotism and journalistic fuck ups at the NYT. Oh, and dino-beavers. Gear up. theintrinsicperspective.com/p/the-ufo-craz
Show this thread
6
21
1. Normally sane figures are making fools of themselves this week over "alien wreckage." But the real UFO story is about how we got here: government nepotism and journalistic fuck ups at the NYT. Oh, and dino-beavers. Gear up.
45
182
518
Show this thread
the refreshing sensation of finding a negative result in a dark research direction... God gave me a sign (a minus)
1
1
4
Replying to
These are not the reacts LW needed. These are the reacts LW deserved.
1
4
13
*cyborg elite in the year 2499 voice* these hieroglyphics are the prototypes from which our own kanji descended, the closest prespeakers came to miming the artilect tongue. It was they who first understood English to be a provincialist patois of fatally limited dimensionality
Quote Tweet
LessWrong enabling reacts inaugurating a Golden Age of intellectual inquiry
1
6
51
LessWrong enabling reacts inaugurating a Golden Age of intellectual inquiry
61
176
1,611
Paul Christiano is Mathematics' lost son. After 40 years in the desert of empirical nonsense he has returned to the Ivory Teet to fullfill his Destiny
3
6
102
Statistical ranking and combinatorial Hodge theory (Jiang et al. 2011 web.stanford.edu/~yyye/hodgeRan)
Any edge-weighted digraph can be decomposed into a potential and a cyclic part (in cubic time). This decomposition is applicable to social choice theory and economics.
Cc
1
2
3
Show this thread
I thought this had to be fake but I looked it up. This is a real animal 😧
The giraffe weevil
Quote Tweet
1
1
7
Time for Agent Foundations to learn about Traced monoidal categories and teological caps?
1
2
Show this thread
My HS maths teacher liked to say: in math being almost right equals being wrong. Forbidding. Uncompromising.
'hereustic arguments' are a relaxed notion of proof, a probabilistic guess that is 'sorta correct' and may even be retracted if incorrect.
3
1
4
Replying to
You: I’m into causal models and probability.
Her: What’s your p(do(me))?
7
5
184
Want to know more about Singular Learning Theory and AI alignment? No better way to start than
's new talk "The PHYSICS of Intelligence" 👉youtube.com/watch?v=--MhAI
Quote Tweet
it's for your own good
metauni.org/slt/workshop20
read image description
ALT
3
7
70 years ago, vexed by problems in signal processing, Claude Shannon developed a mathematical answer to a profound question: "what is information?"
Today, the problem of AI alignment compels us to ask "what exactly is optimisation?"
4
4
28
🕺Don't blame it on the sunshine
Don't blame it on the moonlight
...Blame it on the boogie🕺
oh hi I didn't see you there! just wrote a blogpost about lazers and the consequences of diffraction limits on the plausibility of Star Wars coz im a nerd 🤓
4
In case you needed a reminder, baby duck-billed platypuses are called puggles, a group of platypuses is called a pandemonium and due to being built like hairy socks full of custard they’re not very graceful - their walk is more of a waddle🤎
0:07
67.1K views
40
395
2,545
Show this thread
A new preprint added to the case for herpes causing dementia.
How did they do it? They used a Herpes zoster birth date vaccine eligibility cutoff for a regression discontinuity.
Dementia diagnoses were down 3.5% or 19.9% in relative terms for people born a week later.
Quote Tweet
Herpes is terrible, but did you know it might also be making people demented?
Studies of the effects of antivirals support this contention and show that we may be able to greatly reduce dementia rates with existing drugs.
Check out this Taiwanese result.
Show this thread
11
71
443
Show this thread
YES where are the unofficial afterparties
Find out in the comment section below 👇
1
1
9
“A clock is a flow meter for entropy.” — Gerard Milburn, a quantum theorist at the University of Queensland
9
114
415
You know it was coming but it's still frightening to see the quintessential human skill of humor production fall to the merciless onslaught of the machine
Quote Tweet
guys what the fuck I think Clong can write funnier tweets than I can
Show this thread
5
... the Substance of Reality is not merely mixed and merged by happenstance. By decree, it can only be warped and woven according to the Three Righteous Compositions: the Penetration of Exposed Ports, the Intimacy of Sharing Variables, and the belated Setting of Parameters
5
16
(...) however, it allows for a useful technique known as counting"
Profound.
3
8
77
Show this thread
👁️
Quote Tweet
Replying to @FellowHominid
Infinite power.
That's the heart of McKelvey's proof.
If each voter has his own spatial preferences over multiple issues (e.g., each have a bliss point for military spending and one for social spending, and closer is better), the agenda setter can take those voters anywhere.
1
1
TIL i learned the speaker of the house is the real power behind the throne thru the McKelvey's chaos theorem👀
Quote Tweet
Replying to @adamdangelo
Arrow's theorem helps explain why legislatures appoint someone with strong agenda setting powers.
McKelvey's chaos theorem is the real-world version of Arrow, and it illustrates the power of the agenda-setter.
So legislators put effort into monitoring the agenda-setter.
1
4
MRI= Fourier analysis of body and mind thru dynamically controlling all your body's hydrogen atoms in precisely choreographed wavelets of gyromagnetic decay of quantum spins thru vacuum chamber liquid helium cooled superconducting electromagnets 30000x Earth's magnetic field
Quote Tweet
MRI machines are more complex than I appreciated, amazing that this works:
youtube.com/watch?v=NlYXqR
1
17
Ah yes, the famous first line of the algebraic geometer's anthem!
Quote Tweet
2
6
39
I did did guys. I killed my darling.🥲
People kept telling me they loved that somebody talked about their failures for a change ¯\_(ツ)_/¯
Quote Tweet
6






















