陶哲轩：张益唐新论文存在一些技术问题，我已请他澄清
最新消息，陶哲轩已经读过张益唐的论文并做出点评:目前论文的基本正确性尚未得到确认。存在一些印刷错误和技术问题。
待办清单写了很多但不会执行？她们做了一个“帮你开始”的 App
丹麦团队做的 Tiimo 专门服务有执行功能困难的人:说出脑中杂事，AI 会拆成小步骤，再用彩色时间轴和可视化倒计时推动执行。
计算机的存储程序是指什么？
存储程序是计算机领域的核心原理，由美籍匈牙利科学家冯·诺依曼于1945年提出。该原理要求将程序预先存储在计算机存储器中，控制器按地址顺序执行指令并通过程序控制实现自动化处理，奠定了现代计算机的理论基础。
iOS 27 首个公开测试版来了，这有些值得你关注的新功能
在经过一个多月、三个开发者预览版本的测试，Apple 于 7 月 14 日凌晨正式发布 iOS 27、iPadOS 27、macOS 27 Golden Gate 和 watchOS 27 等系统的公开测试版，正式版预计将于秋季发布。
2026 苹果最重要发布定档：Siri 无处不在，即将接管你的 iPhone
本周，苹果正式官宣全球开发者大会2026 将于北京时间 6 月 9 日在 Apple Park 拉开帷幕。2 年前 WWDC 上发布的 AI Siri 还没踪影，下一个新版 Siri 已经蓄势待发了。
苹果重新定义AI，iPhone、iPad、Mac“原地起飞”
与往年不太一样，WWDC24是一场用AI串联起来的大会。WWDC24现场我们这次也去了WWDC24，现场不绝于耳的讨论声，能感受到大家对苹果AI的期待。
垂直Agent该如何做？红杉宠儿Harvey：OpenAI投资的法律AI成独角兽了……
Harvey，这款由红杉加持、OpenAI投资的法律AI，不仅以惊人的融资节奏跃升为独角兽，更在产品结构、数据闭环与行业深度上树立了垂类智能体的新标杆。本文将以Harvey为样本，深入解析垂直Agent的构建逻辑与商业潜力，为你揭示下一代AI产品的破局之道。
WorkBuddy 装这 15 个 Skill，一周工作 3 小时搞定
最近群友一直在催我出一期 WorkBuddy 的 Skill 推荐。然后平时任务尽量使用混元3、混元4，因为这俩免费，然后对于日常学习、办公来说，模型的能力是足够的。
我们和Inflection的Pi聊了聊：情商超ChatGPT，堪比业余心理咨询师
界面新闻记者 | 李京亚界面新闻编辑 | 苹果CEO蒂姆·库克在财报会议上针对AI的布局回应仍然含糊，但硅谷立志抓住本轮风口成为下一个Siri的明星初创已不下数家：Adept估值达到10亿美金，Rewind备受热捧，位于伦敦的Qatalog也颇具竞争力。