OpenAI模型推翻离散几何核心猜想
OpenAI的内部模型成功推翻了离散几何领域一个长达近80年的核心猜想——平面单位距离问题。该问题由数学家Erdős于1946年提出，探讨平面上n个点之间有多少对距离恰好为1。OpenAI模型发现了一组无限族例子，实现了多项式级别的改进，并由外部数学家验证了证明。这是首次有AI自主解决数学领域的重要开放问题。
阅读全文 →2026-05-21 科技新闻
每日科技资讯精选
2026-05-21 周四
📰 科技新闻日报 - 2026年5月21日
来自 Hacker News 的热门科技资讯
GitHub确认恶意VSCode扩展入侵3800个仓库
GitHub确认遭遇一起安全事件，约3,800个代码仓库通过恶意的VSCode扩展程序遭到入侵。攻击者利用恶意扩展窃取开发者的访问令牌，进而获得对私有仓库的未授权访问权限。该事件影响了多名开发者账户，暴露了供应链攻击对开发工具生态系统的威胁。GitHub已通知受影响用户并撤销相关令牌。
阅读全文 →逆向工程Apple视频壁纸：Phosphene项目
Phosphene 是一款专为 macOS Tahoe 设计的视频动态壁纸引擎。它由菜单栏应用和壁纸扩展组成，允许用户将自定义视频设置为桌面和锁屏壁纸。主要功能包括：无缝循环播放、多显示器与多空间支持、智能省电播放策略、锁屏平滑过渡动画、窗口遮挡自动暂停等。该应用基于 Apple 私有的 WallpaperExtensionKit 框架构建，采用 MIT 开源许可证。
阅读全文 →DOS Zone：经典游戏在线平台
DOS Zone 是一个在线DOS游戏平台，提供大量经典DOS游戏的浏览器在线游玩服务。该网站收录了包括《侠盗猎车手》、《毁灭战士》、《雷神之锤》、《英雄无敌3》、《反恐精英1.6》、《极品飞车》等在内的众多经典游戏。用户无需下载安装，可直接在网页中体验这些怀旧游戏。平台支持移动端和离线游玩模式。
阅读全文 →科罗拉多州修改SB051法案排除开源项目
科罗拉多州法案SB25-051已签署成为法律。该法案修改了区域交通区（RTD）在报告成本效益指标时使用的"运营成本"定义。原定义包含折旧，但排除长期规划和公共交通基础设施开发成本以及《美国残疾人法案》强制要求的交通服务成本。新定义改为包含所有运营支出，但排除折旧。
阅读全文 →什么是需求合作社？科技工作者为何应加入
需求合作社（Demand Coop）是一种汇集并引导成员消费能力的合作组织。与传统围绕劳动组织的合作社不同，需求合作社聚焦于组织社区的购买力，使经济活动能够建设社区企业、资产和长期所有权，而非财富外流。例如，合作社可拥有杂货店，每笔消费的部分资金进入金库，用于资助社区新业务，创造就业并维持公平定价。
阅读全文 →Donald Knuth《字母S》(1980)字体设计论文
Donald Knuth于1980年发表的《The Letter S》是其数字排版系统研究的重要论文。该论文展示了如何利用METAFONT语言以数学参数化方式精确描述字母"S"的字形轮廓。Knuth通过数学方程和算法分析了"S"这一复杂曲线字母的构造方法，证明字体设计可以脱离传统手工绘制，转而采用程序化、可调整的方式生成。这是计算机字体设计领域的里程碑。
阅读全文 →Flipper One技术规格发布
Flipper One 是一款便携式多工具设备。尺寸为 155×67×40mm，配备 Rockchip RK3576 八核处理器、ARM Mali G52 MC3 GPU 和 6 TOPS NPU。低功耗 MCU 为树莓派 RP2350B 双核芯片。内存 8GB LPDDR5，存储 64GB UFS 2.2。显示屏为 256×144 像素单色 LCD，支持64级灰度。配备大容量电池，支持 Wi-Fi 6、蓝牙 5.2、双千兆网口、USB-C/USB-A 接口、HDMI 2.1 及 M.2 扩展插槽。
阅读全文 →你人生中最大的不可能
凯文·凯利认为，人生的目标应该是成为一个最不可能的人——走最不寻常的路，活出最不可预测的人生。宇宙倾向于熵增和统一，但生命通过创造秩序和复杂性来对抗这种趋势。进化不断提升"不可能性"，使每个生命都独一无二。追求最不可能的人生带来诸多好处：活出真实的自己、减少竞争压力、更容易欣赏他人的独特性，以及更难被人工智能取代。
阅读全文 →Haskell基金会2026年更新
Haskell基金会发布2026年更新：执行董事José将于2026年6月卸任。董事会决定重组基金会，主要目标是将大部分财务资源用于技术工作，让成员更清楚地看到贡献与生态系统改进之间的因果关系。基金会将暂时不设执行董事，相关职责由董事会和新设立的兼职角色分担。董事会成员发生变动，Simon Marlow等人新加入。
阅读全文 →