王虹攻下三维,OpenAI直接把四维证明稿摆上桌了! 10月6日,OpenAI在GitHub上公开首批722篇数学手稿。 其中一篇长175页,目标直指四维挂谷猜想。 另一篇97页,还要在三维上再闯一关,瞄准 比王虹与Zahl的集合定理更强的极大函数版本 。 OpenAI数学手稿目录中的074组,分别对应三维极大函数版和四维集合版 这道让数学家追了一个多世纪的难题,最初的问题却简单得惊人。 一根针,怎么在尽可能小的地方掉头? 一根针的极限掉头 在拥挤的车厢里,把一把收起的长柄伞调个头,边挪边转,往往比直接横着转更省地方。 1917年,日本数学家挂谷宗一提出
阅读更多IT之家 10 月 8 日消息,微软今天召开 Surface 新品发布会,现场展示 Autopilot 未来方向。根据其设想,这款智能体将让 Windows AI 进一步实现自主化执行任务。 在微软的设想下,Autopilot 不再只是根据用户指令处理信息,而是能够理解目标、规划步骤,调用 Windows 系统及各种应用完成任务。用户可以通过自然语言描述需求, AI 负责查找信息、操作文件、配置系统或执行工作流程 , 用户负责在关键节点确认或干预 。 IT之家了解到,Autopilot 定位与微软当今的“混合智能”理念相呼应:由人类提出目标并保留最终控制
阅读更多IT之家 10 月 7 日消息,索尼两款新设备近日在 Wi-Fi 联盟完成认证,型号分别为 CFI-Y2000 和 CFI-Y2105,这些机器很可能是 PlayStation Portal 串流掌机(IT之家注:CFI-Y1001)的新款机型。 根据认证信息所述,这两款设备均支持 802.11a/b/g/n/ac,包含 2.4GHz 和 5GHz 频段, 均运行 Android 15 系统 。作为参考,PlayStation Portal 采用定制版 Android,与使用专有系统的 PS5 主机有所不同。 X 平台爆料人士 @Zuby_Tech 曾提
阅读更多