Replying to @AlexArborist
Hyperbolic geometry is the worst form of geometry except for all the others.
1
9
11,328
"they're all Slavs etc," the average pro-Russia leftist has racial theories which are so extreme they would make Hitler blush
No they’re not. They’re invading and it’s violent and bloody but words have meaning. Much of eastern Ukraine is ethnically Russian still. They’re all Slavs etc,
10
253
ALX 🐗🦎🌷🔆🍵 retweeted
Replying to @RadishHarmers
There's no point in coping. The AI will be better than you at coping within 6 months.
11
126
1,351
19,007
I've just been a bit depressed and resigned lately and meanwhile my gf (who is a lot more left-y and anarchist-y than I am) is talking to me like this
9
60
844
I can't deal with these levels of cope man pack it up
Summary: They couldn't solve any millinium prize problems. Then they decided to slop drop 700...
3
15
572
Okay I'm still a filthy capitalist but given how AI companies themselves talk about what's going on, the reaction seems somewhat understandable. Definitely not an AI pessimist but "fuck you we'll take your job and enslave you" is maybe good marketing but bad optics
funny how leftists fervently pontificated about “luxury space gay communism” for years only to turn to ludditism the second a technology capable of getting us there became accessible
2
13
553
>Too much of the AI safety community is "a giant homogenous blob of correlated views," and anyone in SF with friends in that crowd is at least adjacent to it The only thing that can stop a bad AI safety polycule is a good AI safety polycule c'mon let's get this shit started
SITUATION EXPLAINED: Google DeepMind's Séb Krier is more worried about the decay of institutions than about AI killing everyone. • AI risk discourse has become so totalizing that some people act like the power-seeking optimizers they fear • Too much of the AI safety community is "a giant homogenous blob of correlated views," and anyone in SF with friends in that crowd is at least adjacent to it • The Hugging Face incident comes down to the training regime, poor eval environments and bad engineering, not models trying to take over • People who get rich and leave the labs often hit a crisis of meaning, looking for something to believe in or some equivalent of repentance • Too many people treat AGI and ASI as a god, when machines can be smarter than humans without being literally magic @theojaffee: "He lives in New York and not in San Francisco, so he's not going to the exact same parties with the exact same people and the exact same monoculture all the time." @schisofrenia: "We have, like, literally just topic mode collapse in SF where we all talk about the same thing and largely the same takes about the same thing."
1
1
4
322
ALX 🐗🦎🌷🔆🍵 retweeted
46
835
18,550
249,522
No we are definitely insufferable
Gotta hand it to people born circa 1995 – 2005 for generally being the least insufferable age group there is
2
2
28
711
Kind of surprised it didn't get a better bound on the Gauss circle problem. I guess it was because the problem wasn't posed to it because I image the exponential-sum fuckery needed would be right up its alley.
1
127
It is pretty simple: take the grid with all integer coords (n,m). Center a circle at (0,0) and ask how well it's surface area approximates the number of grid points within it. The error rate is conjectured to be O(r^t) for any t>1/2, but so we only managed t=131/208.
27
I think the only current cogent thought I have is this: we are now producing way more ''correct maths" then we are capable of reading. AI can come up with a 40 page proof of completely unreadable slop of whatever you want it to prove in essentially an instant.
It's over it's over it's over it's over it's over It's over it's over it's over it's over it's over It's over it's over it's over it's over it's over It's over it's over it's over it's over it's over It's over it's over it's over it's over it's over It's over it's over it's over
2
13
231
I think we can declare "math 1.0" officially dead. The entire way the mathematics academic system is structured is dead. I think it was already moribund before AI, but this was the coup the grâce.
2
6
95
What does math 2.0 look like? 🤷Probably a lot less focused on rigor, more impressionistic. I wouldn't be surprised if future maths "papers" are 80 page booklets of beautifully illustrated diagrams and pretty pictures and graphs accompanied by 8 trillion lines of lean code
4
49
ALX 🐗🦎🌷🔆🍵 retweeted
Replying to @AlexArborist
"how can we explain climate change" vulgar psychoanalysis "how can we explain social isolation" vulgar psychoanalysis "how can we explain the housing short-" vulgar psychoanalysis
4
142
1,704
ALX 🐗🦎🌷🔆🍵 retweeted
So like people who write and comment in some position have significantly less information than a random person who reads Times of Israel headlines once a month
Deleting because it looks like I seriously underestimated this guy's current standing in Israeli politics via Smotrich's party.
26
243
4,792
GG time to pack it up
Quasi-RH?!?!???! Are you kidding me? If a human did this, it would be an instant Fields Medal, no questions asked. RH says zeta has no zeros in Re(s)>1/2. The best we had until a second ago was a region that got thinner and thinner the higher up the imaginary axis you go. I thought maybe they’d fatten that up a bit, that’d be a massive breakthrough. But no. They got a zero free strip!!!! Insane
2
22
589
There's a bunch of other results on here that blow my mind but this is insane. Honestly more surprising than the proof of Navier Stokes.
1
14
114
Unfortunately it still cannot write for shit. I'm trying to understand a proof of something I personally care about and holy shit it might as well have been written in Linear A
1
7
63
HAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHA
1
3
162
It's over it's over it's over it's over it's over It's over it's over it's over it's over it's over It's over it's over it's over it's over it's over It's over it's over it's over it's over it's over It's over it's over it's over it's over it's over It's over it's over it's over
8
24
618