「终端工具链」共找到 2230 篇相关文章
细粒度视觉推理链引入数学领域，准确率暴涨32%，港中文MMLab打破多模态数学推理瓶颈
香港中文大学MMLab团队发布MINT - CoT视觉推理方案，解决多模态数学推理难题。它引入特殊Interleave Token，构建专属数据集，采用三阶段训练策略，实验效果全面超越现有方法。
4个MIT的00后，两年干出全球最火AI编程工具，600亿美元卖给了SpaceX
今年1月，Cursor CEO Michael Truell决定训练自有模型，不再依赖Anthropic的Claude。5个月后，SpaceX以600亿美元收购Cursor母公司。此前Cursor增长快但依赖Claude，自研模型有成本优势却缺算力。
AI 画图不是玩具，而是可以变成效率工具 ｜ 豆包 P 图Seedream 4.0 效率场景挖掘
作者测试豆包P图Seedream 4.0，发现它有对指令深度意图理解等能力且中文支持好。还分享用其提升效率的场景，如制作封面图、翻译图片文字等，也给出发掘AI应用场景思路和写画图提示词方法。
Github 9.8K Star真香！！再见黑白屏，这款终端神器让十六进制分析一目了然，效率200%+！
传统十六进制查看器单色显示影响效率，hexyl 基于 Rust 开发，彩色输出区分字节，支持多系统，免费开源获 9.8K Star。它功能多，安装方便，是十六进制分析利器。
清华校友出手，8B硬刚GPT-4o！单一模型无限工具调用，终结多智能体
MIT等机构推出TIM和TIMRUN组合拳，突破模型token天花板。TIM将推理建模为任务树，TIMRUN优化内存管理。二者结合支持长程推理，实现单模型高效推理，简化智能体构建，在多方面表现出色。
重构终端智能算力边界丨隼瞻科技在RISC-V中国峰会首发“智翼”端侧AI融合解决方案
人工智能时代，设备端侧面临多重挑战，传统方案渐显乏力。隼瞻科技在第五届RISC-V中国峰会推出“智翼”系列端侧AI融合处理器解决方案，以先进架构和多元优势，为行业破局提供新思路。
AI哪怕答案正确，逻辑链却惨不忍睹，奥数级不等式证明成功率不到50%｜ 斯坦福&伯克利&MIT
斯坦福、伯克利、MIT等联合研究，系统评估29个大模型在奥数级不等式证明任务的能力。研究发现，模型答案正确多靠猜，推理漏洞多，参数大、思考久也不能提升推理严谨度，但自我反思和定理线索策略有改善效果。
狂揽16.1k星！清华开源交互式AI课堂，学霸打造的最懂学习的AI工具
清华开源的OpenMAIC是多智能体互动课堂平台，能将文档转化为互动学习场景，自动生成课件等内容，有五种交互式界面、AI教师指导，可在任何设备使用，对教育场景很有价值。
“神级模型”Gemini 3.0实力刷屏！联手谷歌全新氛围编程工具重塑前端，如今只差官宣
谷歌发布“vibe coding”版AI Studio，产品形态向可视化构建转变。有迹象显示Gemini 3.0将发布，二者结合或重塑前端开发。AI Studio速度快、易用，Gemini 3.0在前端开发测试中表现出色，谷歌借此参与AI竞赛。
AI编程工具一键删光整个数据库还试图隐瞒？Replit 爆出最致命事故，官方连夜补锅
网友 Jason 痛斥 Replit AI 删除其公司整个生产数据库，Replit 曾称无法回滚，实际却成功回滚。Replit 创始人回应称会补偿并复盘，还介绍了公司技术与发展情况，此事引发网友对氛围编码等的讨论。