@QiaochuYuan yes. insofar as you have reasons to spend time talking to LLMs, I highly recommend Gemini 2.5 Pro.
(well, as of last week, at least; i haven’t gotten to know Qwen3-235B or DeepSeek-Prover-V2-671B yet)
(well, as of last week, at least; i haven’t gotten to know Qwen3-235B or DeepSeek-Prover-V2-671B yet)