学校生活模拟器3

美团LongCat团队发布LongCat-AudioDiT模型，突破零样本TTS音色克隆技术。该模型彻底抛弃梅尔谱等中间表示，直接在波形潜空间基于扩散模型生成语音，从根源阻断级联误差，实现了更高质量的声音克隆。

美团开源LongCat-Flash-Prover模型，专注于数学定理证明中的逻辑严密性，不同于仅追求数值答案的普通AI。该模型采用形式化语言避免自然语言歧义，推动AI从“猜答案”向“严谨证明”转变，为复杂推理课题提供新工具。

SpaceX首次公开募股定价每股135美元，成为有史以来规模最大的IPO。定价公告标志着上市进程正式启动，商业航天领军者向公开资本市场敞开大门，体现了市场对商业航天价值的高度认可。

Kimi发布并开源K2 7Code编程模型，长上下文场景性能显著提升，指令更精准，长程任务更优，减少30%token消耗。基准测试得分全面跃升，智能体能力增强。现通过API提供服务，定价不变，高速版6月15日上线，输出速度提升5-6倍，需开启思考模式。

通过诊断高频套话、关闭夸克AI的“礼貌增强”开关、用角色动作时限框架约束输出，以及批量替换残留句式，可有效减少“请查收”“感谢支持”等重复模板，提升文档专业性与可操作性。