AI日报AI日报 – 2025-05-04(下)AI推理AI玩具DeepfakeDeepSeek-Prover-V2DeepSeek-Prover-V2 数学定理证明GPT-4oGPT-4o 谄媚问题Qwen3Qwen3-235B-A22B大模型大模型虚构行为量子计算量子计算与AI融合