开发者让微软 Surface Duo 2 运行 iOS/iPadOS 26,双屏达 37 FPS
开发者 @none25smu 已成功让微软 Surface Duo 2 运行 iOS/iPadOS 26,项目仍处早期开发阶段,但已实现双屏运行并在硬件加速上取得进展。
开发者 @none25smu 已成功让微软 Surface Duo 2 运行 iOS/iPadOS 26,项目仍处早期开发阶段,但已实现双屏运行并在硬件加速上取得进展。
华中科技大学同济医学院附属同济医院牵头的脑机接口高质量数据集建设项目10月24日在武汉启动,拟于2027年建成投用。项目聚焦脑卒中康复、脊髓损伤、帕金森病、癫痫等10类疾病方向,目标是建成我国自主可控的脑机接口高质量数据库。此前我国牵头的脑机接口参考架构国际标准已由ISO/IEC发布。
10 月 22 日在深圳举行的国际星闪联盟产业峰会上,国际星闪联盟理事长石晶林与华为、中国移动、联想等机构和企业代表共同发布星闪 3.0 标准成果。星闪 3.0 面向全场景智能物联,瞄准 AI、无源、毫米波等方向,自 2025 年 8 月启动以来已正式发布无损音频等三项标准。上海海思支浩称星闪 SLE3.0 将在速率、覆盖、抗干扰等方面再升级。
Life Biosciences公布ER-100 Ⅰ期临床首批数据,3名开角型青光眼患者接受眼内注射并口服多西环素,第56天有2人出现视野改善迹象,3人均未报告严重不良事件。公司称ER-100是首个进入人体试验的细胞部分重编程疗法,数据安全监察委员会已建议下一组剂量从2×10¹¹升至6×10¹¹个载体基因组。该研究为开放标签、无同期对照组,计划招募最多18人。
我对这背后的科学一无所知,但我完全能理解为什么你可能需要基因增强今天的狗,让它们能在军队中发挥作用……
SITUATION DETECTED: Warhound launched from stealth today with a $200M seed at a $1.2B valuation. Ben Lamm and Palmer Luckey are cloning gene-edited bio-enhanced dogs and equipping them with custom Anduril vests, goggles, and sensors for the military and law enforcement.
Meta 首席 AI 官 Alexandr Wang 在 X 发布与 Hyperliquid 创始人 Jeff Yan、Cognition 创始人 Scott Wu 的合影,三人同为 Hudson River Trading 2015 年首届实习生项目成员。
并非所有森林都一样,现在我们可以把差异绘制出来。🌳 认识一下森林类型图(ForTy):一张 10 米分辨率的天然林、人工林和农用林地图,帮助识别毁林并保护最重要的森林。🧵
Google DeepMind 与 Google Research 联合世界资源研究所(WRI)和国际应用系统分析研究所(IIASA)发布 Forest Typology(ForTy)2020,将全球每 10×10 米地块划为六类森林与土地利用类型,作为欧盟毁林法规的关键基线。
研判 ForTy 将森林覆盖细分为六类并给出逐年变化,为 EUDR 要求的“2020 年后未毁林”核查提供 10 米分辨率基线,可能降低企业供应链尽职调查的取证成本。
气核科技创始人罗世豪提出“生成式物理具现”(GenPI)方向,并带队开发 Oyscat 造物系统,将模型设计、控制程序编写与仿真全流程自动化。用户可在工作台用结构块和电子块搭建作品,或用一句话让 AI 调用组件自动建模,调试后把控制程序下载到实体电子模块运行。该系统已开放内测申请,首批约十个电子基元,AI 目前调用 DeepSeek、GLM 等公共大模型。
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明 1995 年提出的 KLS 猜想,证明在 2026 年 10 月 4 日的论文版本中完成。作者称该结果给出与维度无关的固定界,此前 2026 年 7 月的最好结果仍随维度缓慢增长。同日另有团队独立发布完整证明,随后出现 Lean 4 形式化验证。
研判 KLS 猜想被证明后,此前以该猜想为前提的高维采样与随机算法结论可改为无条件成立,可能影响凸几何、概率与理论计算机科学的论证基础。
Skyfall AI 推出其称为首个“工程世界模型”的 SKY-001,面向 CAD 与 BIM 设计,架构分为层级化组件器和构建世界模型两阶段。公司自测称,对比 GPT-6 Astra,CAD 场景约 50 倍加速、单案例成本降低约 150 倍,IoU 为 79.7% 对 79.1%;BIM 场景单案例约一秒、成本不到一美分,IoU 为 43.6% 对 40.6%。
Microsoft Research 发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,并返回约 12 毫秒即可验证的证明。研究团队称,在 15 个基准程序上,其速度比同类最快的 zkVM 平均快 10 至 39 倍,安全性仅依赖 SHA-256、SHA-3 等标准哈希函数,无需椭圆曲线、格假设或可信设置。
研判 Magnetar 把零知识证明的安全假设收敛到标准哈希函数,并让 Rust、Go、C 程序无需改写即可证明执行,可能降低可验证计算的使用门槛。