AI 排行榜 Arena 完成 2 亿美元 B 轮融资，估值达 31 亿美元
AI 模型众包排行榜 Arena 完成 2 亿美元 B 轮融资，估值 31 亿美元，由 Lightspeed Venture Partners 和 Khosla Ventures 领投，Salesforce Ventures、01 Advisors、Dell Technologies Capital、Endeavor Catalyst、a16z、Felicis 等参投。
#评测/基准
TechCrunch · AIAI 评分6262
Latent Space精选AI 评分8888 OpenAI 发布内部模型产出的 722 篇数学论文，称解决 500 个公开难题中的 90 个
OpenAI 在一个公开 GitHub 仓库中发布了内部前沿模型产出的数学成果，称这批 722 篇手稿分为 372 个相关结果族，来自约 4000 个研究问题的评估，平均每个结果消耗约三小时 ChatGPT Pro 的思考算力，模型本身尚未发布。
推荐理由：OpenAI 用内部数学模型的 722 篇论文给出算力与验证方式，读者可据此判断 AI 做数学的当前边界。
Latent SpaceAI 评分6262 AINews：GPT-6.1 Sol 与 Sonnet 5.5 重塑成本性能前沿
OpenAI 发布 GPT-6.1 Sol，定价为每百万输入/输出 token 2 美元/10 美元，据称在 DeepSWE v1.1 上比 GPT-6 Sol 高 6.4 分，在 AutomationBench 上比 Opus 5.5 高 2.2 分。
Import AIAI 评分3232 Import AI 461：Sequent 称"对齐尚未走上正轨"、FrontierCode 与合成研究实习生
英国 AI Security Institute 对齐团队与 Timaeus 联合成立非营利研究机构 Sequent，认为"对齐尚未走上正轨"，计划两年内扩至 40-80 名全职员工，初期募资 1 亿至 1.5 亿美元，研究方向涵盖可扩展监督、学习理论、博弈论与 personas。