LitPivot：通过文献动态上下文开发研究创意
宾夕法尼亚大学等机构研究人员开发的 LitPivot 系统通过动态上下文将研究创意与文献关联。在 17 名研究人员的实验中，领域专家评定使用 LitPivot 开发的创意比传统编辑器和 AI 工具更扎根于文献，且参与者认为其更具新颖性和实用性。该系统将创意拆解为问题、贡献和评估计划，并基于所选文献提供有据可查的修订建议，将在 UIST 2026 学术会议上展示。
阅读原文 来源：Hugging Face Blog
#深度解读
Hugging Face Blog一手
Google DeepMind一手 Google DeepMind等联合发布全球森林类型地图ForTy 2020及时间序列
DeepMind、WRI等联合发布全球森林类型地图ForTy 2020及时间序列，提供10米分辨率下森林类型分类与年变化数据。该地图将全球每10米土地划分为自然森林、人工林、种植园、农作物等六类，并追踪2017至2025年间的类型变化，帮助监测天然林向种植园的转换。验证显示分类准确率90%，可辅助欧盟森林砍伐法规合规与森林资源管理。
阅读原文 来源：Google DeepMind
The Decoder 数学家称 OpenAI 对其 Navier‑Stokes 证明理解不足
OpenAI 在 9 月公布了一份 166 页、使用 Lean 形式化语言的 Navier‑Stokes 证明草案，声称遵循西班牙数学家 Diego Córdoba 与 Luis Martínez‑Zoroa 的方法。
阅读原文 来源：The Decoder
Latent Space Leash Bio 发布 Minos 预训练模型与 DEL 开始数据集，实现代型科学推强学习
Leash Bio 发布了 Minos 预训练模型和一个包含 6.5M 个分子的开始数据集，旨于通过 DEL 数据训练代型进行科学推强学习。Ian Quigley 团队利用 DNA 编码库技术收集了高质量的蛋白-小分子相互作用数据，解决了行业数据质量差的问题。
阅读原文 来源：Latent Space
Ethereum Foundation Blog一手 Ethereum 基金会发起更好代码挑战 推进基于哈希的 SNARKs 机器验证安全边界
Ethereum 基金会与 Yukon、zkSecurity 联合发起 open autoresearch challenge better.codes，目标通过公开协作推进 koalaIRS12 Reed–Solomon proximity problem 的机器验证下界至 128 bits。
阅读原文 来源：Ethereum Foundation Blog