DeepSeek数学模型测评：难道是我打开方式不对？
昨晚分享了DeepSeek最新推出的专门做数学题的DeepSeek-Prover-V2-671B，今天就发现huggingface已经有space托管出来了，我们立刻上去看下。 既然是专门处理数学模型的，我们就找一些数学题给他做下吧…
微信赞赏
相关推荐
2025-05-03
DeepSeek Prover：最新炸裂模型发布！
号外号外！DeepSeek推出最新炸裂模型！数学证明的终极革命来了！DeepSeek一小时前刚推出DeepSeek-Prover-V2-671B，这将用AI重新定义数学推理的边界！ 这款由 DeepSeek打造的超级数学大脑，拥有 6710亿参数 的惊人规模… HuggingFace访问入口
2025-02-05
Mistral Small 3：全面评测评报告！
Mistral推出免费商业可用的Small 3，估计是受到了DeepSeek效应影响，它的license从原来的mistral变成apache2，也就是商业可用。它有24B的参数，性能却媲美llama3.3 70B，将会是GPT4O-mini绝佳的替代方案，这样的参数量，在本地用个RTX 4090就能跑起来。我们今天循例用我们这套测试用例来测评下… 在线访问入口(together ai)
2024-11-29
ChatGPT桌面版对免费用户开放
ChatGPT桌面版终于对免费用户开放了！在此之前，桌面版应用仅限Plus/Pro付费用户使用。免费用户现在可以在Windows和Mac上安装ChatGPT桌面应用，享受原生应用的便捷体验——包括快捷键调用、文件拖拽上传、屏幕截图提问等便利功能。本视频介绍桌面版的安装方法、功能介绍以及免费用户和付费用户的功能差异。 访问入口
2026-01-20
Antigravity 3.0 重大更新！正式支持Skills！
Antigravity3.0重大更新！正式支持Sk…在AI工具中表现不错，本文从功能到体验进行全面介绍，帮你判断是否适合自己。
2025-02-13
GPT-5将免费：官方剧透解读
Sam Altman官方剧透GPT-5将会免费开放给所有用户啊！关于GPT-5的传言一直都在满天飞，但都是些小道消息，今天OpenAI的CEO Sam Altman正式剧透GPT-5路线图。 OpenAI Roadmap update for GPT-4.5 and GPT-5啊，这个博文关键的信息就是其承认自己的产品变得越来越复杂，特别最后一句, We hated the model picker as much as you do, 什么意思呢？…
2025-03-22
Gemini Canavs：这可能是最好用的大语言模型canvas！
谷歌gemini终于推出免费canvas功能，大家现在可以在gemini上预览生成的文档和代码，非常的方便！更神奇的是，除了能预览文档和代码，还支持在线直接编辑，非常的好用….
