how does deepseek r1's performance in math-heavy benchmarks compare to gpt-4o - http://iagrbezx.spotell.com/86158/list.htm