OpenAI 刚刚放出700篇数学证明与反例的预印本

OpenAI 在一个公开 GitHub 仓库中集中放出了约 700 篇数学预印本,内容以定理证明和反例构造为主,覆盖代数、组合、概率、量子信息等多个方向。这件事值得关注的地方不在于某一条结论,而在于它暗示了 AI 参与数学研究的一种新工作方式。

OpenAI 在一个公开 GitHub 仓库中集中放出了约 700 篇数学预印本,内容以定理证明和反例构造为主,覆盖代数、组合、概率、量子信息等多个方向。这件事值得关注的地方不在于某一条结论,而在于它暗示了 AI 参与数学研究的一种新工作方式。

纽约公司 Melius 完成 2500 万美元融资(2000 万 A 轮加 500 万种子轮),主打用 AI 生成广告投放素材、图片和视频,广告创意生产正在成为生成式 AI 落地最直接的赛道之一。

亚马逊警告美国各地超过 100 项数据中心建设禁令提案可能削弱其 AI 竞争力,同时承诺五年投入逾 10 亿美元用于社区项目以缓解反弹。

1950年图灵在《Mind》发表《计算机器与智能》,首次把"机器能思考吗"从哲学幻想变成可讨论的工程问题;而在这之前的1943—1949年,McCulloch-Pitts神经元、Hebb学习规则与Wiener反馈思想,已经为"机器如何学习"铺好了理论地基。

美国司法部内部备忘录要求员工把 "artificial intelligence(AI)" 统一改称 "super intelligence(SI,超级智能)",连法庭文件也在修改范围内,依据是特朗普上周签署的行政令;马斯克随即跟进,把 SpaceXAI 改名为 SpaceXSI。一场围绕术语的官方换词,正在…

LibreOffice 背后的非营利组织 Document Foundation 明确表示,在可预见的未来不会把 AI 功能加入软件默认安装,并把“不含生成式 AI”当作一项刻意的产品设计立场。在几乎每家软件都在塞 AI 助手的当下,这种反向选择值得关注。

ChatGPT 生成的仿《纽约客》漫画在社交平台走红,问题不只是模仿画风,而是它把十多位在职漫画家的真实签名一并伪造到图上。这些艺术家既未被征询,也未获补偿。

一家此前不太为人所知的中国厂商 Moginsok 在 Amazon 上架了 MG01 AI 迷你工作站,搭载 128GB 内存版 AMD Ryzen AI Max+ 395,加 1TB SSD 定价 3,299 美元,是目前同类配置中价格较低的一款。

一批用 AI 生成形象和视频的“虚拟网红”正在社交平台上快速积累流量并接商业合作,围绕它们已形成从生成工具到经纪代理、培训课程的小型产业链,而真实创作者开始表达不满。

一名记者称,Tumbler Ridge 枪手对 ChatGPT 的使用情况比此前公开披露的“更令人不安”,但原始素材未给出具体细节,目前可确认的只是这一说法本身。