「开源AI工具」共找到 11451 篇相关文章
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。
仅需0.7秒单图像实时3D重建，开源扩散模型
单图像3D重建是计算机视觉难题，传统基于回归和生成式方法各有局限。Stability - AI开源SPAR3D模型，融合两种方法规避局限，仅0.7秒完成单图实时3D重建，实验显示性能显著优于其他基线方法。
微软放话一年消灭白领！硅谷老板流行借助AI亲自上手一切
微软AI掌门人苏莱曼称12到18个月内，电脑前工作将被AI自动化，会计等白领岗位首当其冲。硅谷CEO用AI写代码、搭产品抬高绩效标准。不过现实复杂，AI红利多在科技圈，岗位替代没那么快。
一个月狂揽10K star！！这款开源的 Claude Code 桌面GUI项目，牛皮了~
Claude Code是强大的AI编程工具，但命令行操作不友好。开源GUI工具Claudia是其最佳拍档，6月开源已获10K+ star。它把复杂命令行变图形界面，功能丰富，还介绍了安装使用方法。
这款拿下 10k+ Star 的开源 LLM DevOps 平台，如何帮企业“批量孵化”AI 应用？——BISHENG 深度上手
BISHENG 是面向企业级场景的开源 LLM 应用 DevOps 平台，支持 GenAI 工作流等完整能力，已在众多头部组织落地。它围绕企业痛点搭建，有灵思 Agent、可视化工作流编排等亮点，适用于多场景。
不止于快！美团新推理模型正在重新定义「实用主义AI」
美团发布并开源推理模型 LongCat-Flash-Thinking，它在权威测评表现突出。该模型有多项创新，能更快、更能干、更可靠。其将技术实力转化为业务服务能力，实战测试表现佳，体现美团实用主义 AI 路径。
你的「龙虾」真记得你吗？剑桥发布长期个性化记忆基准ATM-Bench
剑桥大学团队开源面向AI个人助理的长期记忆基准测试ATM - Bench，评估AI面对真实生活数据时能否「记住你」。实验结果不佳，专用和通用智能体系统准确率低，凸显长期个性化记忆问答难题。
这脑洞神了！两AI「互喷」，竟治好祖传科研软件95%老毛病？
科学计算领域开源工具多，但大多难以直接运行，制约AI4S与Agentic Science发展。深势科技推出Deploy - Master，以执行为中心，经搜索和构建，将约50万个仓库筛选收敛，构建成功率达95%以上。
5.1K Star！Codebuff 把整个 AI 编程团队装进你的终端！
Codebuff是开源AI编程助手，获超5.1k stars。其多智能体架构让不同智能体分工协作，理解代码上下文更好、编辑更准。官方测试中完成率61%，超Claude Code。它免费且上手简单，还能创建自定义智能体。
李飞飞最新播客：AI 是一项文明级技术，以人为本是关键
AI教母李飞飞在High Signal播客指出AI是文明级技术，分享构建以人为本AI的见解，涵盖研究动机、好奇心作用、AI同心圆层级等话题，还强调空间智能重要性，给出AI发展建议。