Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
aplis
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
aplis
10y ago
And yes, the point is not to construct theorems with ridiculously long proofs, the point is to proof the statements posed by mathematicians which attracted the interest of mathematicians. From this perspective, the proofs for the bounds fo
2.
▲
by
aplis
10y ago
Chriswarbo: not that simple. Neither "Wikipedia-sized proof", nor the last 200TB proof take their size from just "variable assignment for a SAT solver". The size comes from "proof certificates" that SAT problem