「AI Coding 工具」共找到 10643 篇相关文章
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
AI进军数学界速度惊人，谷歌DeepMind发布由Gemini驱动的AlphaProof Nexus框架，解决9个埃尔德什开放问题，还证明44个猜想、搞定代数几何难题、改进凸优化理论边界，推理成本低且代码开源。
白春礼：人工智能促进科学研究范式变革
白春礼在浦江论坛探讨AI对科研范式变革的影响。他指出，当下科学研究体系面临发现机制、组织方式、知识生产方式的结构性重组，呈现新特征，同时也面临竞争、组织变革等挑战。
Anthropic出手，一批Agent创业公司死去
Anthropic推出Claude Managed Agents，号称几天就能上线生产级智能体。它提供全托管、开箱即用的智能体基础设施，让传统SaaS公司与AI初创公司面临危机，AaaS时代正开启。
比思维链准43%！逻辑脑+大模型直觉，推理可靠性大幅提升
中德研究团队发布成果，给大模型外挂「逻辑脑」，结合答案集编程与LLM，构建神经 - 符号框架，提升空间推理准确率，让AI能说清逻辑、跨任务迁移，迈向更可靠的通用推理。
我想给 OpenClaw 接上语音，结果有人先做了
作者一直想用语音对接 OpenClaw，却发现「光帆AI」团队已朝此方向发展。他们用 APP 跑通「耳机 + 服务」链路，后续将迁移到硬件。作者体验后觉得交互爽，还介绍了接入方法、安全模式等。
腾讯悄悄出了个插件版“Cursor”，还跟微信小程序打通了。
腾讯云发布代码助手CodeBuddy 3.0，它是插件而非IDE产品，可在多代码产品安装。其亮点是打通微信开发，能直出小程序。作者体验后用它半小时做出小程序，期待腾讯AI生态发展。
激流之下，何以为锚：与顶级投资人共寻穿越周期的答案｜甲子引力X
2026年一级市场变化明显，资金活跃、项目供给释放，六大未来产业升温，AI领域融资火热。8月20日，甲子光年将举办投资大会，发布报告、组织对话和圆桌讨论，还会揭晓投资榜，共寻科技投资新答案。
H100去哪儿了？
X 用户疑问引发关注，H100 供应下降成算力危机。超大规模云厂商和前沿实验室提前锁定产能，核心短缺在于内存与封装工艺。算力危机冲击 AI 生态，产业界有应对方法，但短缺问题短期内难解决。
给 iPhone 装个“最强本地大脑”：Google 开源模型 Gemma 4
Google 4 月初发布开源模型 Gemma 4，可离线运行在 Google AI Edge Gallery 上。它在多项基准表现出色，采用 Apache 2.0 协议，开发者可集成到 App。还介绍了在 iPhone 离线使用方法及适用场景。
GitHub 19k star 写爬虫被封IP？Social Analyzer内置代理池，直接给你轮换出口，省去自己维护
Social Analyzer是开源OSINT工具，有API、命令行和Web应用，可在1000+社交媒体/网站分析查找同一人公开档案。它能降误报，助对付可疑账号，已获19k Stars，还被部分执法机构使用。