站内内容与 AI 工具一站式检索。
陶哲轩转发数学界抵制声明，反对OpenAI以AI生成证明冲击学术规范，争议焦点是数学家是否必须借助AI自证能力，引发学界与AI公司关系紧张。
英伟达开源 Nemotron 3 Ultra 的 IMO 数学推理系统，含两个数学专家 checkpoint、训练数据、推理代码与 200 道新基准，以 30/42 分超金牌线，但 1.5TB 显存门槛引发算力集权争议。