The labs have their users as the perfect training data source now. Much better than mechanial turk.
That's not what happened. The claims of this for Navier-Stokes were already exagerated. It was dramatic but there was AI involved on both sides to make progress and the final proof did not use the same approach.…
That's a bit of a stretch of the term engineer
The claim is that competition is what's preventing them from unilateral disarmament.
That's all true but there is a reason why these problems have remained unsolved for decades and are now all falling at the same time. The reason is not mathematicians being more incentivized.
They grow over time if you consider a lineage of models as the same model.
Except it runs into an excess problem. As an example, Berlin - just one city - has 7 professional orchestras. They are supported by the government financially to the tune of 200 million EUR per year. There is a very…
Why would the implementation of this not simply be a fee that the mail carriers have to impose? Isn't that by far the simplest solution that removes any and all bureaucracy for almost everyone and still catches 99% of…
You are also discounting your time which is not fair
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…
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…
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…
Yeah but width-first immediately gives you the solution for any finite alphabet. So in that sense it is trivial.
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…
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…
I agree. It's a volume of water bounded by a sphere. I'm just being pedantic about the common use of the word in this thread. I'm also somewhat surprised no one else was being pedantic about this. I expect better from…
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…
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.
We know how to do this and have observed this tons of times at this point. This would not be novel in any way. This is about exciting the nucleus which is completely different.
It's essentially just the boundary of the Mandelbrot set which makes sense as that's where the calculation is the most unstable.
Television typically runs ~7 minutes of unskippable ads for 23 minutes of content.
I'm sorry but how, other than colorful language, is it useful to consider every cell as a universe? And how does that put us at the center of the universe? Equating cell to universes here does nothing of value.
A similar thing also happens in the modern formulation of the Stoke's theorem. Once you set up the machinery of differential forms it becomes almost a trviality which is just amazing.
At the very least they do not allow keychain to interact with browsers other than safari. This means that your autofill does not synchronize easily with your mobile devices. That's a choice that is not based on…
The labs have their users as the perfect training data source now. Much better than mechanial turk.
That's not what happened. The claims of this for Navier-Stokes were already exagerated. It was dramatic but there was AI involved on both sides to make progress and the final proof did not use the same approach.…
That's a bit of a stretch of the term engineer
The claim is that competition is what's preventing them from unilateral disarmament.
That's all true but there is a reason why these problems have remained unsolved for decades and are now all falling at the same time. The reason is not mathematicians being more incentivized.
They grow over time if you consider a lineage of models as the same model.
Except it runs into an excess problem. As an example, Berlin - just one city - has 7 professional orchestras. They are supported by the government financially to the tune of 200 million EUR per year. There is a very…
Why would the implementation of this not simply be a fee that the mail carriers have to impose? Isn't that by far the simplest solution that removes any and all bureaucracy for almost everyone and still catches 99% of…
You are also discounting your time which is not fair
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…
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…
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…
Yeah but width-first immediately gives you the solution for any finite alphabet. So in that sense it is trivial.
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…
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…
I agree. It's a volume of water bounded by a sphere. I'm just being pedantic about the common use of the word in this thread. I'm also somewhat surprised no one else was being pedantic about this. I expect better from…
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…
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.
We know how to do this and have observed this tons of times at this point. This would not be novel in any way. This is about exciting the nucleus which is completely different.
It's essentially just the boundary of the Mandelbrot set which makes sense as that's where the calculation is the most unstable.
Television typically runs ~7 minutes of unskippable ads for 23 minutes of content.
I'm sorry but how, other than colorful language, is it useful to consider every cell as a universe? And how does that put us at the center of the universe? Equating cell to universes here does nothing of value.
A similar thing also happens in the modern formulation of the Stoke's theorem. Once you set up the machinery of differential forms it becomes almost a trviality which is just amazing.
At the very least they do not allow keychain to interact with browsers other than safari. This means that your autofill does not synchronize easily with your mobile devices. That's a choice that is not based on…