3 ms·
Does this formalization process include giving it the answer it should try to prove?
by rpois 2y ago
Does this formalization process include giving it the answer it should try to prove?
- Smaug123 2y agoNope, per Oliver Nash who worked on the thing: https://news.ycombinator.com/item?id=41070372 https://news.ycombinator.com/item?id=41070372
- deleted 2y ago[deleted]