「AI 数学发现」共找到 10120 篇相关文章
2.2K Star！一个开源 AI 桌面客户端，搞定所有 AI 工具的安装、配置与管理！
超60%用户首次尝试AI Agent工具时卡在安装配置阶段。EchoBird是开源AI桌面管理工具，能集中解决AI Agent使用痛点，如一键安装、统一配置等，采用Tauri + Rust架构，有四大应用场景。
Nature发表、Science点赞！清华揭秘AI让科学家走捷径却让科学走窄路
清华大学基于超4100万篇论文研究发现，AI虽提升科学家个人产出与职业进程，却使科学探索领域变窄固化。研究发表于Nature，被Science深度报道，揭示了AI在科学发展中的利弊。
开源AI黑客Agent，自动检查代码漏洞并修复，离AI编程的全流程自动化不远了。
开源的AI Agent能自动查代码漏洞并修复，是集自动化渗透等功能于一体的安全测试平台。Strix作为开源AI安全测试工具，无需手动渗透测试，支持多类型安全评估，功能强大。
打破 AI 辅助开发碎片化困境，阿里巴巴 R2C Agent 的 AI 编程实践
文章围绕阿里巴巴 R2C Agent 的 AI 编程实践展开。指出当前 AI 辅助开发存在与生产链路结合难、协作碎片化等问题，介绍了 R2C Agent 如何驱动研发链路，阐述其框架、实施情况及未来提升 AI 渗透率的目标。
清华发布AutoSOTA：一周刷新105个顶会SOTA，推动AI科研回归创新本质
在AI研究中，研究者常为提升1%性能反复调参。清华与中关村学院联合发布AutoSOTA，实现端到端AI科研自动化，一周发现105个性能显著提升的SOTA模型，推动科研回归创新本质。
刚刚，DeepMind通用科学智能体AlphaEvolve突破数学极限，陶哲轩合作参与
DeepMind发布革命性进化编码智能体AlphaEvolve，由LLMs驱动，可演化代码库、发现和优化算法。它结合LLM创造力与自动化评估，减少幻觉，在多领域应用前景大，还与陶哲轩合作探索数学应用。
一家低调的工业AI公司，用TPT跨越生成式AI鸿沟｜甲子光年
麻省理工学院报告指出约95%生成式AI企业试点无实质回报，存在生成式AI鸿沟。工业AI落地难，中控技术的TPT及TPT 2模型，在兰州石化榆林化工应用效果好，其优势源于数据和行业经验，也体现了破局决心。
AI编程界炸出新黑马！吊打Cursor、叫板Claude Code，工程师曝：逆袭全靠AI自己死磕
近期，AI编程黑马AmpCode崛起，与Claude Code并列S级，吊打Cursor。Sourcegraph工程师分享其研发理念，认为应放权给模型。此外，还探讨了企业对AI工具的分歧、编程工具变革及AI对开源的影响。
GitHub MCP 注册中心提供了一个发现和部署 MCP 服务器的中心枢纽
GitHub 推出 MCP 注册中心，旨在帮开发者发现和使用 AI 工具，简化 AI agent 连外部工具的过程。它列出 40 多个 MCP 服务器，还展示受欢迎程度。此外，Docker、Postman 等也有相关目录。
比起让大模型写 100 万字的小说，AI 大牛们更想用 AI 拿诺贝尔奖
OpenAI前CPO Kevin Weil创业，新公司定位是“为AI模型收集科学数据”的平台，估值达7.5亿美元。AI4S赛道成为硅谷离职AI高管热门去向，正从概念叙事进入基础设施建设阶段，包括数据、模型、应用层。