Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
今年5月，ROBOPRO集团推出了协作机器人（cobots）新品牌DOKA ROBOTS。它的展示在金属加工行业最重要的国内盛会 Metalworking 2026 展会上进行。请阅读我们对 ROBOPRO 集团公司技术总监 Alexander Voronin 和营销部门负责人 Alexander Kormishin 的采访，详细了解其外观背后的内容以及将新品牌推向市场的战略目标是什么。
In Iran, Trump Has Found an Opponent He Cannot Easily Dominate
在对伊朗战争的第136天，特朗普总统提出了一个新计划。他将对穿越霍尔木兹海峡的船只征收通行费，以换取保护它们免受伊朗军队的侵害。但那是那时……阅读更多 ›《在伊朗，特朗普找到了一个他无法轻易统治的对手》一文首先出现在 JINSA 上。
Iran’s Strikes Show Its Priority Is Flexing Muscle on Hormuz, Not Dealing With Trump
人们可能认为伊朗会对战后的新现实感到满意。在成功利用对邻国的袭击和对霍尔木兹海峡航运的威胁吓唬唐纳德·特朗普停止其四月份的军事行动后，美国……阅读更多 ›伊朗的袭击表明其优先考虑的是在霍尔木兹海峡上展示实力，而不是与特朗普打交道，该帖子首先出现在 JINSA 上。
Trump Won’t Rule Out Kharg Island Takeover: What a U.S. Assault Could Look Like
数百名美国海军陆战队员冲上岸，直升飞机在头顶呼啸而过，海军军舰和战斗机建立了压倒性的空中和海上优势，指挥官向伊朗军队发出最后警告：投降或被占领。这就是军事专家对开放的设想……阅读更多 ›特朗普不会排除接管哈格岛的可能性：美国的袭击可能是什么样子首先出现在 JINSA 上。
Iran Netted Nearly $5 Billion in 22 Days After Signing MOU, Report Finds
根据美国犹太国家安全研究所的一份新报告，在华盛顿和德黑兰于 6 月 17 日签署谅解备忘录后的 22 天内，伊朗净赚了近 50 亿美元。该调查结果是在总统...阅读更多 ›《伊朗在签署谅解备忘录后 22 天内净赚近 50 亿美元》一文，《报告发现》首先出现在 JINSA 上。
纽约众议员迈克·劳勒 (Mike Lawler) 和新泽西州民主党众议员乔什·戈特海默 (Josh Gottheimer) 提出了一项新的两党法案，旨在永久解散和取代联合国救济和工程局，该机构的一些成员直接参与了 10 月 7 日的袭击，这项法案早就该出台了……阅读更多 ›专家表示，两党众议院法案呼吁永久解散、取代近东救济工程处，“早就该”取代了首先出现在JINSA上。
Strikes on Yemen’s Sanaa Airport Test Fragile Truce Between Houthis and Riyadh
周一对也门萨那国际机场的空袭旨在阻止伊朗和胡塞武装打破长达数十年的空中封锁，并在德黑兰与其也门代理人之间开通一条不受控制的空中联系，地区分析人士称——一条走廊……阅读更多 ›对也门萨那机场的空袭测试了胡塞武装和利雅得之间脆弱的休战协议，该帖子首先出现在 JINSA 上。
以色列国家安全委员会前主席、JINSA 杰出研究员、以色列国防军少将雅科夫·阿米德罗 (Yaakov Amidror) 周三警告称，以色列必须投资于创新，以保持技术优势，并为未来的威胁做好准备。 …“六日战争是我们最成功的……阅读更多 ›以色列国防军少将雅科夫·阿米德罗 (Yaakov Amidror) 警告以色列必须创新，在无人机防御“失败”后为下一场战争做好准备。
How Aircraft Brakes Are Cooled
有没有想过飞机制动器是如何冷却的？与汽车制动器一样，飞机制动器也依靠摩擦来实现较低的行驶速度。然而，摩擦会产生热量，过多的热量会损坏或毁坏飞机的制动部件。飞机概述……继续阅读 →
企业人工智能计划很少会因为团队缺乏强大的模型而停滞不前。故障通常出现在模型层以下，其中分散的记录、不兼容的定义、延迟的管道、薄弱的访问控制和不明确的所有权阻碍了实验系统跨业务功能可靠地运行。试点环境可以掩盖这些弱点。有限的数据集...阅读更多»《构建人工智能就绪数据战略：每个企业在扩展人工智能之前应该做什么》一文首先出现在《大数据分析新闻》上。
弗里德里希·尼采的每日名言：“一个人必须为永生付出高昂的代价；一个人必须在活着的时候死几次。”这些话给几代读者带来了挑战，因为它们揭示了一个许多人回避的真理：持久的伟大需要改变。了解为什么这句关于重塑、勇气、韧性和内在力量的永恒名言在今天比以往任何时候都更有意义
每日谚语：中国谚语“过去的一切都已在昨天消逝，未来的一切在今天诞生”，教导人们放下遗憾，专注当下，通过今天的行动塑造未来。这句话强调了正念、个人成长和新的开始。它提醒读者，每个新的一天都提供了另一个学习、改进和前进的机会，而不是被昨天的经历所困。
Cardoso says Nigeria’s net FX reserves jump to $40bn on reforms
自本届政府开始经济改革以来，尼日利亚的外汇缓冲急剧增强，净储备增加至约 阅读更多 卡多佐表示，尼日利亚的净外汇储备因改革而跃升至 400 亿美元
Explainer: Presumptive tax – How Nigeria is taxing its informal economy
多年来，尼日利亚的许多小企业在传统税收体系之外运营，因为他们很少或根本不进行会计阅读更多解释：推定税 – 尼日利亚如何对其非正规经济征税
Nigeria’s inflation leaves the CBN with few easy choices
尼日利亚的通胀故事不再是价格上涨还是下跌。它越来越取决于坚持。头条通胀阅读更多 尼日利亚的通胀让 CBN 几乎没有什么简单的选择
Nigeria falls behind global peers on 90% of prosperity indicators
根据阅读更多尼日利亚在 90% 的繁荣指标上落后于全球同行的评估，尼日利亚在共享经济繁荣的几乎所有主要指标上都落后于可比经济体
Labour should ditch triple-lock pensions promise, says OECD
该组织的专家表示，这一承诺给英国公共财政带来压力，并“增加了重大财政风险”，经济合作与发展组织敦促工党应放弃三重锁定养老金承诺，以帮助解决英国紧张的公共财政问题。在其最新的英国经济调查中，总部位于巴黎的工业化国家俱乐部加入了呼吁终止这一承诺的声音，该承诺每年都会提高国家养老金，以工资增长、通货膨胀或通货膨胀中的最高者为准。 2.5%。继续阅读...
