相关推荐
AI初创公司Delphi:打造名人和网红AI数字虚拟人
["Delphi是一家人工智能初创公司,致力于创建个性化数字聊天机器人,以扩大名人和网红与粉丝的互动。","该公司通过多种数据源塑造名人和网红,使其能够与更多人进行互动。","Delphi已筹集270万美元资金,计划使用开源模型,项目显然采用OpenAI技术。","已有100多名聊天机器人创作者和数千名用户参与私人测试。","Delphi的愿景是通过人工智能技术为名人和网红提供更广泛的互动机会,成功与否取决于技术卓越性和与原始人物的相似度。"]
字节团队推出创新的自动定理证明系统 Seed-Prover,成功应对 IMO2025挑战
字节跳动Seed团队研发的自动定理证明系统Seed-Prover在IMO2025比赛中表现亮眼,成功解决四道数学难题。该系统在几何题上仅用2秒完成证明,数论题则需3天并生成数千行证明,组合代数题还展现了创新解法。虽然比赛期间未能及时完成第一题,但赛后成功补证。目前该项目尚未开源模型权重,仅提供论文和项目资料。这一成果展示了AI在数学证明领域的潜力,为学术研究提供了新工具。
商标注册文件曝光:xAI 成立编程与视频 AI 子公司命名“Macrohard”
摘要:马斯克旗下xAI公司近日提交"Macrohard"商标申请,明显戏仿微软(Microsoft)名称。该商标覆盖编程与图像/视频生成AI领域,印证了马斯克此前在社交平台的暗示。名称将"Micro"改为"Macro",既保持发音相似又形成反差,暗示新公司可能从更宏观层面创新。此举标志xAI正式拓展AI业务,未来或与微软在上述领域展开竞争。
谷歌Gemini 2.5 Deep Think发布!IMO金牌加持,AI新王者能否重塑未来?
谷歌DeepMind推出最强AI模型Gemini2.5Deep Think,已向AI Ultra订阅用户开放。该模型在2025年IMO竞赛中以35分斩获金牌,创新性地采用"并行思考"机制和强化学习技术,能同时探索多条推理路径。其支持多模态输入和100万Token上下文窗口,在LiveCodeBench V6等基准测试中表现优异,编码得分达87.6%。订阅费每月249.99美元,未来将通过API向开发者开放。这标志着AI从模式识别向深度推理的重要跨越。
GPT-5震撼来袭!OpenAI突破瓶颈,用户体验全面升级,背后却藏管理危机?
OpenAI下一代大模型GPT-5聚焦实用性提升:1)代码生成更清晰高效;2)推理效率显著优化;3)引入"Universal Verifier"机制减少错误。同时披露GPT-4.5因数据瓶颈和技术路线问题折戟,以及公司内部管理层摩擦等挑战。微软持有33%股份,OpenAI正筹备IPO。GPT-5的技术突破将面临数据稀缺和管理问题的双重考验,其表现将决定OpenAI能否继续领跑AI行业。
