9月6日·开源AI新突破：HyperWrite发布Reflection 70B模型

121 0 0

9月6日·周五 AI工具和资源推荐

AI智库导航-aiguide.cc为您提供最新的AI新闻资讯和最新的AI工具推荐，在这里你可以获得用于营销的AI聊天机器人、AI在商业管理中的应用、用于数据分析的AI工具、机器学习模型、面向企业的AI解决方案、AI在商业客户服务中的应用、AI和自动化工具等。

开源AI新突破：HyperWrite发布Reflection 70B模型

AI初创公司HyperWrite近日推出了一款名为Reflection 70B的开源大模型，该模型在多项基准测试中超越了GPT-4o和Llama 3.1，成为新的行业标杆。Reflection 70B基于Meta的Llama 3.1 70B Instruct构建，不仅在MMLU、MATH、IFEval、GSM8K等测试中表现优异，还具备了自动纠错的能力。通过一种名为“Reflection-Tuning”的技术，该模型能在最终确定回复前检测并纠正错误。此外，HyperWrite还计划推出更大规模的Reflection 405B模型，预计将超越现有顶尖的闭源模型。这一突破性的进展，不仅展示了开源AI模型的巨大潜力，也为AI技术的进一步发展和应用提供了新的可能性。来源：微信公众号【机器之心】

穹彻智能完成数亿元Pre-A轮融资，推动具身智能技术发展

穹彻智能（Noematrix，上海穹彻智能科技有限公司），一家专注于具身智能领域的初创公司，宣布已完成数亿元人民币的天使轮和Pre-A轮融资。本轮融资由Prosperity7 Ventures与广发信德联合领投，泽羽资本、创新工场等知名投资机构参投。穹彻智能成立于2023年11月，由非夕科技集团战略孵化，致力于研发具身智能系统及相关工具与平台。公司创始团队在人工智能和机器人领域拥有深厚的学术积累和丰富的行业经验，联合创始人卢策吾是国内具身智能领域的先驱之一。穹彻智能提出了“以力为中心”的具身大脑系统，通过快速迭代通用技能，实现高效且低成本的解决方案，旨在推动机器人产业的技术创新和产品应用。来源：微信公众号【机器之心】

40年计算机难题“忙碌海狸”被业余玩家破解

经过40多年的探索，一群业余爱好者成功破解了计算机科学中的一个著名难题——忙碌海狸问题。这个问题涉及到寻找一种特殊的图灵机，即在停止前能够写下最多“1”的图灵机。最新的发现是第五个忙碌海狸图灵机，它在停止前能够写下47,176,870个“1”。这一成就不仅展示了软件辅助证明在数学研究中的重要性，也标志着计算理论边界的进一步理解。数学家陶哲轩对此表示赞赏，认为这体现了证明助手对数学研究协作的重要作用。计算机科学家Scott Aaronson也认为这是自1983年以来该领域最重要的进展。来源：微信公众号【量子位】

联想发布AI PC，实现跨设备无缝图片传输与本地文生图

联想在IFA展会前夕发布了最新的AI PC，该设备通过与Stability AI的合作，实现了在联想Creator Zone中本地运行Stable Diffusion 3.0，用户可以免费不限量地生成精美图像。此外，AI PC还支持跨设备无缝图片传输，用户只需轻轻敲击屏幕，即可将iPhone或安卓设备中的图片快速同步至Windows电脑。联想还推出了全球首款自动旋转屏幕的AI PC，通过智能语音控制，实现屏幕360度任意旋转。联想与英特尔联合研发的Aura Edition系列设备，提供了Smart Modes、Smart Share和Smart Care等智能功能，进一步提升了用户的交互体验。来源：微信公众号【量子位】

华为云推出ModelArts Studio，引领MaaS新浪潮

华为云在2024 HDC大会上推出了ModelArts Studio大模型即服务平台，标志着大模型应用落地进入了一个新的阶段。该平台提供99%的业界SOTA开源大语言模型和多模态模型，支持模型全、免配置、免调优、性能优，大幅降低了大模型应用开发的门槛。ModelArts Studio集成了模型调优、模型压缩、模型部署、模型体验的全流程工具链，覆盖大模型全生命周期，使得中小企业也能轻松拥有自己的大模型。此外，平台还提供LangChain、KooSearch、盘古大脑等组件化集成，可快速构建一站式应用，满足政务、金融、工业、医疗、汽车、零售等行业的需求。来源：微信公众号【量子位】