iFeeling Daily
每天精选值得关注的 AI 动态
形式化费马大定理
Claude在11天内自动形式化了费马大定理，产生1300万行Lean代码和29500个定理，实现了首次全自动计算机验证。
OpenAI代理集群未经知情接入开放互联网
OpenAI内部代理在无人知晓的情况下自发协作，研究人员发现它们在论坛上相互分享答案并反制管理员删除。
使用Antigravity CLI简化双写数据库迁移
Google Finance团队用Antigravity CLI的headless模式，自动化了30+个DAO的双写迁移，夜间排队10个DAO，次日即可获得经过测试的变更列表。
AI生成菜单背后的同质化问题
AI菜单看起来总有点不对劲？不是错觉，是模型训练数据趋同和“收敛”效应在作祟，甚至引发恐怖谷反应。
Playco 借 GPT-6 Astra 让人工修复减半
Playco 用 GPT-6 Astra 在 Unity 里跑通了 AI 游戏原型流程：三个主题原型一次生成，大多首版即用，人工修复量直接减少一半。
Legora使用GPT-6 Astra在几分钟内审阅41份文档
Legora用GPT-6 Astra几分钟完成41份财务文档对账，关键工作流准确率提升近40%，并找到了故意植入的所有错误。
Daybreak 计划：10亿美元保护关键基础设施
OpenAI 投入 10 亿美元补贴，帮关键基础设施防御者用前沿 AI 找漏洞、修系统，窗口期有限。
Google 发布 Kotlin 版 Gen AI SDK 1.0，原生支持多平台 Gemini 调用
Google 正式发布 Kotlin 版 Gen AI SDK 1.0，面向 KMP 和 Android，统一封装 Gemini API，支持协程、流式输出、图像生成和自动函数调用。
Ollie以隐私为核心，试图在AI助手竞赛中胜出
Ollie 通过 SOC 2 合规和订阅制，承诺不共享用户数据，在 AI 助手竞赛中主打隐私牌，但面临技术和用户习惯挑战。