how does deepseek r1's performance in math-heavy benchmarks compare to gpt-4o - http://315666191.becatel.com/article/omgdco.html