1 10年后手机有多科幻？清华孙茂松：人手一个超级大脑，诊病翻译搞研发
新智元｜阅读原文
我们有办法将大模型「化大为小」，同时其智能能力没有太多下降，从而以一种「小而美」的方式达至生成式人工智能与手机的「天作之合」。这一点应该也是确定无疑的。在不久的将来，借助于大模型赋予的OCR、机器翻译乃至口语翻译等手机智能，这个困扰很快就会「随风飘去」：只消用手机随意一扫，法文说明就会精准翻译成英文甚至干脆是中文，你将不会感到任何语言隔阂、文化隔阂的存在；如果你愿意，你还可以用汉语同旁边不期而遇的法国人或者操持其他什么语言的「南腔北调」参观者随口交流文明互鉴的心得。
2 陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线
新智元｜阅读原文
陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大成绩。他认为，剩余大约700个让人类头疼的难题，AI或许更有潜力。
大约三周前，陶哲轩提出了一个协作项目——结合专业和业余数学家、自动定理证明器、AI工具，以及证明辅助语言Lean，来描述与4694条幺半群（magmas）方程定理定理相关的蕴含图。
刚刚，陶哲轩公布了项目的最新进展：
从已解决原始蕴含关系角度来看，截至目前，项目进度已完成99.9963%。在需要解决的22028942个蕴含关系中，8178279个被证明为真，13854531个被证明为假，只有826个仍未解决。
与之前的PFR形式化项目相比，这次项目的工作流程遵循了标准的GitHub实践。通过GitHub Copilot等工具来加速编写Lean证明、LaTeX文档框架、其他软件代码。
3 比飓风更可怕的，是一张 AI 生成图片
极客公园｜阅读原文
一眼假的 AI 图片，引发了两党的「红蓝对决」。AI 假图片已经成了党派之间相互掣肘的政治工具，伴随着这张照片一同传播的还有各种阴谋论和假新闻。
去年底，科技网站 404 Media 的记者就发现，Meta 旗下的 Facebook 上明显是 AI 生成内容的帖子数量激增，同时也扩散到 Meta 旗下的 Threads。
为什么 Facebook 是重灾区？原因很简单：平台算法化赶上了用户老龄化。据 OBERLO 调查机构的数据显示，Facebook 25 岁以上用户占比达到 77.4%，其中 35 岁用户以上占比达到 46.6%。对于大量出生在前互联网时代，可能在中年才开始使用社交媒体和智能手机的中老年人来说，理解 AI 是什么都费劲，更别提鉴别 AI 内容了。
4 长文本、语音、视觉、结构化数据全覆盖，中国移动九天善智多模态大模型震撼发布
机器之心｜阅读原文
10 月 12 日，在第十二届中国移动全球合作伙伴大会主论坛上，中国移动发布了最新的九天善智多模态基座大模型，全面解析了九天系列大模型的亮点能力、特色技术。
九天善智多模态大模型的强大功能解析四大亮点：1、长文本理解与生成，赋能产业态势感知、2、全双工语音交互，实现 “边听边说” 的自然对话、3、视频与图像处理的双重飞跃，成为视觉创作 “魔术师”结构化数据能力，4、实现业务精准分析预测
对此，你怎么看？
详情查看参与互动赢蚂蚁周边
支付宝开放平台-开发者社区
「AGI 之路」 内容库
欢迎你的投稿！戳我进群
支付宝/钉钉扫码加入支付宝开发者钉组织，可了解支付宝开放能力最新动态，订阅文档更新消息，和同城同行业交流业务，与支付宝产研沟通交流。
