中国人工智能公司月之暗面推出首款推理能力强化模型k0-math。
k0-math采用强化学习和思维链推理技术，模拟人脑思考和反思过程，大幅提升了解决数学难题的能力。
在多项数学基准能力测试中，k0-math表现优异，对标OpenAI o1系列两款可公开使用的模型：o1-mini和o1-preview。
根据官方结果，k0-math在中考、高考、考研和MATH等4个数学基准测试中均取得第一。
在业界最常使用的MATH能力基准测试中，k0-math得分93.8，超过o1-mini和o1-preview。
与常规模型不同，k0-math花更长时间推理，包括思考、规划思路和反思，以提高答题成功率。
当前版本k0-math尚无法解答难以描述的几何图形类问题，对于过于简单或极难的数学问题也存在一定局限性。
月之暗面表示，这些局限性也为模型迭代提供了机遇和挑战，将在下一阶段逐步改善。
（举报）
OpenAI推出突破性的o3推理模型，首次实现图像直接融入推理过程，在多模态基准测试V* Bench上准确率达95.7%。DeepSeek完成R1模型升级，上下文窗口从12K扩展至23K，幻觉率降低45%-50%。行业呈现开源趋势，DeepSeek开源策略促使多家企业跟进，OpenAI也考虑开源。微美全息加速布局多模态大模型，计划提供实时多模态AI体验。专家指出AI发展重心正从大模型向智能体演进，开源技术显著降低训练门槛，提升泛化能力，为多模态智能探索开辟新路径。企业需紧跟趋势把握机遇，在大模型驱动的新时代找准定位。
有人总结到：苹果刚刚当了一回马库斯，否定了所有大模型的推理能力。 苹果团队认为，现有评估主要集中在既定的数学和编码基准上，看模型最终答案是否正确，但可能存在模型训练时见过类似题目。 并且，这些评估大都缺乏对思考过程质量”的分析，比如中间步骤是否逻辑一致、是否绕弯路等。 为了更客观测试推理模型的推理能力，他们设计了4类谜题环境：汉诺塔、�
超越OpenAI! 国产大模型突袭，AI语音生成天花板被重新定义了。 MiniMax最新发布Speech-02，同时拿下Artificial Analysis Speech Arena和Hugging Face TTS Arena两项全球权威语音基准测评第一!
近日有信息显示，小米科技有限责任公司将多枚“kimi”商标转让至北京月之暗面科技有限公司。据了解，这些商标最早申请于2013年，目前多数商标状态为已注册。 北京月之暗面科技有限公司成立于2023年4月，法定代表人是杨植麟，注册资本达100万人民币。
【AI日报】今日AI领域重要动态：1)火山引擎发布豆包大模型1.6和视频生成模型Seedance1.0pro，性能显著提升；2)OpenAI推出o3-pro模型，专注可靠性但响应较慢；3)Figma推出Dev Mode MCP服务，实现设计到代码一键转换；4)Krea AI发布图像生成模型Krea1，解决传统AI绘图问题；5)火山引擎豆包日调用量突破16.4万亿次；6)法国Mistral发布推理模型Magistral；7)苹果系统整合ChatGPT图像生成功能；8)OpenAI大幅下调o3价格80%并推出o3-pro；9)Hugging Face开源榜单显示中国团队Qwen与DeepSeek进入全球前15；10)阿里开源MaskSearch框架，提升AI解决复杂问题能力。
本文介绍如何利用AI工具Kimi打造职场优质形象。通过每周固定内容输出：周一分享行业报告展现专业深度，周三发布团队合照突出协作精神，周五转发公司新闻彰显产品自信。操作流程包括注册登录、输入特定指令生成文案、优化调整后发布。这种系统化的朋友圈运营能逐步建立"优质打工人"人设，提升个人品牌影响力。Kimi工具可快速生成符合职场形象的文案内容，帮助销售人员高效塑造专业形象。
小米将于5月22日举办15周年战略新品发布会，由创始人雷军主讲。重点新品包括：首款SUV车型YU7，标志着小米汽车领域新突破；自主研发的玄戒O1芯片，采用台积电3nm工艺，性能对标高通骁龙8旗舰；搭载该芯片的小米15S Pro手机和小米平板7 Ultra，后者配备12000mAh电池和专属配件，成为品牌最强平板。发布会将集中展示小米在技术创新和产品开发的最新成果，体现对未来科技发展的战略布局。
小米公司创始人雷军宣布，小米正式推出其最新研发的旗舰芯片——小米玄戒O1。这款芯片采用第二代3nm工艺制程，标志着小米在高端芯片领域的重大突破，也展现了小米在半导体技术上的雄心壮志。 雷军在演讲中回顾了小米的芯片研发历程。早在2014年，小米便启动了芯片研发项目“澎湃”，并于2017年推出了首款手机芯片“澎湃S1”。然而，由于种种原因，小米的SoC大芯片研
随着全国高考临近，歌手张韶涵意外成为社交媒体热议焦点，被网友戏称为“每年高考最忙的人”。 每年高考期间，张韶涵的多首励志歌曲如《隐形的翅膀》《一路生花》等，因积极向上的歌词和旋律，成为考生备战、送考及考后放松的热门选择，其歌曲播放量在高考期间大幅增长，甚至被网友称为“高考BGM全流程覆盖”。
快科技6月14日消息，据博主体验more”爆料，Xiaomi Pad 7S Pro 12.5将搭载玄戒O1芯片，该机此前已经入网。值得注意的是，日前卢伟冰还曾隐晦的爆料过这款新品，称接下来的两款平板新品分别对标iPad Air、iPad mini。其中，对标iPad mini的机型已经公布，是小米集团首款旗舰小平板REDMI K Pad。另一款对标iPad Air的就是小米平板7S Pro了，预计会主打轻薄机身，不过对比小米平板7 Ultra应该还是会稍厚一些。据悉，该机未来会跟小米YU7同步上市，并且支持后排挂载，小米平板7 Ultra并不支持官方挂载配件。小米平板7 Ultra作为首发搭载小米自
