现在也就closeai在卷数学吧，A畜也进场了？
去看了一下本周四陶哲轩的发言，人家只是拿自己研究方向举了一个例子：即使AI碰巧找到了解析解，但是如果没有思路和过程，对数学的发展毫无意义。而且也没有现实意义，因为CFD（计算流体力学）在解决类似问题上已经很成熟了。不知道咋传的，传成claude解决ns方程了就硬炒
我的pro5x已经跑完了，周一恢复额度加上三张重置卡猛蹬了
nxmonitor 发表于 2026-9-5 18:34
你得先说服搞数学的信任国模然后塞语料进去……
我在b站刷到过几个搞数学的说给某国模收费搞了几次数据标注，后面就不想干了，国模数学进步太快感觉太受打击
这种肯定得靠frontier lab自己招人做数学的
cscbzcbz 发表于 2026-9-5 18:44
去看了一下本周四陶哲轩的发言，人家只是拿自己研究方向举了一个例子：即使AI碰巧找到了解析解，但是如果没 ...
主要是另一个人elliot glazer在红迪说他有内部消息说claude “very likely” to defute n-s
这个人是数学家，但是也有不太诚实的前科，不好说他的信源准不准
—— 来自 HONOR AAK-AN00, Android 16, 鹅球 v3.5.99
半江瑟瑟半江红 发表于 2026-9-5 18:44
现在也就closeai在卷数学吧，A畜也进场了？
今年出的不少数学生仿佛看到原子弹的消息都是claude做的
舞以 发表于 2026-9-5 18:28
大概啥时候开始会有“国模在数学上落后北美X年”的说法？
如果真的ns方程被爆破了，那咩鳖能灭到明年
—— 来自 HONOR AAK-AN00, Android 16, 鹅球 v3.5.99
狭义文具爱好者 发表于 2026-9-5 19:27
今年出的不少数学生仿佛看到原子弹的消息都是claude做的
那整体来看还是openai成果更多，claude成果少一些
不过国模也在搞啊，之前hy3都解决了一个问题
不过国内学术界喜欢自己整模型，不喜欢和厂商合作，不知道为啥
—— 来自 HONOR AAK-AN00, Android 16, 鹅球 v3.5.99
总觉得跟模型厂合作都是吃断头饭
—— 来自 HUAWEI HOP-AL10, Android 16, 鹅球 v4.0
lactone 发表于 2026-9-5 19:06
主要是另一个人elliot glazer在红迪说他有内部消息说claude “very likely” to defute n-s
这个人是数 ...
elliot glazer这个人的X 一点开就看到“ I'm guessing this is true”“I have little inside knowledge”，guessinglittle
drodchang 发表于 2026-9-5 17:25
不过这真是这样的话，陶哲轩应该很破防了，这是他最关心的问题之一。
这有啥破防的，陶一直就跟 openai 合作开着，他对 ai 的定义是工具，工具超进化进化了得到好的结果陶有啥好破防的
舞以 发表于 2026-9-5 18:28
大概啥时候开始会有“国模在数学上落后北美X年”的说法？
知乎上周已经有了
拯救节操希灵宅 发表于 2026-9-5 15:38
如果保持astra medium指挥，dsv4f干活的话，感觉5x额度可能也撑得住。但总感觉两个ai之间说的话掺了越来越 ...
不要试图理解ai之间的黑话，验收成果就行了。
plus可以用astra了吗？
龙骑士尹志平 发表于 2026-9-5 20:12
plus可以用astra了吗？
work和codex可以，chat不行
本帖最后由 @weakb0y 于 2026-9-5 20:43 编辑
用了一天，还是用的astra-medium，实在是有些费，在我实际的godot项目中，plus5小时，只能2个问题，
还是只做规划+检查，让周末送的glm5.3flash来实际做的
相比之下，曾经觉得跑飞快的5.6 sol xhigh都显得有性价比了，只能再升pro了吗...
主要这个东西，一旦染上，就怕戒不掉啊
本来改用Zcode只是为了薅智谱的羊毛，结果好像确实有很大加成？
同样一个问题，codex、opencode和DeepSeek-Harness用各种模型都没什么进展，Zcode+glm-5.3-flash就稍微有点进展
龙骑士尹志平 发表于 2026-9-5 20:12
plus可以用astra了吗？
可以，4个问题之类5小时就用完了
—— 来自 鹅球 v3.3.96
@weakb0y 发表于 2026-9-5 20:42
用了一天，还是用的astra-medium，实在是有些费，在我实际的godot项目中，plus5小时，只能2个问题，
还是只 ...
一开始只是试试……没打算真的陷进去……
—— 来自 HUAWEI SGU-AL10, Android 16, 鹅球 v4.0
command的flash有问题，这几天用下来总干蠢事，什么把文档直接覆盖了、删注释把代码一起删了的问题比比皆是，你们也小心点吧
AraTurambar 发表于 2026-9-5 20:02
不要试图理解ai之间的黑话，验收成果就行了。
gpt这种自创黑话在sol就已经会溢出思维链跑到思考结果里了，vibe出来的软件很多更新日志的都是人看不懂的胡言乱语，开始影响到结果验证了
serj005 发表于 2026-9-5 21:45
gpt这种自创黑话在sol就已经会溢出思维链跑到思考结果里了，vibe出来的软件很多更新日志的都是人看不懂的 ...
想到了一些超人进化科学题材，到后面对话都是普通人看不懂字符和语法。
—— 来自 OnePlus CPH2581, Android 16, 鹅球 v4.0-alpha
bro to bro, set Astra to medium
cscbzcbz 发表于 2026-9-5 18:44
去看了一下本周四陶哲轩的发言，人家只是拿自己研究方向举了一个例子：即使AI碰巧找到了解析解，但是如果没 ...
不是，陶讲的不是n-s的解析解啥的，我理解大概意思应该是如果只是ai构造了一个n-s方程的blow-up解其实也没有太大价值
因为对于现在的顶级模型真搞出一个n-s方程的blow-up解也不算是完全意外的情况，在加上有其他舅舅党乱七八糟的消息才开始疯传的
dsh这个子agent模式对于不稳定的供应商来说完全不可用，子或者父agent卡了都容易导致工作白搞
qwased 发表于 2026-9-5 22:57
dsh这个子agent模式对于不稳定的供应商来说完全不可用，子或者父agent卡了都容易导致工作白搞 ...
怎么会呢，dsh的子agent不是可以随时继续对话还可以自由输入内容吗，相反我觉得这个agent系统真的是最好用的了 Re:Source
王兰花秀丽 发表于 2026-9-5 23:02
怎么会呢，dsh的子agent不是可以随时继续对话还可以自由输入内容吗，相反我觉得这个agent系统真的是最好 ...
父agent插入的提示是用户不可见的，供应商不稳定导致停机的时候父agent有时候会说尽快交付已有成果什么的，但是用户又看不见这个提示，子agent的成果就变成半吊子了
停机提示还会在两个agent之间来回响应，很怪
k3的新检查点好像上arena了
—— 来自 vivo V2520A, Android 16, 鹅球 v3.5.99-alpha
K3 感觉今天变快了，是卡到位了吗？
看这个视频，效果很不错啊。
https://www.bilibili.com/video/BV1hHt26QEwK/
本帖最后由 CCauchy 于 2026-9-5 23:36 编辑
我去，arena.ai的肥波5.1应该是真的，聊到超限都保持清醒，还能注意到我都没注意到的细节
原来是没额度了，我还以为一个会话超限了
astra做科研制图可以oneshot基本不用自己后期再改了，5.5跟sol都得自己再手改不少
论坛助手,iPhone
k3.1 要吐出来了吗
k3.1可能已经在灰测了，部分用户反映k3最近好像变聪明了。
已经两个20x轮流蹬Astra了…… 比sol（弱智版）强太多了。虽然感觉一个月后又得降智😅
—— 来自 S1Fun
本帖最后由 serj005 于 2026-9-5 23:58 编辑
zcode送的glm5.3f免费额度蹬了一半，感觉在flash里面的能力是不错的了，用来给自制的图片查看器改解码器和修bug效果还行。
安卓kotlin+rust混合开发都能做得来，感觉rust对flash模型的难度还是挺大的。
比较让我惊讶的是它能比较清醒的考虑到用户测试的操作错误，比如我在测p3色域图片解码的时候发现色彩偏淡，它能自信的知道自己之前的代码质量没有问题，会优先设想是不是我提供的图片本身有问题或者上一个版本的错误解码图片缓存导致（最后结果是两者都猜对了，是个复合bug）
serj005 发表于 2026-9-5 23:55
zcode送的glm5.3f免费额度蹬了一半，感觉在flash里面的能力是不错的了，用来给自制的图片查看器改解码器和 ...
你不会因为输出过长被截断吗，这毛病搞得恶心死了，长时间思考-写入文件到一半就截断导致失败-吞掉回复重新思考，无限循环了一晚上一点进度都没有