Which company will have the best Math AI model at the end of July 2026? | Prophecy