AI早知道｜微信首个AI助手元宝正式上线；字节发布豆包1.5深度思考模型

主要观点总结

本文主要介绍了字节跳动、腾讯、OpenAI、Kimi、Trae IDE和Pollen Robotics的最新AI技术和产品发布信息。包括模型能力、功能特点、开放平台和行业资讯等。

关键观点总结

关键观点1: 字节跳动发布了豆包1.5深度思考模型

该模型展示了在数学、编程、科学推理及创意写作等领域的卓越能力，采用MoE架构，参数配置优越，推理成本低。

关键观点2: 腾讯推出首个在微信平台上运行的AI助手元宝

元宝能解析微信公众号文章、图片和文档，进行智能互动，回答用户的进一步提问。

关键观点3: OpenAI推出了最新的多模态模型o4-mini和满血版o3

这两款模型具备同时处理文本、图像和音频的能力，并能调用外部工具进行复杂任务的处理，o4-mini在各项测试中表现优异。

关键观点4: Kimi发布了Kimina-Prover的预览版

展现了在形式化定理证明领域的出色性能，通过结合大规模强化学习与形式化推理，显著提升了模型的推理能力和样本效率。

关键观点5: Trae IDE宣布正式支持Gemini 2.5 Pro和GPT-4.1模型

增强了内置模型功能，用户现在可以在国际版Trae IDE中直接使用，提升开发效率和创新能力。

关键观点6: Pollen Robotics推出的Reachy2是一款开源人形机器人

支持Python SDK编程，开发者可根据需求扩展功能。Reachy2已在多所顶级大学和研究机构中得到应用。

关键观点7: 「互联网AI早读课」知识星球提供AI行业资讯和实战案例学习

包括ChatGPT和AI绘画的基础和进阶攻略、变现案例、行业先行者链接、社群保姆级一站式服务等。早鸟价优惠，名额有限，涨价规则明确。