Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
hto2i34334324
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
hto2i34334324
1y ago
That's not the issue. The issue has always been that of knowledge and epistemology. This is why the computer-assisted proof of the four-color theorem was such a talking point in math/cs-circles: how do you "really" know
2.
▲
by
hto2i34334324
1y ago
The most difficult part of automated theorem proving is not the "tactic" part, but actually in the formulation. (Theory building is quite hard in math; the computation side is only hard after a point).