How about the doesn't need to be paid in cash? The government claims a percentage of the company over time...as always only above some level of valuation
Well for one with a gigantic derivatives market compared to the underlying one it becomes relatively cheap to manipulate the underlying market.
If you can make a gigantic bet on the price going up and then buy a large amount of Bitcoin that moves the price up you can win from that. See the Jane street India derivatives market issue.
I absolutely agree. Not re-running the computation for the first 4*10^18 and claiming a new record is absolutely disingenuous. I could verify just a single example that hasn't been covered before and claim a new record with this logic.
That is not to say that this is not a cool project. The distributed nature and running so seamlessly directly in the browser is definitely cool and allows people to contribute compute easily.
It may be that grandiose claims of new records are needed to make people donate their computational resources but I am not a fan of deceptive claims like this.
You are assuming that the underreporting will be uniform. In reality people may be underrporting things they are embarrassed about and maybe even overreporting the opposite.
This is a flaw in the data that is much harder to account for.
Well if you consider 1/z as a function of a complex coordinate it definitely makes a lot of sense to set it to infty. That identifies +infty and -infty if you restrict yourself to the real numbers.
The nice thing about formal verification is exactly that. You have a separate tool that's very much like a compiler that can check those 1200 pages and tell you that it's true.
The source of truth here is the code we wrote for the formal verification system.
AI allowed him to avoid detection for a long time. It allowed him to create thousands of songs so that the each one would only get moderate amounts of streams thus not raising suspicion.
Had he created songs by hand they would rack up millions/billions of botted streams but them not being international hits anyone had ever heard before would have made it obvious botting behaviour.
I'm not sure if you are kidding but just in case you are not this is very misleading and in fact misguided.
Refering to polynomials as exponential just results in confusion essentially removing any meaning from the word. Any function can be written as something involving exponents, so that statement becomes meaningless.
Ok I don't mean to be pedanntic but a sphere is just the boundary of a ball. If we are trying to capture volume we should be talking about balls of water.