「数学突破」共找到 1182 篇相关文章
腾讯混元AI Infra核心技术重磅开源：推理吞吐提升30%！
腾讯混元AI Infra团队开源生产级高性能LLM推理核心算子库HPC-Ops，基于生产环境痛点开发，降低底层算子开发门槛，实现显著性能突破。在真实场景下，混元、DeepSeek模型推理QPM提升，单算子性能也超越主流算子库。
小米小爱同学：资源受限下，实现端侧大模型的高性能推理
InfoQ对话小米小爱同学端侧AI负责人杨永杰，探讨大模型端侧部署难题。团队自研推理框架，实现180 tokens/s推理速度，采用共享基座架构支持多业务。未来端侧大模型突破依赖硬件提升与架构演进。
李飞飞50亿美金赛道被开源！浙大教授章国锋带队创业，打造无限时长实时3D世界模型
2024年李飞飞创立的World Labs入局空间智能赛道，估值达50亿美元。近日影溯发布并开源实时帧生成模型InSpatio - WorldFM，由章国锋领衔，该模型突破2D局限，效率高、能无限时长推理，展现出高工程可用性。
更大，还能更快，更准！蚂蚁开源万亿参数语言模型Ling-1T，刷新多项SOTA
10月9日，蚂蚁开源万亿参数语言模型Ling-1T。它延续自研高效MoE架构，在编程、数学推理等多维度测试表现亮眼，还能兼顾精确与效率。此外，它在多场景实用性强，其创新设计提升了能效比与性能。
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
腾讯AI Lab与上海交大团队联合推出首个基于自然语言的数学定理证明框架与数据集DeepTheorem。12.1万道高难度数学“特训题”让模型定理证明性能大涨，7B模型性能比肩或超越现有开源和商业模型。
社区供稿 | 阿里国际Ovis2.5重磅发布：以小博大，刷新开源模型性能新高度
阿里国际发布多模态大模型Ovis2.5，在OpenCompass综合得分提升，保持SOTA水平。它在原生分辨率视觉感知等三方面突破，有9B和2B两版本，代码、模型等资源已开源，技术原理涉及架构、训练与数据。
首家央企AI独角兽浮出水面！背靠自研大模型，4家国家队资本背书
中电信人工智能科技（北京）有限公司成为央企首家AI独角兽，完成首轮增资，引入四家国家级战略投资方。其靠自研“星辰”系列大模型，在多领域突破，实现技术与市场认可闭环，有望推动AI产业落地。
决战8月！Anthropic甩出Fable 5.1，奥特曼携GPT-6连夜汇报
GPT - 6和Fable 5.1很可能8月上线。奥特曼赴华盛顿汇报GPT - 6，它有原创科研等能力。Anthropic准备以Fable 5.1狙击，定价不变。GPT - 6有技术突破，但也有安全风险，8月对决将影响AI产业走向。
硅谷AI研发精英，每周需工作100小时
在中美争夺AGI“圣杯”进程中，顶尖AI研究员虽拿着高薪，但脑力劳动强度极高。《华尔街日报》披露，硅谷研究员和高管每周工作80到100小时成常态，这虽推动突破，也让从业者面临身心考验与人才流失风险。
国产化十年，毫米波雷达等来春天
国产毫米波雷达发展十年，从荒芜走向红海。承泰科技主营毫米波雷达，受价格战影响，售价和毛利率下降。毫米波雷达优缺点明显，曾被特斯拉抛弃，后4D成像雷达技术突破、成本下降，市场需求分化，国内公司借机遇崛起。