"Pane, Deepseek právě vydal DeepSeek-Math-v2 a podle mého názoru na ProofBench a CNML to překonalo Gemini DeepThink."