陶哲轩 x Lex Fridman = π!3小时14分播客:AI 能帮人类解决最难的问题吗? 2025年6月15日16时 作者 AGI Hunt 这位被称为「 数学界莫扎特 」的菲尔兹奖得主,在播客里聊起了数学界最难的问题、AI如何帮助数学家,
ICML 2025 大模型深度思考新范式:交替「推理-擦除」解决所有可计算问题 2025年5月15日23时 作者 机器之心 在 ICML,NeurIPS,ICLR 等顶级会议上发表过论文。 本文提出一个 交替 「推理 – 擦