Replying to on aussie.zone
Use meth responsibly
–a guy who uses meth
Remote
o7___o7
@o7___o7@awful.systems
lemmy 0.19.12
[redacted] enthusiast, robot combat enjoyer, distressingly Appalachian, father of ninjas
0 Followers
0 Following
50 Posts
Joined October 08, 2023
Replying to
You really ought to write this up into a full-sized article. Your take is the best take I’ve seen. It coyld be a look into an actually-real scientific discovery AND takes the shine right off these criminals’ fairy tale story.
Replying to
1990s: people using Netscspe Navigator are web surfers
2020s: people who use Claude AI are butthole surfers
Replying to
hogher
Bristley? Invasive? Dangerous? Not kosher?
Replying to
This reads like someone is unfortunate encounter with mental health rather than a technical conference talk.
Replying to
Unikitty did it first:
www.youtube.com/watch?v=4tz9WIfsd-Q
Replying to
Is this a play to get openai out of its obligations to microsoft?
Replying to
It’s so funny how these highly “rational” millionaire tech lords get so bent out if shape by someone else getting any attention whatsoever. Just peak pettiness.
Replying to
I have to take this story in small doses, it’s fuckn terrible.
They sure seem to enjoy the idea of a Year Zero
Replying to
I feel like he lifted “cult factory” without attribution. Was that Robert Evans?
Replying to
It’s been widely suspected that any of the “frontier” labs declaring a slowdown or cessation of training would be a herald of collapse. It will give them more survival time at the expense of terminally falling behind the competition. Very much an eating the seed corn sort of thing.
Replying to
Ya see, we’re being charitable when we call them grifters instead of genocidaires.
Replying to
P Thiel is visiting Nashville lol
luma.com/do6chah5
We’re basically the Vatican of middle Tennessee.
Replying to
First up: thanks for your hard work here in the sneer mines during these ridiculous times!
I saw this being ignored on HN and I thought that you might appreciate it:
NAVIER–STOKES LOST IN TRANSLATION – WHY LEAN VERIFICATION OF AI AUTOFORMALISATION DOES NOT GUARANTEE
CORRECT NATURAL LANGUAGE PROOFS
arxiv.org/pdf/2610.08144
(Apologies for shouting!)
The authors (who don’t seem to have a problem with LLMs) point out that automatic translation of natural language mathematics into Lean is very hard, actually. They also highlight some examples of such translation errors in the Navier-Stokes “paper” published by OpenAI. They tread lightly and don’t take a position on the correctness of the proof.
I also thought the reference to the Solvability Complexity Index (which is new to me) was interesting, and there’s an appendix with an explainer on how the SCI hierarchy is constructed. According to this scheme, autotranslation of natural language proofs is strictly harder than the Halting Problem.
This is all beyond my level, but I’d love to see what our local experts think of it.
Replying to
Stuff like this highlights that this "info"dump was an act of contempt toward professional mathematics. If OAI actually gave a damn about people, they could have coordinated with actual researchers in the relevant fields to clean them up and put a human face on it. Put everything behind NDAs, fund some grants and fellowships, and if it leaks? So what, it would have been actual good press, it would have weeded out the the obvious garbage, and they’d have brought a lot of young researchers inside the tent.
But nooooooo, they chose violence, because they are assholes.
I know I’m preaching to the choir, but damn I’m stirred up about these assholes.
Replying to
If we’re lucky, they’ll get left on the same dusty historical shelf as the raelians when this is all over. They’re just to fuckin weird for general consumption.
Replying to
That 2015 quote was a real stinger. Literally the future-tense version of “we destroyed the world but think of all the shareholder value we created along the way!”
Replying to
Most of rationalism seems to be “Making up a guy and getting mad at him” doesn’t it?
Replying to
Entryism in the sneersphere will be a problem sooner or later.
They’ll have always been against this.
Replying to
I mean, if I wanted to be childish I’d say that Nate’s ok chasing all the users off becsuse he’s used to playing with himself.
Ya see, the OP was being perfectly reasonable.
Replying to
That’s the bunch who signed a billion dollar contract to bullild a datacenter on a britosh scaffolding-storage lot they didnt own, isn’t it?
Replying to
Knowledge workers of the world, unite; you have nothing to lose but your teeth.
Replying to
The nap I had afterwards was a bliss like escaping the fucking samsara.
I felt this in my soul
Replying to
I’m not a scientologist but LRH had some great ideas
Replying to
That’s some bullshit. Much respect for pushing back!
I hope that we’re through the worst of it.
Replying to
it’s_happening.gif
OpenAI halts frontier-model training amid string of agent misalignment incidents
arstechnica.com/…/openai-halts-frontier-model-tra…
Replying to
“consort” and “compassion” are doing some serious lifting there
Replying to
Hitler never made a concentration camp for dogs.
Replying to
limiting to .edu or ye olde mathematics stack exchange might get you part of the way, in addition to the previous suggestions! Lots of good stuff on old university websites!