beernet
Joined 4 years ago
Joined 4 years ago
Russia could stop this invasion any time and not a single Russian would be hurt. Pure Kreml propaganda on HN, how sad.
There are "sovereign" clouds like StackIT, OVH, OTC or Scaleway. What they all have in common is that they are lightyears behind hyperscalers in terms of performance, reliability and security. Needless to say, these alternatives can only serve open-source models because they are not capable of training a SOTA equivalent by themselves. The cherry on top is that you have to pay a sovereignty premium for inferior performance.
At the same time, most of the proofs I've looked at appear super messy and chaotic to me (while still being correct of course, so it doesn't matter). LLMs do not care about "elegance" the way human beings do, which is a big advantage. LLMs for mathematics is such a great fit on many levels. Can't wait for a significant breakthrough, prove P=NP and all hell breaks loose.