This will only catch (literally) zero effort abuse.
ImgurRefugee114
Replying to @Sludgehammer@lemmy.world
The fucktard who made the Oculus Rift likes to use my preferred operating system to kill people. Tech is a wild world.
Edit: actually not just tech. Capitalism is just evil in general and polutes everything both literally and metaphorically
We live in a world where it’s sorta just widely understood that the bottled-water chocolate-bar company murders people for profit on the regular
It’s all fucked at every level
libcom.orgStriking Nestle worker murdered by right wing paramilitariesStriking Nestle worker and trade union organiser, Oscar lopez, was shot four times by multiple gunmen in a local bar. ‘Sinaltrainal’, his trade union had been locked in a bitter dispute with Nestle over union recognition and report receiving several death threats via text message from a right-wing paramilitary group, ‘Urabenos’- the day before Lopez was murdered. The messages read, “We are going to chop you up” and “Death to all Communists”.Replying to @MIDItheKID@lemmy.world
I’ve literally never played multiplayer in any rockstar game. I get that’s where all the hype is but I’ve never cared for a second. Their games have always been like Skyrim for me.
Replying to @sanitation@lemmy.today
I look forward to playing it for free.
Replying to @AlteredEgo@lemmy.ml
The Decoder reported on August 1 that Brown said the lab had not spent much on each problem and that there were “no Millennium Prize Problems (yet)”.
Just to be clear.
But yeah, if that happens, it will certainly be a major milestone.
Replying to @jobbies@lemmy.zip
So youre suggesting they secretly have Einstein standing in the server rack, making loud fan noises with his mouth and just typing really fast?
Either the problems were solved or they weren’t. If they were, then that’s evidence enough; doesn’t matter if they model isn’t publicly available.
Having those sudden breakthroughs come from a person or even a large group of mathematicians, suddenly and all at once, would be more surprising than a well-harnessed LLM figuring it out.
With that said, I’m curious about peer review of the actual proofs. Just because Lean builds them doesn’t mean they’re materially valid. It could very well be that it’s completely wrong and it just hallucinated well enough to fool OpenAI into publishing it, which would be a hilarious egg-on-face moment
Replying to @Bonje@lemmy.world
~1 token per second (storage bound gen4 nvme)… Some of us have places to be.
Don’t get me wrong. Its impressive that it can run at all, but honestly the usecase is exceedingly narrow. You’d have better results with a structured quantized gpu-only gemma or qwen workflow. Quality over quantity, rely on validation and a structured process: lots of cross-model review and iteration loops with spec and test driven dev. You could probably get a working alpha by the time colibri set up the environment.