「AI模型训练」共找到 13744 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
超越人类标注，Meta提出CoT-Self-Instruct：如何用"推理式自进化"重塑LLM训练
大语言模型发展需海量高质量训练数据，传统人工标注困境重重，现有合成数据方法也有缺陷。Meta提出CoT - Self - Instruct，通过推理式自进化生成数据，实验证明其在多个任务上超越人类标注数据。
OpenAI秘密项目曝出！百名投行精英密训AI，华尔街最贵苦力要失业了？
OpenAI秘密项目「Mercury」曝出，正高薪招募百名前投行精英训练财务模型，替代初级银行家重复性工作。业内认为这是其在算力成本高企下加速商业化与盈利的关键一步，也引发对银行从业者就业与成长的讨论。
一天斩获2.5k星星！首个可以「让AI直接画CAD」的开源项目来了
新开源项目text - to - cad很猛，只需把需求告诉AI，它就能生成可编辑3D模型、导出文件，还能预检。支持多格式，有几何引用等特点，一天获2.5k星。
深度访谈：阿里云X平头哥，模型推理提升13倍背后的秘密
这篇深度访谈聚焦阿里云与平头哥，探讨模型推理提升13倍背后的秘密。随着AI焦点转向推理，行业面临算力、成本、监管等矛盾。嘉宾分析推理范式现状与变化，探讨推理加速技术及优化策略，还谈及瓶颈、未来发展及竞争方向。
马化腾内部员工大会安利「元宝派」新玩法，结合腾讯优势开启AI社交新赛道
腾讯2026年员工大会上，马化腾强调保持定力。过去一年混元大模型深度重构，吸引人才。AI助手元宝发展佳，即将推出“元宝派”新玩法，还针对春节推10亿现金红包活动，马化腾现场安利。
美团也开源了大模型，但我觉得他们的野心是通用生活Agent。
美团发布并开源560B参数的MoE模型LongCat - Flash - Chat，推理速度快。与DeepSeek V3对比，输出速度优势明显。美团多个落地或内测AI功能服务C端生活场景，目标是打造通用生活Agent。
月耗3000美金的Skills重度用户，实测MiniMax M2.7：国产Agent模型的天花板？
AI产品黄叔作为月耗3000美金的Skills重度用户，实测MiniMax M2.7，从多Agent协作、Coding能力、办公自动化等多方面测试，发现其表现出色，虽有不足，但在多维度已是国产模型天花板。
对话涌生智能杨梦：AI for Bio的下一场竞争，是把实验闭环验证真正做出来
随着科技巨头进入生命科学领域，AI for Bio竞争升级，焦点转向模型能否进入科研流程。涌生智能与上海人工智能实验室发布成果，为跨越鸿沟提供新路径。对话涌生智能杨梦，探讨相关技术路径、产业思考等。
超越谷歌Banana，字节联合香港中文大学等高校开源最强图像编辑生成系统DreamOmni2
香港多高校与字节跳动联合研发的DreamOmni2系统，实现图像编辑与生成领域SOTA。它用三步造出高质量数据，提出索引编码等方案，联合训练模型，实际效果超越部分商业模型，为AI创作带来新可能。