Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
Louisiana adopts reforms to provide released inmates with identification documents
众议院第 167 号法案规定了公共安全和惩教部在帮助囚犯出狱前获得必要文件方面的更明确作用。路易斯安那州采取改革为释放的囚犯提供身份证明文件的帖子首先出现在 Reason Foundation 上。
China justifies Space Force’s budget, nominee tells lawmakers in smooth confirmation hearing
道格拉斯·希斯中将很可能得到确认，将成为这支年轻部队的第三任领导人。
Musk Insisted that No Child Died Because of His Cuts to USAID. Kristof Proves He Is Wrong.
当埃隆·马斯克 (Elon Musk) 成立政府效率部 (DOGE) 时，他的首要目标之一是美国国际开发署 (USAID)，该机构向世界上最需要帮助的国家派遣食品、药品和卫生人员。马斯克和他的总督关闭了美国国际开发署。 2025 年 2 月 3 日，马斯克在 Twitter 上吹嘘：我们度过了 […]
Transportation Bill Proves D.C. Caters to Strongest Lobbyists
交通政策应以安全成果、经济效率和财政纪律为指导，而不是由拥有最强游说活动的利益相关者来指导。
事業系食品ロス対策は、なぜ現場で難しいのか～余剰商品の別チャネル化が示す、ブランドと顧客体験の設計論
■摘要 减少粮食损失已成为许多企业面临的重要社会问题。然而，在食品零售和餐饮行业，存在避免缺货、维持产品种类、保留选择乐趣以及维持与按正常价格购买的顾客的关系等实际问题。即使一项举措对环境有利，但如果它有损于销售区域或品牌体验，则很难维持下去。在上一篇文章《Too Good To Go创造的新购买体验》中，我们以丹麦减少食物浪费的服务“Too Good To Go”为线索，从将社会问题与消费者福祉联系起来的品牌设计角度进行了审视。在本文中，我们参考食品和零售企业的良好案例，改变观点，考虑将减少粮食损失转化为客户可以享受和参与的品牌体验的条件，而不是简单地打折或随意出售。以Krispy Krem
ChatGPT just proved another 50-year-old math conjecture
促使人工智能解决困扰人类的数学问题的秘诀是什么？告诉它相信自己
一个中国研究小组发表了一项经过同行评审的模拟，其中隐形飞机、先进传感器和高超音速导弹追捕并摧毁美国的下一代隐形轰炸机。结果成为头条新闻。但抛开框架，研究显示的结果与它所声称的几乎相反：杀死 B-21 需要同时解决一长串难题，而模拟只是假设它们是这样的。
The Senate Isn’t His Oyster, After All. Graham Platner’s Socialist Vessel Turned Out to Be Leaky
媒体告诉我们，导致格雷厄姆·普拉特纳 (Graham Platner) 参议员竞选失败的强奸指控刚刚曝光。事实上，媒体几个月前就已经收到了这些指控，但为了保护普拉特纳的竞选活动而对这些指控不予理睬。
The Senate Isn’t His Oyster, After All. Graham Platner’s Socialist Vessel Turned Out to Be Leaky
媒体告诉我们，导致格雷厄姆·普拉特纳 (Graham Platner) 参议员竞选失败的强奸指控刚刚曝光。事实上，媒体几个月前就已经收到了这些指控，但为了保护普拉特纳的竞选活动而对这些指控不予理睬。
7月4日，图像显示首次在工厂外安装了Arena-M主动防护系统的俄罗斯T-90M，这可能是硬杀伤套件正在向前推进的迹象。俄罗斯将其视为无人机在乌克兰撕碎其装甲的解决方案。但它的设计目的是击落反坦克导弹，而不是现在承担大部分杀伤任务的缓慢、密集的 FPV 无人机，而且拦截器的数学计算表明它无法阻止它们。
HAVELSAN’s AI-Powered Digital Lookout BLUEVISION Proves Itself Across Maritime Platforms
土耳其的国防解决方案提供商 HAVELSAN 推出了 BLUEVISION，这是一种人工智能驱动的海事感知系统。 HAVELSAN 新闻稿 海事运营商预计将跟踪日益复杂的环境。小船、漂浮物体、低能见度接触点以及没有可靠识别数据的船只运行可能很难检测到，特别是在繁忙的水道或恶劣的天气条件下。而 ...HAVELSAN 的 AI 驱动的数字瞭望台 BLUEVISION 在跨海事平台上证明自己的帖子首先出现在《海军新闻》上。
Why We Shouldn't Wait for Proof of AI Consciousness
Grigori Guitchounts, Noema 我正处于博士学位的最后几个月。当一位动物护理技术人员收到一封电子邮件时，他正在哈佛大学攻读神经科学学位。我的一只实验室老鼠 GRat44 病了。 “...
Proof Most Americans Are Proud of Our Nation, Despite All Our Talk of Falling Patriotism
大多数不太沉迷于学术理论或社交媒体愤怒诱饵的普通人都有足够的理智认识到这个国家从根本上来说是一个好国家。
NATO Unveils Billions in Arms Deals to Prove Its Firepower as Trump Again Demands Greenland
唐纳德·特朗普总统坚称，美国应该控制格陵兰岛，而不是北约盟国丹麦。
30 years on, "Independence Day" still proves the versatility of the original "The War of the Worlds"
从技术上讲，《独立日》并不是《世界大战》，但它仍然是 HG 威尔斯的流派定义小说最成功的改编作品之一。
Proof of Life in Protected Waters: “Hammerhead Sharks Up Close with Bertie Gregory”
伯蒂·格雷戈里 (Bertie Gregory) 的《近距离观察锤头鲨》探讨了墨西哥锤头鲨数量的减少和潜在恢复，通过令人惊叹的视觉效果和充满希望和好奇的叙述来强调保护方面的成功。
