论文多源确认09:27Ehrhart体积猜想等号情形获证，GPT-5.6-sol等AI参与Ehrhart猜想等号情形被GPT-5.6-sol等AI证明了，数学证明也能这么玩。#GPT-5.6-sol#Ehrhart猜想#Fable 5#Danus5 个信源在谈事件专题aarXiv: OpenAI@Jihao Liu6 个信源在谈原文稍后读已读值得跟进有用关注 GPT-5.6-sol
论文10:17Danus：用事实图记忆协调数学推理智能体看看Danus怎么用事实图记忆帮多个推理智能体协作解数学难题，还能和数学家互动。#Danus#数学推理#智能体#推理模型aarXiv cs.AI@Jihao Liu 等 11 人原文稍后读已读值得跟进有用关注 Danus