不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。
七岁学音乐，剑桥读硕期间组乐队，Alexander Cobb一度以为音乐是毕生挚爱。但奥特曼的一场演讲，当头一棒，让他醍醐灌顶：果断自学编程搞AI，十个月后投身创业，坚信AI是新的「互联网」，终将掀起第四次工业革命。
Meta内讧大戏再升级！首席AI官Alexandr Wang审核图灵奖大佬论文，LeCun亲自发帖疑似暗讽28岁新上司。没有PhD、没开源代码、没发表论文，都称不上AI研究员。
就在今天，Xcode最流行的超强编程Copilot插件Alex，宣布被OpenAI收编，全员加入Codex开启新工作！这会为Codex在开发者更偏爱的Mac端的攻城略地带来哪些变数？
苹果自研AI搜索引擎，刚刚曝光！据长期追踪苹果资讯的彭博社记者古尔曼爆料，这家公司预计又有两个新动作： 一是在明年春季推出一款代号为“世界知识问答”（World Knowledge Answers）的AI搜索引擎，与ChatGPT和Perplexity展开直接竞争；二是当下倾向于与谷歌合作，利用谷歌模型为Siri的部分功能提供技术支持。
AI搜索初创公司Perplexity，最近过得并不轻松。
从 Cursor 到 Perplexity，从 Pika 到 Granola，硅谷多家未来独角兽背后，站着同一个早期捕手：AI Grant。
智东西8月27日消息，据外媒The Information报道，苹果高管曾在内部讨论收购生成式AI搜索独角兽Perplexity、欧洲大模型独角兽Mistral的可能性，但目前尚无定论。
苹果刚刚官宣发布会为iPhone 17预热的同时，高管们也正在悄悄算着另一笔账： 要不要花上百亿美元把两家AI公司打包带回家？ 据The Information爆料，苹果内部正在严肃讨论收购法国AI初创公司Mistral和美国AI搜索工具Perplexity。
智东西8月26日报道，近日，美国浏览器公司Brave发布博客，称该公司在美国知名AI搜索独角兽Perplexity打造的AI浏览器Comet中发现了一个严重安全漏洞，攻击者可通过在网页中发布恶意指令，来操纵AI浏览器登录网站、访问邮箱、获取验证码，并将这些敏感信息发送给外部攻击者。全程耗时两分半，连普通人也能完成这种攻击。
