New answers tagged


Computer-Assisted Proof is a rather old field of research, and programs of that kind have already been made. Most of them relied on brute-force approaches, or graph search algorithms (BFS, DFS). The thing is, first of all, it would not be trivial to define a language that can describe every possible problem (see: incompleteness theorems), and also, assuming ...

Top 50 recent answers are included