前两天，OpenAI 在 GitHub 上一次性放出了 722 篇数学手稿（后面撤回了几篇），覆盖数论、几何、理论计算机科学、数学物理等 17 个领域，其中一部分附带了可由计算机机械检查的 Lean 形式化证明。据 OpenAI 介绍，它们全部出自一个尚未发布的内部前沿模型，平均每个结果消耗的算力大约相当于 ChatGPT Pro 思考模式运行三个小时。 这并不是 OpenAI 在数学上的第一次大动作。一个月前的 9 月 8 日，它就宣布内部模型调度上万个智能体、历时约 88 小时，给出了与 Navier-Stokes 千禧年难题相关的爆破证明，随即陷入
了解更多 ⇒ 发表评论（3）⇒「You can't optimize for both.」（你无法同时针对两者实现最优体验。） 2016年，苹果时任全球营销高级副总裁Phil Schiller在接受WIRED采访时表示，如果给MacBook加入屏幕触控，桌面版Mac就会出现交互不一致的问题。而为手指重新设计菜单栏，也会损害鼠标和触控板的体验。 一言以蔽之，他认为这种兼顾两种交互的思路是追求「最低公分母」。 但在新任CEO约翰·特努斯治下，苹果很快就要给MacBook装上一块「可以摸」的屏幕了。 MacBook要上触控屏的消息传了很久，新一代MacBook Pro时至今日更是基本实锤，
了解更多 ⇒ 发表评论（3）⇒36氪获悉，工业和信息化部等四部门联合发布了关于进一步加强汽车产品创新设计和研发测试验证有关管理工作的通知（征求意见稿），拟规范营销宣传活动。汽车生产企业应当真实客观开展营销宣传活动，如实宣传产品创新设计的使用边界、限制条件和研发测试验证等情况，不得作虚假、夸大或引人误解的宣传，不得使用违反道路交通法规的场景来宣传产品功能，不得诱导驾驶人忽视安全驾驶责任，确保消费者正确理解和使用汽车产品创新设计相关功能。
了解更多 ⇒ 发表评论（3）⇒
