Comment by cma
2 months ago
Interestingly: "For logic proof, it had been thought that AI could handle all logic problems in the near future, hence logic problems of solving conjectures might not be so interesting in the future."
2 months ago
Interestingly: "For logic proof, it had been thought that AI could handle all logic problems in the near future, hence logic problems of solving conjectures might not be so interesting in the future."
No comments yet
Contribute on Hacker News ↗