ImgurRefugee114
joined 1 year ago
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.
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
Hey it's me
The guy next to me on the list was "iluvlamp" so I can only assume...
~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.
As a mod dev, this is why I set my steam to invisible...
Oh funny you say that because I commented that their ex banged a kernel maintainer and they've been mad ever since; banned me for it lol
Very temped to @ the one guy dedicating their life to posting in the LinuxSucks lemmy
Because he's superman
The tracks are made of people