> Facebook AI has built the first AI system that can solve advanced mathematics equations using symbolic reasoning Uh, this isn't true. Even their paper cites

> Facebook AI has built the first AI system that can solve advanced mathematics equations using symbolic reasoning Uh, this isn't true. Even their paper cites previous work. I guess it's PR speak. A little disappointing that it just guesses solutions and doesn't offer proofs.