我在想桃子同学 7d ago 1，看起来只做了一些harness，会很快被淘汰（被内化到agent和更强大的模型中） 2，对于数学专业学生来说，这样使用ai就是自杀，vibe math会让人越来越傻，最终几乎丧失独立思考和验证的能力（对于其他需要踩坑和思考的专业同理） ♥ 10 ↩ 1
domino_YY 8d ago 很快地翻了一遍，我觉得没啥用。相当于在做一个垂类的skill/harness。这个方向如果没点自己的私域知识，都是公共领域的知识，早晚会被“通用模型”内化。现在这个时间节点如果相对通用模型有什么数学研究上的优势，也只是打一个时间差而已。 ♥ 60 ↩ 6
dv方常事 8d ago 我很多时候是不敢完全放work，chat能再chat里面靠人肉解决，[doge]实在顶不住了再转到work，以解决额度不够用的问题。不然work额度不够了，就直接抛锚了[藏狐] ♥ 67 ↩ 7
淼淼澈澜 9d ago 我给你提几个真的痛点问题 1.怎么解决Claude老封号问题 2.如何科学上网让GPT能够稳定运行长时间不断联 3.怎么兼顾中转站API的价格和安全性 这些问题比那些套壳harness重要多了 ♥ 35 ↩ 66
淼淼澈澜 9d ago 另外我看你这个智能体的问题就在于 如何真的是为了长程 多任务这种重活 普通的使用者自己一个codex肯定是带不动的 一下子就token烧没了 如果是要做自己的小问题 那么就又over engineering了 强烈依赖基础模型 ♥ 7 ↩ 11
清明时节梦泪痕 5d ago https://www.bilibili.com/video/BV1mg8r6rECn/?share_source=copy_web&vd_source=c6db60dc6379706533f3ef6bb379ca20 ♥ 1
sc早点睡觉cs 9d ago 认真请教大家一个问题：我现在想用官方平台的codex api，见过的一些教程的普遍方法是用万事达 - google play - 充gpt plus，然后获取一些codex额度；我没怎么看见指导直接充值codex的credits的，是因为这个更难更易封号吗？ ♥ 8 ↩ 6
Mi-ManchiYou 8d ago 反馈一下DeepMath数学智能助手的问题。1.上传文件未响应，2.已经生成的第一步思路会消失，并且直接编辑时也会消失3.无法取消废弃或有问题的思路，会一直存在在历史版本里 4.第二步执行过程会一直无响应，并且执行会跳转到其它思路的执行中去 这些是目前使用下来几点问题，第三步还没完成过就不反馈了[脱单doge] ♥ 2 ↩ 1
Comments
1，看起来只做了一些harness，会很快被淘汰（被内化到agent和更强大的模型中） 2，对于数学专业学生来说，这样使用ai就是自杀，vibe math会让人越来越傻，最终几乎丧失独立思考和验证的能力（对于其他需要踩坑和思考的专业同理）
♥ 10 ↩ 1
大家缺的不是这些agent GitHub上面的agent太多 大家缺的是钱
♥ 32 ↩ 7
13:20，太典了，经典只分享单软件窗口，经典讲半天才开始有人问分享有问题[抠鼻]全世界都一样
♥ 8 ↩ 1
很快地翻了一遍，我觉得没啥用。相当于在做一个垂类的skill/harness。这个方向如果没点自己的私域知识，都是公共领域的知识，早晚会被“通用模型”内化。现在这个时间节点如果相对通用模型有什么数学研究上的优势，也只是打一个时间差而已。
♥ 60 ↩ 6
码农提醒各位同学。花一个小时学习一下git。做研究的时候一定要配合git
♥ 24
我很多时候是不敢完全放work，chat能再chat里面靠人肉解决，[doge]实在顶不住了再转到work，以解决额度不够用的问题。不然work额度不够了，就直接抛锚了[藏狐]
♥ 67 ↩ 7
我给你提几个真的痛点问题 1.怎么解决Claude老封号问题 2.如何科学上网让GPT能够稳定运行长时间不断联 3.怎么兼顾中转站API的价格和安全性 这些问题比那些套壳harness重要多了
♥ 35 ↩ 66
听完了，没啥帮助，但还是谢谢up分享٩(๑^o^๑)۶
♥ 2 ↩ 1
你改个名叫做AI爱好者吧 现在没一个视频不是AI
♥ 1
一开始我认为up主是一个搞抽象的。[藏狐][藏狐][藏狐] 现在也开始干正事了。[笑哭][笑哭][笑哭]
♥ 4
有一群数学家在做形式化lean。也许和以前的完全基于自然语言的模型，需要人类评委来打分的又不一样？又可能有目标反馈的强化学习可以强到惊人？
♥ 2
另外我看你这个智能体的问题就在于 如何真的是为了长程 多任务这种重活 普通的使用者自己一个codex肯定是带不动的 一下子就token烧没了 如果是要做自己的小问题 那么就又over engineering了 强烈依赖基础模型
♥ 7 ↩ 11
gpt是人工智能奇迹✙
向分析学爱好者致敬
♥ 5
可以考虑应用在不止数学的其他场景[星星眼]我现在就在尝试
♥ 8 ↩ 1
https://www.bilibili.com/video/BV1mg8r6rECn/?share_source=copy_web&vd_source=c6db60dc6379706533f3ef6bb379ca20
♥ 1
用chatgpt挨个从历史故纸堆数学问题挨个找挨个问。尤其是那些上古真神的问题。有没有可能鼓捣出特别的东西
♥ 7 ↩ 8
认真请教大家一个问题：我现在想用官方平台的codex api，见过的一些教程的普遍方法是用万事达 - google play - 充gpt plus，然后获取一些codex额度；我没怎么看见指导直接充值codex的credits的，是因为这个更难更易封号吗？
♥ 8 ↩ 6
反馈一下DeepMath数学智能助手的问题。1.上传文件未响应，2.已经生成的第一步思路会消失，并且直接编辑时也会消失3.无法取消废弃或有问题的思路，会一直存在在历史版本里 4.第二步执行过程会一直无响应，并且执行会跳转到其它思路的执行中去 这些是目前使用下来几点问题，第三步还没完成过就不反馈了[脱单doge]
♥ 2 ↩ 1