Viewing profile — emileokada

If I recall correctly, they are now also only allowed to be placed where road accidents have happened before.

I thought this mathoverflow post might be of interest to those who mentioned automated theorem proving in discussions on the recent post on the ABC conjecture ( https://news.ycombi…

I believe the article explicitly steers away from this because nearly all the discourse on this proof has been precisely about this (c.f. remark Scholze that 'The whole discussion …

A lot of proofs at masters level and beyond omit a lot of details because they can easily be checked, but would be tedious to write out explicitly. This means that a 1 page proof w…

Not convinced this is as junk as you claim it to be. From the abstract: > While our model was solely trained with natural images, our method successfully generalized the reconstruc…

It's quite staggering how many people have posted on this thread without reading the article. Nearly all the objections people have raised are directly addressed in the post. For t…

This is not true if you say division by 0 is undefined or +inf either. It really is totally fine.

> However, it is definitely possible to define some operation such that 1 `op` 0 := 0, just not the inverse operation of multiplication. If you read the post this is actually exact…

I'm not sure what you're getting at. Classically we expect that given the same initial conditions, the outcome of a fluids experiment should always be the same. If an equation mean…

No. They've shown non-uniqueness of solutions of a strictly weaker problem. They have yet to say anything about the actual Navier-Stokes problem.