Models That Prove Their Own Correctness
我们如何才能相信学习模型对特定感兴趣输入的正确性？模型精度通常是根据输入分布的平均值来衡量的，不保证任何固定输入。本文针对这个问题提出了一个有理论基础的解决方案：训练自我证明模型，通过交互式证明向验证算法 V 证明其输出的正确性。自证明模型满足以下条件：对于从给定分布采样的输入，模型以高概率生成正确的输出并成功证明其对 V 的正确性。...
Популярные менеджеры паролей оказались катастрофически уязвимыми
研究人员发现 Bitwarden、LastPass 和 Dashlane 服务使用非常过时的加密标准。
From prison to paperwork: A 50-state survey of policies on reentry identification documents
州惩教机构可以通过协助囚犯在释放前获取重要的身份证明文件来促进重返过程。这篇文章从监狱到文书工作：对 50 个州的再入境身份证明文件政策的调查首先出现在 Reason Foundation 上。
Maintainers Prove Readiness During Best by Test Competition
德国格拉芬沃尔 - 第 41 野战炮兵旅的维护人员将他们的技术专长、耐力和战术熟练度投入到测试中...
EOD Technicians Prove Arctic Warfare Readiness in Norway
隶属第 68 特遣队指挥官的第 8 爆炸物处理机动部队与挪威和瑞典的盟军一起完成了北极专家 26 演习。
Microsoft has a new plan to prove what’s real and what’s AI online
基于人工智能的欺骗现在已经渗透到我们的网络生活中。您可能很容易发现一些引人注目的案例，例如白宫官员最近分享了一张明尼苏达州抗议者的经过处理的图片，然后嘲笑那些询问此事的人。其他时候，它会悄悄地溜进社交媒体并吸引观看次数，例如......
The US state has proved itself dispensable
特朗普上任不久，我就观察到美国“不可或缺的国家”地位难以维持。一年后，严格意义上被视为国家行为体的美国已经变得可有可无，事实上，美国已经基本上被抛弃了，尤其是被欧洲抛弃。在慕尼黑为卢比奥起立鼓掌 [...]
Georgia MBA proves its worth with No. 1 value ranking from the Financial Times
特里的全日制 MBA 名列美国公立项目前 10 名。佐治亚州后的 MBA 项目在《金融时报》价值排名第一的成绩证明了其价值，该项目首先出现在今日 UGA 上。
Your Guide to Filling Out the PSLF Employment Certification Form
如果您在公共部门工作并正在努力实现公共服务贷款减免 (PSLF)，则坚持到底的主要行动是提交公共服务贷款减免就业证明表。在这篇文章中，我们将介绍 PSLF 就业证明表的内容以及如何填写和提交它。公共服务……《PSLF 就业证明表填写指南》一文首先出现在学生贷款规划师上。
人工智能很快就会喷出数百个看起来“正确”但包含隐藏缺陷的数学证明，或者证明非常复杂，我们无法验证它们。我们如何知道他们是否正确？
Discord to Require ID – Internet Surveillance Measures Expand
Discord 将开始强制执行全球年龄验证，要求用户提交面部扫描或政府身份证件才能访问成人内容和完整平台功能。从三月份开始，每个用户帐户都将被禁止使用有年龄限制的服务器或实时聊天功能，直到他们遵守该系统。该公司还将部署人工智能驱动的 [...]
How ‘effectively zero-knowledge’ proofs could transform cryptography
一种新工具扩展了人们在不透露解决方案的情况下证明他们已经解决问题的方式
“黑人历史之父”卡特·G·伍德森 (Carter G. Woodson) 在 1926 年创立了现在被称为“黑人历史月”的庆祝活动。作为一位多产的作家和活动家，他将自己教育公众的努力视为一场“生死攸关的斗争”
Gravitational wave signal proves Einstein was right about relativity
一对合并黑洞产生的时空涟漪被以前所未有的细节记录下来，使物理学家能够测试广义相对论的预测
