161–170 of 526 posts
Earlier quoted context omitted.
It sounds plausible they spent more, given the output tokens (6 billion of them) would cost $300k at API prices and presumably there will have been many more input tokens than output tokens.
Unlikely, api pricing includes a healthy profit margin (as near as we can tell from the outside) which they wouldn’t charge themselves.
Ugh we still don't know if this is true and it's nearly impossible to calculate without a full understanding of the real CAPEX cycle. Stop spreading these rumors until we know for sure.
This is quite useless actually. The whole point of formalizing FLT was to clean up modern number theory into reusable abstractions that prove it. If its 13 million LoC, it might involve so much spaghetti that its unusable other than the result
Earlier quoted context omitted.
So much doom and gloom on this site. Makes it almost not worth reading.
Please tell me how AI is going to make regular people's lives better. You optimisitic types keep saying "just wait, its going to cure diseases" without any outlook on how thats going to happen. You're actually just repeating marketing jargon from AI companies who want people to think they're going to possibly live longer if you let them build more datacenters, so they can make another 30%. Its all about money, thats…
i don't really understand either take. nothing else in the world is so perfectly black or white. there will be good, there will be bad.
i think i especially dislike the "100% strictly negative" take, considering the good things that ai has already done or accelerated.
Earlier quoted context omitted.
While pretty much everyone is certain Fermat was mistaken in believing he had a valid proof for the theorem, this is an expanded (compared to proof presentations) version of one proof - not the shortest presentation of the shortest valid proof.
Given the likely length of the shortest possible proof, I feel like Fermat is 100% vindicated - the proof won’t fit in the margin. My strong hunch is that it was a joke - he knew how difficult the problem was and claiming he had a solution was I think a huge motivating factor for many mathematicians trying to prove it. The greatest nerd snipe troll in history.
This is quite useless actually. The whole point of formalizing FLT was to clean up modern number theory into reusable abstractions that prove it. If its 13 million LoC, it might involve so much spaghetti that its unusable other than the result
physics is like sex: sure, it may give some practical results, but that's not why we do it
Earlier quoted context omitted.
I hope you keep these horrible thoughts to yourself if you ever walk through a paediatric hospital
Thinking that aging is a natural part of the human experience is a horrible thought? Please explain...
Earlier quoted context omitted.
So much doom and gloom on this site. Makes it almost not worth reading.
maybe that's because the doom and gloom is the transparently correct outcome?