Will DeepSeek have the best Math AI model at the end of April 2026? (5% odds) | Kelvon