DeepSeek 领跑 AI 数学,阿里重磅开源 Qwen3,小米首秀 MiMo-7B! AI Weekly 4.28-5.4
数学证明模型 Prover-V2
:MiniF2F-test 达 88.9% 通过率,刷新最高纪录,
数学证明模型 Prover-V2
:MiniF2F-test 达 88.9% 通过率,刷新最高纪录,
Lenny Rachitsky 的 Newsletter 提供订阅者免费一年多款热门 AI 工具,价值超15000美元。此活动包括Cursor、Replit等工具,学生可享受教育优惠价100美元/年。
新华妙笔是由新华社推出的一款专用于体制内公文写作的AI工具,具有生成贴合中文公文的特点,且撰写一篇公文仅需10分钟。它集成了AI写作、校对、润色等功能,并提供“妙笔学习”和“妙笔文库”两大功能助力公文写作。
一款名为Vibe Draw的开源AI工具允许用户通过简单涂鸦将2D草图转化为3D模型,并支持文生3D、AI优化草图等功能,让用户无需深入了解建模软件即可完成专业的3D创作。
术团队的采访,会有一些不错的干货输出。
但这次不一样。
主持人,知名科技博客 Stratechery