Artificial intelligence
fromBig Think
20 hours agoLogic Theorist: The program that rewrote the foundations of mathematics
Many AI problems reduce to searching symbolic internal representations from a start symbol to a goal symbol, exemplified by navigation and A* search.