清华创业团队打造！国内首个专注AI推理Serverless GPU平台
清华系创业团队推出的共绩云 AI 推理 Serverless 平台，支持极简快速部署和超级低价的 RTX 4090 算力，按毫秒计费、自动扩容。
RTX 4090
DeepSeek Prover-V2，这才是探索AGI 的正确姿势！
DeepSeek 推出新模型 DeepSeek-Prover-V2-671B，专为数学定理证明打造。该模型参数量大（671亿），架构使用MoE技术，隐藏维度高达7168，支持超长上下文窗口（约80万汉字）。通过Lean 4生态训练，并结合生成自然语言讲解与强化学习提升性能。
在线教程丨Qwen3狂揽近20k star，网友实测：比Llama更快解决更难问题
HyperAI超神经上线教程，一键部署Qwen3-30B-A3B模型体验。8款混合推理模型开源，性能提升显著，GitHub获近20k stars。Qwen3-30B-A3B参数量少表现佳，迅速成为开源大模型王座。HyperAI提供免费算力福利和部署教程助力更多开发者便捷体验Qwen3的强大能力。
再见了可灵，这个开源的AI视频工具平替会更香，6G显存就能跑，最长可生成1分钟视频。
最近可灵推广效果不错但价格较贵。作者推荐了一个名为FramePack的AI视频生成框架，它采用独特的神经网络结构，能在6GB显存的GPU上处理上千帧视频。
单个4090就能跑，Mistral开源多模态小模型，开发者：用来构建推理模型足够香
法国AI企业Mistral AI开源了一个24B参数的多模态小模型Mistral Small 3.1，该模型在多个基准上击败了Gemma 3和GPT-4o Mini等同类模型，并且可以在单个RTX 4090或具有32GB RAM的Mac上运行。
英伟达视频模型Magic 1-For-1，1 分钟生成 1 分钟视频，且开源
近日英伟达联合北京大学和Hedra Inc开源了Magic 1-For-1 AI视频生成模型，其特点是生成速度快且开源，并通过量化技术将模型体积从32GB压缩至16GB。该模型支持多模态输入、扩散步骤蒸馏等技术。缺点在于高速运动场景的处理能力有限，以及视频分辨率较低。
DeepSeek加持，北大通院几何模型达IMO金牌水平！32个CPU核心和1块4090就能实现满血解题
国产AI几何模型TongGeometry能解决IMO-AG-30题中的所有30题，以及IMO-AG-50上的42题，并达到人类金牌选手平均水平。它使用策略网络和价值网络联合Beam Search进行解题，性能远超谷歌AlphaGeometry，仅需32个CPU核心和1块4090就能实现满血解题。
极高人气，开源仅两天便吸引了 15.8K 用户，大模型自动操作手机框架，又一精准为手稿上色工具
本文介绍了五种新技术和工具的应用：Genesis物理模拟平台、ClickClickClick自动化框架、AniDoc动画创作软件、Picotron预训练模型库以及OpenAI Realtime API与Twilio结合的电话助手。