Anysphere获A16z投资估值40亿 微软为Excel研发新AI模型

今日的AI与科技领域，资本与创新持续涌动。从编程助手到医疗健康，从底层芯片到应用平台，新一轮的融资动态勾勒出行业发展的热点与方向。同时，大厂与研究机构也在工具与体验层面不断推陈出新，为开发者与用户带来更高效的解决方案。

今日融资快报

AI编程领域再添重磅消息。初创公司Anysphere旗下AI代码编辑器Cursor获得知名风投A16z的新一轮投资，公司估值至少达到4亿美元。这款工具已被OpenAI、Perplexity等大型科技公司采用，其目标是通过AI辅助显著提升开发者的工作效率。当前，AI编程工具市场竞争日趋激烈，Replit AI、Sourcegraph等同类初创企业也在不断获得巨额融资。值得一提的是，Anysphere此前已从OpenAI的创业基金获得了800万美元的种子轮融资。

在数字化医疗健康赛道，一站式人工智能服务平台华美浩联宣布完成近亿元C轮融资。本轮投资方包括阿米巴资本、Ventech China银钛资本及蜂巧资本等。资金将主要用于产品研发、市场推广以及AI数字化医疗健康服务平台的升级建设。该公司成立于2017年。

大算力芯片领域迎来重要进展。存算一体芯片设计公司后摩智能宣布完成数亿元软妹币战略融资，投资方为中国移动旗下两支产业基金。该公司创立于2020年底，由吴强博士领衔，专注于面向无人车等边缘端及云端的高能效比大算力智能计算芯片研发，致力于成为国内首家实现单芯片算力达1000TOPS的公司。

同样在AI芯片领域，芯盟科技宣布获得招银国际资本、湖北科投、精确资本、联想创投等机构的战略投资。该公司成立于2018年，专注于超高性能异构类脑AI芯片、物联网核心处理器芯片及相关算法与软件的研发。

企业级AI安全管理正成为一个新兴焦点。平台服务商Kindo成功筹集2060万美元融资，由Drive Capital领投。该平台旨在为企业提供一个统一的界面，以安全、可控的方式访问和管理各类AI模型。与此同时，Kindo还收购了开源安全项目WhiteRabbitNeo。

机器人软件领域，Jacobi Robotics完成了500万美元的种子轮融资，由Moxxie Ventures领投。该公司致力于通过AI软件改善机器人解决方案的编程效率与性能。

AI在招聘领域的应用持续深入。专注于技术工人匹配的平台WorkerHero获得400万欧元A轮融资，由Mediahuis领投。该平台利用AI进行人才寻源与匹配，服务已覆盖德国、奥地利和瑞士，拥有超过7万名用户，客户包括Telekom、HelloFresh等公司。

生成式AI在电商视觉领域找到落地场景。法国初创公司Presti利用AI技术，为家具品牌将单一产品图转换为逼真的场景生活照，以降低拍摄成本、塑造品牌形象。该公司近日完成了350万美元的种子轮融资，由Partech领投。

AI正在改变游戏开发流程。初创公司Grand Games利用AI构建高达30%的游戏代码库，并使用Midjourney等工具生成艺术概念，大幅缩短游戏制作周期。其首款游戏已上线测试，并获得了300万美元融资，由Earlybird Digital East Fund领投。

此外，还有多家公司获得资本加持：自动化移动应用创建平台Reactiv宣布获得天使轮融资；AI大模型全栈服务商昆仑元人工智能获得九颂山河基金的天使轮投资；AI法律平台提供商LegalFly完成由Fortino Capital等机构参与的A轮融资。

一项值得关注的战略投资来自加拿大医疗科技公司HealWell AI，该公司宣布向xAI Corp投资200万美元。此举使其能够接入xAI的封闭开发者计划，从而在xAI生态系统中占据独特位置。据悉，这项投资由HealWell的股东兼战略顾问Massimo Agostinelli领导的投资基金促成。

今日大厂风闻

微软近日公布了一项研究，计划为Excel、Google Sheets等电子表格应用开发专用的大语言模型——SpreadsheetLLM。为了解决电子表格数据结构复杂、传统LLM处理效率低下的问题，微软还研发了名为SheetCompressor的压缩技术。测试表明，该方案能将电子表格检测任务的性能提升25.6%，同时将处理所需的词元（token）成本降低96%。

