转身世界就变样？WorldMem用记忆让AI生成的世界拥有了一致性
本文介绍了一种名为WorldMem的世界生成模型，通过引入记忆机制解决了上下文时间窗口受限导致的一致性问题，在Minecraft数据集上进行验证并展示良好效果。
学术
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
本周陶哲轩发布的新项目通过GitHub Copilot和Lean证明助手的形式化一个数学证明仅需约33分钟，展示了AI工具在复杂证明中的辅助效果。该工具已在GitHub上开源。
Harmon：协调视觉表征，统一多模态理解和生成（模型已开源）
吴思泽博士生提出Harmon模型，通过统一多模态表征促进图像理解和生成。其框架包括共享MAR编码器和三阶段训练策略，在理解与生成任务中均取得显著效果，并优于现有统一模型。
9年实现爱因斯坦级AGI？OpenAI科学家Dan Roberts谈强化学习扩展的未来
OpenAI 研究科学家 Dan Roberts 在 AI Ascent 上介绍了强化学习和预训练的进步，预测未来 AI 模型将在测试时间扩展方面发挥更大作用，并希望模型能在科学前沿做出重大贡献。他强调需要大规模扩展计算和科学，目标是在 2034 年使 AI 能够进行长达 8 小时的计算与思考。
清华提出ConCISE：简单有效，Reasoning过程砍掉一半，准确率不降！
MLNLP社区是国内外知名的机器学习与自然语言处理社区。该社区致力于促进学术界、产业界和爱好者的交流与进步，特别是初学者的成长。最新研究表明，通过信心注入和早停机制，可以显著减少模型的冗余推理步骤，提高准确性而不影响性能。
