「AI 数学发现」共找到 10120 篇相关文章
啊？豆包居然也开始卷AI编程了？
作者体验发现豆包更新了“应用创造1.0”标识的AI编程功能。该功能不仅能生成代码，还能可视化修改网页结果，用户操作轻松，降低了AI编程门槛，体验远超其他同类产品。
突然发现，谷歌的 AI Mode “免费、全面”地开放了
上个月谷歌在 iOS 和安卓的 Google App 全面开放 AI Mode，现几乎对所有能访问 google.com 的地区免费开放。它基于 Gemini 2.5 等模型，能智能答问、对话交互，还植入 Agent 功能，变革搜索体验。
他们从四家顶尖AI实验室辞职，打造能自己跑实验的AI系统，目标是让科学家实现Vibe Research
2026年初，Harsh Mehta和Behnam Neyshabur离开Anthropic，在旧金山注册Mirendil，6月25日公司亮相并完成2亿美元种子轮融资。团队来自四家顶尖机构，目标是构建自主处理AI研发问题的系统，降低AI研发门槛。
谷歌·搜索：献给AI的第一个「祭品」？
谷歌正用AI重塑搜索，AI Overviews和AI Mode改变传统架构，从信息入口变终点，侵蚀开放网站流量。虽在AI创新有进步，但搜索广告垄断及商业模式岌岌可危，2026年或不复往昔。
鹅厂员工都是怎么被AI“糊弄”的？
文章邀请鹅厂同事分享被AI“糊弄”的离谱事件，如AI在发票报销、数学计算、编程问题等方面出错，还会编造不存在的信息，其“系统性可信”假象比单纯答错更危险。
AI步入“自我进化”时代，李彦宏首提AI时代度量衡“DAA”
5月13 - 14日Create2026百度AI开发者大会上，李彦宏首提AI时代度量衡DAA，预测全球DAA超100亿，提出‘AI时代进化论’。百度发布和升级多款智能体产品，智能云也升级，还升级底层能力。
钉钉为 AI 找了个绝佳工位
随着AI浪潮袭来，企业让AI Agent落地提效遇难题。钉钉以数据表格为架构实现AI应用化，将单元格变为AI“工位”，汇集AI工具、沉淀业务系统，还融合表格与文档、支持提醒功能，解决企业痛点。
从捍卫者到引路人，上交&上海AI Lab提出LEGION：不仅是AI图像伪造克星，还能反哺生成模型进化？
AIGC技术发展使AI图像滥用问题严重，公众面临信任危机。上交与上海AI Lab等团队在论文中从构建数据集、设计模型、实现检测与生成统一三方面破局，LEGION能检测伪造，还可反哺生成模型进化。
让AI读懂「言外之意」：AI4SG团队发布首个心理健康污名语料库，破解隐性偏见识别难题
心理健康患者常面临社会偏见，且这种污名化隐蔽难识别。新加坡国立大学AI4SG团队联合多学科专家，构建首个心理健康污名访谈语料库MHStigmaInterview，获ACL 2025认可，为解决该社会问题提供技术支持。
AI产品能不能火，全看创始人会不会当“网红”？这届AI大佬不拼代码了，个个都是隐藏的社交媒体达人
本文指出当下AI创业者纷纷成社交媒体达人，利用小红书等平台为产品冷启动。还强调社交传播对AI产品至关重要，但不能替代技术壁垒。同时分析初创公司应深耕场景，抓住时间差打造竞争力。