how does deepseek r1's performance in math-heavy benchmarks compare to gpt-4o - http://jdzutespu.vibrant-os.com/fuenjh.html