Researchers have combined the Dijkstra and Bellman-Ford algorithms to develop an even faster way to find the shortest paths ...
Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.