智能体画得出图，却难画得动：交互负担被推给编译器
智能体已经能把数据画成图，可当我们还想点选、筛选、对照，甚至从图跳到相关文字时，事情往往卡在半路。微软研究院 Chenglong Wang、Yuwei Xiao、Alper Sarikaya、Michel Galley、Chris Quirk 与 J…
阅读本篇JIROLOGY DAILY
归档.
按北京时间的业务日期排列
LONGFORM
精读，深入一层。
投机双引擎同时轰鸣时，值得拥有的是清算下注的场所
当新技术把未来画得更大，同时普通攒钱买房的路径又显得失效时，人们会不会更频繁地下注？Delphi Digital分析师Jason Pagoulatos在长篇研报里认为：投机历来有两台引擎——建设投机与彩票投机——而当下二者在很长时间里首次同时猛烈运转…
阅读本篇人类掌舵、AI探路：KLS猜想获证，关键判断仍在研究者手里
想让AI攻克一道数学难题，最好的办法是让它从头跑到尾吗？微软研究院近日的一篇博客给出了一个不同的案例。文章介绍，微软研究院机器学习与优化组的Xinzhi Zhang与合作者证明了1995年提出的KLS猜想：对一大类高维概率分布，用平面切割找到的“瓶颈…
阅读本篇
PPE 还缺哪四块视野：性别种族、环境、全球与跨学科
哲学、政治学与经济学的整合（PPE）被寄予厚望，但 Lisa Herzog 提醒：若仍沿着旧政治经济传统的惯性前行，性别与种族、环境、全球外化与跨学科这些盲点会继续被忽略。她并不反对整合本身，反对的是整合之后仍重复旧问题单，使新招牌底下还是旧视野。
阅读本篇
可验证计算要走出实验室，Magnetar 先回答哪三个难题
如果一段程序声称算出了正确结果，我们凭什么相信？常见做法是相信运行它的人、机器或机构。零知识证明给出另一条路：程序运行时同时生成一份短证明，任何人都能核对，而不必先信任算的人是谁。对审计和外包计算而言，这意味着正确性可以随证明被检查。这一点值得反复记…
阅读本篇
用语言寻找晶体材料，模型学会了哪些联系
如果要为锂电池寻找固态电解质，要求材料含锂、又能满足性能条件，把需求写成一句话，模型能筛出合适的晶体吗？论文中的实际尝试暴露了一个缺口：训练文字没有包含离子电导率，于是检索排除了这项关键条件，只按高带隙筛选。候选名单看起来切题，却还不足以回答材料能否…
阅读本篇
增长没有崩溃，危机仍可能留下深远的政治损伤
一场金融危机过后，经济继续增长，铁路也修起来了，是否就意味着当时的制度运转良好？在与泰勒·考恩的对谈中，金融史作家利雅卡特·艾哈迈德围绕十九世纪的长期通缩，给出了更复杂的回答。他认可那段时期的平均增长表现，也赞同铁路投资留下了重要成果；价格和名义工资…
阅读本篇Flint-interactive：让 AI 智能体生成可交互图表的语言
本期材料集中在两条线索。一是 AI 工具与研究：微软研究院介绍让智能体生成交互图表的 Flint-interactive，Simon Willison 试用即将开放权重的 Kimi K3.1 Pro，并用 Claude 为个人游戏加入四人联网，Seb…
阅读本期微软研究院：Flint-interactive 让智能体创建可交互数据可视化
本期材料覆盖交互可视化语言 Flint-interactive、MIT 人文学科周年讨论、油价与通胀预期、AI 对“混乱”人类心智的建模史、即将开源的 Kimi K3.1 Pro、用画布模拟画笔的 Quick Study 工具、哲学直觉冲突讨论，以及…
阅读本期微软研究院：Flint-interactive 让智能体创建可交互数据可视化
本期材料覆盖交互式可视化语言、高维几何中的 KLS 猜想、可感知日常物件的设计软件、森林类型全球制图、实际周薪走势、英国高级管理人员制度简化，以及以加密资产作住房贷款抵押的讨论。较突出的线索是：研究机构在把理论工具与可交互产品原型并排发布；同时，宏观…
阅读本期
微软研究院：困扰数学界 31 年的 KLS 猜想获得解决
本期材料覆盖数学理论突破、AI 基础设施的资金来源、气候披露与融资成本、开源软件安全事件、编码智能体实践、学术倡议与创新研究。较突出的线索是：AI 热潮的讨论正延伸到资本池与普通储户；同时，一次 PHP 漏洞披露泄露提醒读者，安全协作流程本身也是风险…
阅读本期微软研究院播客：实验室主任 Chris White 谈研究的现实影响
本期材料覆盖人工智能研究叙事、编码智能体实践、AI 基础设施的信用定价、财富税政策、学术方法论与网络安全事件。较突出的线索是：AI 热潮正在从技术与股价讨论延伸到债务市场与证书信任等底层环节；同时，学术界对因果夸大的反思提醒读者谨慎对待“研究表明”。…
阅读本期
伦敦政治经济学院与多伦多大学推出哲学研究新倡议
本期材料呈现了人工智能研究、应用与资本定价的不同观察面：晶体材料理解和胎动跟踪涉及具体技术用途，哲学研究倡议涉及研究组织变化，股价下跌与专家问答预告则提供市场讨论线索。宏观材料补充了收益率解释与经济预测比较的视角。以上均为对 RSS 摘要的综合观察；…
阅读本期
新研究探索帮助AI理解晶体材料的三维结构与性质
本期材料呈现出几条可继续研究的线索：AI对晶体材料的理解、宏观预测的比较与检验，以及研究组织方式如何影响创新。资本市场与能源政策材料也提供了事件入口，但不足以判断市场趋势或政策实际影响。以下全部依据 RSS 摘要，未读取正文；来源陈述、被引观点与AI…
阅读本期
Magnetar：面向通用计算的证明技术
本期材料共同提出一个研究问题：技术、政策与创新的价值如何被验证。计算证明、政策会议文本分析和科研资助实验分别提供不同切口，但全部材料仅为 RSS 摘要，尚不足以判断性能、研究有效性或实际政策效果。涉及能源措施、衰退预测与生活成本的内容也需保留这一证据…
阅读本期Magnetar：支持标准编程语言的计算证明方案
本期材料呈现出一条可供研究的线索：技术能力、组织执行与收益分配需要分别检验。Magnetar 摘要介绍计算验证能力，货币政策研究摘要介绍大语言模型的文本分析用途，企业研究摘要则讨论生产率增长与利润率、劳动份额之间的关系。其余材料涉及哲学教学、技术与共…
阅读本期
用大语言模型研究货币政策委员会的讨论叙事
本期材料呈现出几组值得追问的关系：政策讨论如何转为可研究的数据，计算结果如何获得可验证的依据，以及技术能力、教学目标和组织执行如何接受检验。这是AI的综合观察。多数条目仅有 RSS 摘要，能够确认的是研究方向或来源主张，尚不足以判断方法效果；Simo…
阅读本期
Anthropic重建源码管理，Willison讨论编码速度与审查取舍
本期材料提示，技术产出、统计指标与公共决策都需要放回各自的解释框架：代码合并量不能直接证明模型贡献，经济指标需要核对比较口径，医学证据也涉及价值排序。AI对研究与创作的作用值得追踪，但多篇材料仅有摘要，尤其天气预报与谷歌研究条目的信息不足以支持具体成…
阅读本期
Anthropic重建源码管理系统，应对代码变更增长
本期材料呈现出一个共同问题：技术能力、统计指标和科学证据，都需要放回使用条件中理解。AI应用涉及代码基础设施、端侧反诈和教学评估，但材料对部署效果的支持程度不同；宏观指标与经常账户讨论则提示，局部变化不能直接替代总体判断。以下综合观察属于AI分析，各…
阅读本期