AI工具
陶哲轩油管首秀:33分钟,AI速证「人类需要写满一页纸」的证明
陶哲轩发布视频演示如何借助AI仅用33分钟完成复杂证明,他的订阅量和观看量迅速增长。他开发的数学助手也迎来2.0版本升级,用于简化某些命题逻辑的证明任务。
速递|设计师的AI新基建?Figma推出网站生成器与营销素材批量生产线
设计公司Figma发布多项新功能,包括AI驱动的网站创建工具、面向营销人员的素材生成方式和全新绘图工具。该公司的网站创建工具Figma Sites允许设计师轻松创建并发布网站,并支持协作修改元素。此外还推出了Figma Make工具和内容管理系统的Figma Buzz以及矢量编辑工具Figma Draw,旨在与Canva等创意解决方案竞争。
苹果谷歌“闹分手”?iPhone搜索或转投AI,高管揭秘
苹果正考虑彻底改造Safari浏览器,引入AI驱动的搜索引擎。埃迪·库透露苹果将与Perplexity AI合作,并可能接入ChatGPT和Gemini等AI搜索产品。这可能导致与谷歌的合作关系破裂,引发投资者担忧。
免费!鹅厂最新3D生成模型火爆外网,CG导演都已经用上了
鹅厂最新3D生成模型混元V2.5,支持文/图生成3D模型并可制作成动画。不仅基本功扎实,还能通过3D打印将模型变成实物。文章展示了其强大的功能以及在国内外的应用案例,并提供了详细的使用指南。
DeepSeek 领跑 AI 数学,阿里重磅开源 Qwen3,小米首秀 MiMo-7B! AI Weekly 4.28-5.4
数学证明模型 Prover-V2
:MiniF2F-test 达 88.9% 通过率,刷新最高纪录,
只花 $100,白嫖 Cursor、Perplexity、Notion 一年 Pro 会员:这可能是 2025 年最值的联合会员
Lenny Rachitsky 的 Newsletter 提供订阅者免费一年多款热门 AI 工具,价值超15000美元。此活动包括Cursor、Replit等工具,学生可享受教育优惠价100美元/年。