• 5 Posts
  • 67 Comments
Joined 2 years ago
cake
Cake day: November 8th, 2022

help-circle

  • I’d like all ai service to publish the energy used in training the model and performing inference.

    “Queries uses an average of X kWh of power. A model training run requires X MWh, and the development of this model over the years required X TWh of power.”

    Then we could judge companies by that metric. Off course, rich people would look for the most power-draining model for the sake of it.














  • Well that’s interesting: in order to define unmeasurable sets, you relied on the axiom of choice… I suppose it might be possible to define unmeasurable sets without AC, but maybe not!

    Every time I encounter the axiom of choice implying a bunch of crazy stuff, it always loop back to requiring AC. It’s like a bunch of evidence against AC!

    I find it interesting that the basic description of AC sounds very plausible, but I’m still convinced mathematicians might have made the wrong choice… (See what i did there? 😄)



  • Yeah, I’m really out of my element talking about these abstract mathematical topics… I’m too much of an empirical scientist it seems!

    Give me a set and I’ll find a way to measure it! …actually I’d like to know what’s the mathematical definition of measurement, there’s probably a trick there… 🤔