V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  LaTero  ›  全部回复第 4 页 / 共 18 页
回复总数  349
1  2  3  4  5  6  7  8  9  10 ... 18  
2025 年 3 月 2 日
回复了 pdog18 创建的主题 问与答 本地部署 AI 的意义在哪里?涉密?
有些企业有需求,但是那些视频都是营销蹭流量的,忽略即可。它们练 DeepSeek R1 到底有多大都不知道,随便弄个 14B 的蒸馏小模型糊弄一下,反正目标观众也不会真的去试,毕竟他们看这种视频只是为了情绪价值,顺便骂一下英伟达。
@akinoowari inline 补全用这些 gpt4 之类的 frontier 模型不太行的。速度慢效果还不好。cursor 和 codeium ( windsurf )都是用的专有 fill-in-the-middle 模型,开源插件的话好像是 mistral 的 codestral 用得多。
2025 年 2 月 26 日
回复了 xiaohupro 创建的主题 随想 AI 大模型时代,个人隐私的获取比以前更加容易
"大厂的 AI 工具都需要实名手机号登录后使用"那就别用这些“大厂”。而且国内这些大厂效果也不好啊,也就是便宜。
确实挺强的,thinking 还没试,普通模式感觉应用数学有不少进步。不过我看他们的博客,好像最大的提升是为了各种 agent 工具、tool use 、AI IDE 做的,但是目前 AI 工具都是围绕在前端和 VS Code ,非前端可能提升不是很大,JetBrains 在 AI 方面实在是太令人失望了。
@Themyth 哦,等等,你的意思是 grok 3 怎么加 system prompt ?这个需要 api ,现在加不了。但是并不需要加,直接让它写就行了,我都很直白。
@Themyth 直接写啊,grok.com 网站上。我看到有人说会被拒绝,可能是在推特里用的?反正我在官网没什么问题。
2025 年 2 月 24 日
回复了 liuliuliuliu 创建的主题 程序员 [翻译] 为什么 Tracebit 用 C# 开发
个人感觉的比较记忆深刻的缺点:没有 immutable ,没有 union 类型,if 不能有值,微软的文档莫名其妙很难搜索。而优点对于 C++背景最大的是运行时类型信息非常完整,反射,[]属性和代码生成有非常强而易用的元编程(虚幻 C++全是宏),但是这些 kotlin 好像也都有……
2025 年 2 月 22 日
回复了 neetz 创建的主题 OpenAI GPT 最近降智太严重了,想跳车了。Grok 会是好的选择吗?
o3-mini api 也还行的,我是没见过不思考秒答的情况。而且 api 是按 token 收费的,思考 token 也计费,不会故意给你偷懒的。
2025 年 2 月 22 日
回复了 neetz 创建的主题 OpenAI GPT 最近降智太严重了,想跳车了。Grok 会是好的选择吗?
等等 api 呗。看他们博客 api 还是挺强的,该有的都有,比如 deep search 之类的,别家经常只能在 web 用,grok 团队说他们 api 也会支持。
@cheng6563 最不自由的就数 Claude 了。别说写作了,有次我问它加密数据都被半拒绝了。聊天记录我已经清掉了,但它的回复大意就是用加密从政府隐藏信息是可能有害的,所以只能给我一点大致步骤,拒绝提供细节。
@Linonems 你在哪用的? grok.com 没问题啊,就直接问。也有可能是你运气不好,因为 Grok (大概率)蒸馏了 GPT 的输出,有些拒绝回答也混进去了,又刚好被你撞上了。
刚写了帖个人评测 https://v2ex.com/t/1113279
2025 年 2 月 20 日
回复了 mixuxin 创建的主题 问与答 xAI 称 Grok 3 将免费提供
好家伙,思考了 3 分多钟,在 ZF 中把基数比较定理给证出来了,数学大厦又被推翻了😂o3-mini 和 gemini 2 flash thinking 都在几秒内就发现无法在 ZF 中证明了(和选择公理等价)。R1 慢一点,但是最后也能发现证不了(仅限英文,用中文提问 R1 也推翻数学大厦了)
2025 年 2 月 20 日
回复了 mixuxin 创建的主题 问与答 xAI 称 Grok 3 将免费提供
和 o3-mini 相比还是太慢了,不知道到时候价格会如何。o3-mini 基本和 R1 的价格差不了多少,看 token 价格更贵但是思考所需 token 更少。这 Grok 这样感觉会很贵啊。
用中文问:在 ZF 中不使用选择公理证明|X|<=|Y|∨|Y|<=|X|。R1 用英文问能做对但是用中文问居然错了,看看 Grok 推理的中文水平怎么样。
2025 年 2 月 19 日
回复了 ruoyutx 创建的主题 硬件 有没有栋手柄的大佬,推理下 200 内的手柄
别碰官方 xbox 手柄,过时太多太多年了,协议不支持体感拖累整个游戏行业,不过现在有些游戏已经开始放弃 xbox 革新操作方式了,比如最近的怪物猎人荒野,很多人表示集中模式手柄太难用,官方回应就是用体感。低价有小鸡超新星,中价有小鸡风行者 2 (别碰同价的冰原狼 2 ,一代还行 2 代落后了),高价有黑武士 4 ,PS5 手柄等。据说 PS5 手柄 FPS 厉害,不过我从来不用手柄 FPS 没法评价。
2025 年 2 月 18 日
回复了 LaTero 创建的主题 Twitter Grok 3 很强
@stone9527 没问题呀,现在主流的模型这个都不会错的吧。我平时主用 openrouter ,这个网站的 chatroom ,预设的几个问题就有 9.9 和 9.11 哪个大,还有 strawberry 里几个 r 。后者还有些模型会错,但是前者这样比大小的基本都是没问题的。
2025 年 2 月 18 日
回复了 LaTero 创建的主题 Twitter Grok 3 很强
@mingtdlb 判断字符本来就不是 AI 该做的事,因为原理上 AI 收到的都是 token ,一个 token 可能有好几个字。而且假如真的有了 AGI ,和人类一样的智力水平,你觉得它会浪费算力去数吗?假如是一个聪明的人类,他应该做的是使用工具。AGI 也应该是写一个程序去数,不是自己数。最近 AI 进步也都是在数学、逻辑推理等方面。
2025 年 2 月 18 日
回复了 LaTero 创建的主题 Twitter Grok 3 很强
1  2  3  4  5  6  7  8  9  10 ... 18  
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   915 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 36ms · UTC 20:50 · PVG 04:50 · LAX 13:50 · JFK 16:50
♥ Do have faith in what you're doing.