36氪获悉,恒指收涨0.17%,恒生科技指数涨0.19%;农业、半导体、软件服务板块领涨,华联国际涨超12%,纳芯微涨超4%,禾赛涨超3%;零售、生物科技、媒体板块走弱,百盛集团跌超10%,中国医疗集团跌超5%,知乎跌超4%;南向资金净流出11.75亿港元。
36氪获悉,字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍,相比上一代模型,Seed Prover 1.5在16.5小时内,针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码,换算成绩为35/42,达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开,后续将开放API,邀请感兴趣的数学和AI研究者体验该模型。
2025-12-24
8点1氪丨张雪回应陈光标赠1300万元劳斯莱斯;与辉同行曾带货优思益,销售额超千万;马斯克回应OpenAI股票在二级市场遇冷
凌晨四颗钻石,谷歌 Gemma 4 突袭发布,31B 模型击败大 20 倍的对手
推送和解读前沿、有料的科技创投资讯
一级市场金融信息和系统服务提供商
聚焦全球优秀创业者,项目融资率接近97%,领跑行业