3 ms·
Can anyone find (or draw) a picture of the construction?
by Jeff_Brown 4mo ago
Can anyone find (or draw) a picture of the construction?
- pradn 4mo agoThey have a "before" picture but not an "after"!
- deleted 4mo ago[deleted]
- ninjha 4mo agoThey only proved that one exists; computing the actual construction is non-obvious (the naive way to construct it is computationally infeasible).
- deleted 4mo ago[deleted]
- gibspaulding 4mo agoThis only a proof that a field with more connections is possible, not what it looks like. I’m very out of my depth, but the structure of the proof seems to follow a pattern similar to a proof by contradiction. Where you’d say for example “assume for the sake of contradiction that the previously known limit is the highest possible” then prove that if that statement is true you get some impossible result.
- paulddraper 4mo agoYeah, unfortunately, they just proved there existed a better solution, they didn't construct it. (Though in some ways that's actually more impressive.)
- krackers 4mo agoSee https://news.ycombinator.com/item?id=48233034 https://news.ycombinator.com/item?id=48233034