人工智能

美国当地时间周一（8月4日），苹果公司向加利福尼亚州北区联邦地方法院申请初步禁令，要求禁止两名前工程师及OpenAI公司获取、访问、使用或披露涉嫌属于苹果的商业机密。 此举标志着苹果与OpenAI之间因人才流动和技术竞争引发的法律争端进一步升级。

后置影像系统预计延续三摄方案，包括 5000 万像素主摄（f/1.7 光圈、1/1.31 英寸传感器）、4800 万像素超广角镜头（f/1.7 光圈）以及支持 5 倍光学变焦的 4800 万像素潜望式长焦镜头（f/2.8 光圈）。

8月4日消息，一项借助AI完成、声称推翻考拉兹猜想的Lean形式化证明被确认无效。 考拉兹猜想又称“3n+1猜想”，由德国数学家洛塔尔·考拉兹于1937年提出。

以生物信息学工具gotree为例，该工具原有1.6万行Go代码和40多个命令，Claude Opus 4.7耗时14小时花费251美元，通过了2001项测试中的2000项，完成度达99.95%，仅因一个冷门日期注释边界未通过。

英伟达正在评估下调明年推出的Rubin Ultra AI GPU的HBM配置，可能不再局限于原定的12Hi HBM4E方案。 此外，据称部分AI ASIC业者也在考虑采用更低容量的HBM配置。