Models That Prove Their Own Correctness
我们如何才能相信学习模型对特定感兴趣输入的正确性？模型精度通常是根据输入分布的平均值来衡量的，不保证任何固定输入。本文针对这个问题提出了一个有理论基础的解决方案：训练自我证明模型，通过交互式证明向验证算法 V 证明其输出的正确性。自证明模型满足以下条件：对于从给定分布采样的输入，模型以高概率生成正确的输出并成功证明其对 V 的正确性。...
Gravitational wave signal proves Einstein was right about relativity
一对合并黑洞产生的时空涟漪被以前所未有的细节记录下来，使物理学家能够测试广义相对论的预测
サステナビリティを持続可能な「サービス」として考える－サステナを顧客満足・従業員満足につなげる「TSR」の考え方
■摘要 对于消费者来说，可持续发展往往表现为一种集产品、系统、信息、指导和支持于一体的“供给机制”。例如，当谈到商店货架上的“环保”产品时，消费者只要不仅包括产品本身，还包括易于理解的标签、说明、易于比较、收集和回收路线、积分和应用程序、送货和店内服务以及联系信息，就能够“继续做出可持续的选择”。从这个角度来看，可持续发展问题不仅可以被视为一个努力的目标（例如，“让我们尽力而为”），而且可以被视为一个为消费者设计的问题（我们如何在不给自己带来压力的情况下继续这样做）？因此，在本文中，我们采用“变革性服务研究”（本文称为“基于福祉的服务研究（TSR）”）的研究方法，从“为消费者设计服务（包括产品
