## 曲线数学的突破 数学家在理解曲线上的有理点——具有整数或分数坐标的点——方面取得了重大进展,这些曲线是空间中由多项式方程定义的普遍存在线。数千年来,一个核心问题一直是确定给定曲线上存在多少这样的点。虽然有些曲线有无限多个,另一些曲线则有有限数量,但找到一个统一的规则一直难以捉摸。 最近,三位中国数学家建立了第一个关于任何曲线可以拥有的有理点的数量的明确*上限*,无论其复杂程度如何。这种“统一”公式与之前的尝试不同,具有普遍适用性,并且仅取决于曲线的次数以及一个相关的数学对象,称为其雅可比簇。 这一突破建立在法尔廷斯定理(1983 年)的基础上,该定理证明了高次曲线具有有限数量的有理点,但没有具体说明*有多少*。这项新成果是通往完全理解的关键一步,并为探索更复杂的数学形状(如曲面和流形)上的有理点打开了大门,对数学和理论物理学都有影响。它预示着数论领域可能迎来一个变革时期。
简街科技创建了一个具有挑战性的“夺旗”风格机器学习谜题,不同于典型的黑盒逆向工程,他们提供了完整的神经网络规范——包括权重。目标不是获得特定输出,而是*理解*网络的功能,这反映了现实世界的解释性研究。
该网络被设计为对大多数输入输出0,但出乎意料地可以解决。一位学生亚历克斯通过分析网络的结构来解决这个谜题,发现手工设计的整数权重和重复模式。他最初怀疑是一个复杂的方程,试图将网络转换为线性程序,但面临扩展性问题。
最终,亚历克斯意识到该网络实现了一个修改后的MD5哈希函数,故意包含一个与输入长度相关的错误。虽然最初这是一个死胡同,但理解了这个错误,并结合更大的词表进行暴力破解,揭示了解决方案:两个常见的英语单词。这个谜题的成功凸显了平衡逆向工程复杂性的难度,并促使简街科技创建进一步的挑战,寻找在机械可解释性方面有技能的人才。
戴森已与来自尼泊尔和孟加拉国的24名移工达成了和解,这些移工指控在马来西亚的一家为该公司供应零件的工厂遭受强迫劳动和虐待。工人们声称他们面临着现代奴隶制般的条件,包括威胁、殴打、没收护照以及长时间工作且不准休息。
虽然戴森否认责任,但和解避免了一场可能具有里程碑意义的审判。至关重要的是,此案确立了一个先例,允许针对向英国制造商供货的外国公司的指控在英国法院进行审判。
和解的具体财务细节尚未披露,戴森和工人的法律团队Leigh Day均表示,这反映了诉讼成本和解决带来的好处,*而非*承认有罪。戴森此前曾辩称此案应在马来西亚审理。此案凸显了对在马来西亚的移工待遇的持续担忧,戴森于2002年将制造业务迁至马来西亚。