形式化定理证明，又有新范式！ 阶跃星辰正式发布并开源了形式化定理证明大模型：StepFun-Prover-Preview-7B和StepFun-Prover-Preview-32B。
当你的手机突然没信号时，电信工程师在做什么？ 想象一下这样的场景：某个周五晚上，你正在用手机追剧，突然网络断了。与此同时，成千上万的用户也遇到了同样的问题。电信运营商的监控中心瞬间被数百个告警信息淹没 —— 基站离线、信号中断、设备故障…
如果你是一名正在投身 AI 浪潮的创业者，或者一个正在思考，如何利用 AI 改造现有业务的从业者，那么 G7 易流 CEO 翟学魂的经历，或许能给你带来一些重要的启示。
AI生成论文泛滥成灾，arXiv平台看不下去了—— 紧急升级审核机制，用自动化工具来检测AI生成内容。 Nature最新发现，原来每年竟然都有2%的论文会因为AI使用被拒？！ 比如像，bioRxiv和medRxiv每天都要拒绝十多篇公式化AI手稿，每个月就高达7000多份。
谷歌开源Gemma 3 270M闪亮登场！只需几分钟即可完成微调，指令遵循和文本结构化能力更是惊艳，性能超越Qwen 2.5同级模型。
无需人工标注，吞下17亿张图片，Meta用自监督学习炼出「视觉全能王」！NASA已将它送上火星，医疗、卫星、自动驾驶领域集体沸腾。
短短两个月前，我们还在感叹 31 家 AI 小团队的高效表现，当时团队平均规模仅 20 人，人均创造收入高达 279 万美元（参见《细数 31 家 AI 应用小团队，平均 20 人、人均创收 279 万美元》）。
和马斯克一起创业的人到现在已经离开了四分之一。 2023 年 7 月 12 日，马斯克和其余 11 位联合创始人宣布成立了 xAI，带着「理解宇宙」的使命强势进军 AI 行业。
Anthropic 已收购 Humanloop 的联合创始人和大部分团队成员，该公司是一个专注于提示管理、LLM 评估和可观测性的平台，此举旨在强化其企业战略。
就在刚刚，昆仑万维发布了 Mureka V7.5，一个专门为中文升级的音乐大模型。
