Google DeepMind 与 Google Research 联合世界资源研究所（WRI）和国际应用系统分析研究所（IIASA）发布 Forest Typology（ForTy）2020，将全球每 10×10 米地块划为六类森林与土地利用类型，作为欧盟毁林法规的关键基线。
研判 ForTy 将森林覆盖细分为六类并给出逐年变化，为 EUDR 要求的“2020 年后未毁林”核查提供 10 米分辨率基线，可能降低企业供应链尽职调查的取证成本。
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明 1995 年提出的 KLS 猜想，证明在 2026 年 10 月 4 日的论文版本中完成。作者称该结果给出与维度无关的固定界，此前 2026 年 7 月的最好结果仍随维度缓慢增长。同日另有团队独立发布完整证明，随后出现 Lean 4 形式化验证。
研判 KLS 猜想被证明后，此前以该猜想为前提的高维采样与随机算法结论可改为无条件成立，可能影响凸几何、概率与理论计算机科学的论证基础。
Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程，并返回约 12 毫秒即可验证的证明。研究团队称，在 15 个基准程序上，其速度比同类最快的 zkVM 平均快 10 至 39 倍，安全性仅依赖 SHA-256、SHA-3 等标准哈希函数，无需椭圆曲线、格假设或可信设置。
研判 Magnetar 把零知识证明的安全假设收敛到标准哈希函数，并让 Rust、Go、C 程序无需改写即可证明执行，可能降低可验证计算的使用门槛。