腾讯旗下大模型应用“腾讯元宝”上线了“3D角色梦工厂”功能，成为首个具备打印级3D生成能力的通用大模型App。用户上传一张清晰的正面头像，选择不同风格模板，即可快速生成个人3D角色。目前该功能已提供10种风格，未来将更新更多角色并推出动态3D制作玩法。

专注于智能喂鸟器的硬件公司Bird Buddy推出了一项名为“Name That Bird”的新功能。借助高分辨率传感器和AI技术，该功能不仅能识别鸟类种类，还能区分并追踪到访的个体鸟类，允许用户为其命名。其AI识别能力甚至可扩展至蜜蜂、蝴蝶、浣熊等非鸟类动物。

大语言模型的“幻觉”问题有了新的开源解决方案。初创公司Patronus AI发布了名为Lynx的开源模型，专门用于检测和减少LLM中的幻觉。据报告，Lynx在检测医疗误差等任务上的准确率优于GPT-4和Claude 3等主流模型。

YouTube Music正在测试两项新功能：其一是AI生成的对话式广播，用户通过描述想听的音乐风格来创建个性化电台，目前仅向美国部分高级用户开放；其二是歌曲识别工具，用户可通过哼唱或播放片段来查找歌曲，该功能已向所有移动端用户推出。

如何让AI模型平滑更新，避免损害用户体验？苹果公司提出了一种名为MUSCLE（Model Updating with Selective Confidence re-LEarning）的方法。其核心是训练一个“兼容性适配器”，让新模型在学习新知识的同时，尽量减少在旧模型已掌握问题上的性能倒退（即“负翻转”问题）。研究显示，该方法在多个任务上有效提升了模型更新的平滑度。

今日产品动态

Product Hunt 热榜：Gan.ai

Gan.ai是一款提供永久免费录制的视频工具，支持屏幕和摄像头录制，可通过网页或Chrome扩展使用。其Starter计划包含个性化字幕、动态背景和观众分析等功能，并支持导入网站链接为每位观众自动展示。该平台已集成Hubspot、Salesforce等15个第三方工具，并计划推出AI虚拟人物功能。

GitHub Trending 热榜：GPT 学术优化

这是一个针对GPT/GLM等大语言模型的实用化交互接口项目，特别优化了论文阅读、润色和写作体验。它采用模块化设计，支持自定义快捷按钮和函数插件，具备Python/C++项目剖析、PDF/LaTex论文翻译总结、并行问询多种模型等强大功能，并接入了通义千问、DeepSeek Coder、讯飞星火、文心一言等众多国内外主流模型。

开发者推荐

1. GPT4o Captcha Bypass：一款利用Python和Selenium的命令行工具，旨在测试和破解多种验证码系统，包括拼图、文本验证码以及reCAPTCHA。其特色在于集成了OpenAI的GPT-4模型，通过AI辅助解决复杂验证问题。

2. Datalore：一款AI驱动的数据分析助手，集成了Claude 3.5 Sonnet。它支持通过自然语言交互处理CSV、Excel、JSON等格式文件，进行统计分析和可视化，并允许执行自定义Python代码以满足高级需求。

3. OnnxOCR：一款基于PaddleOCR重构的轻量级通用OCR工具，支持80多种语言。通过改用ONNX模型，其推理速度相比原框架提升了5倍，且不依赖深度学习训练框架，便于直接部署。

4. Tau：一个开源的平台即服务（PaaS）解决方案，旨在成为Vercel、Netlify或Cloudflare的自主托管替代品。它提供了自动缩放、CI/CD集成、安全监控等丰富功能，并支持基于Docker、Kubernetes的容器化服务，强调灵活性与可扩展性。

5. Claude 3.5 核心编码系统提示（Reddit社区热议）：Reddit社区流传的V2版系统提示，融合了“ReAct + Planning”等思路，通过代码审查、规划、输出和安全审查四步法引导模型完成复杂编码任务。尽管关于“角色提示”有效性的最新研究存在不同观点，但该提示为AI辅助编程提供了新的实践思路。

特别关注

可穿戴设备与AI硬件的融合正开启新的想象空间。一场由柴火创客空间主办的前沿分享会将于7月20日举行，聚焦可穿戴技术的未来趋势。届时，法国科技企业家Laurent Le Pen与MIT实验室的工程师Cayden Pierce将分享见解，其中将重点介绍一款可安装在智能眼镜上的革命性AI助手——Convoscope，它能够为用户提供实时信息支持。此次活动面向行业人士免费开放。