V2EX › BornThisWay 的所有回复 › 第 2 页 / 共 63 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

For Existing Member Sign In

1 2 3 4 5 6 7 8 9 10 ... 63

❮

❯

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #130 我们当然不可能讨论出对错
没人能预测未来数学家也不能
但是我觉得完全否定 AI 不能创建新工具是没道理的
虽然现在 AI 搞得这些数学大新闻确实都是在依赖全面的知识组合暴力摘取低垂（？）的果实
但是数学只要逻辑自洽就可以成立
AI 可以无限尝试这天然就是非常适合 AI 来搞的
现在的 AI 可能还做不到不代表未来做不到
创造力不是人类独有的东西动物都能创新用工具呢
--
也许悲观点来看
AI 即使创造的有价值的工具方法可能都是上百万行的天书
人类已经没法理解只能直接用
但至少比没有强
人类有台神谕机这简直是神话里的故事

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #126 万物自有他的发展规律这只不过是正确的废话
如果 AI 真的足以替代一部分数学家的核心工作
不要打击数学家本身就意味着要限制 AI 的实际能力
----
AI 代码图片版权整明白了吗？
数学没什么特殊的版权利益之争而已没什么新鲜的
我的核心思想一直是反对人类中心主义
既然没找到一条既不打击码农和小画家，又不妨碍 AI 研究代码和画画的道路
那数学凭什么独善其身呢都别想好过才是正常的

9 月 14 日

回复了 wildwind2333 创建的主题 › 程序员 › vibe coding 的代码你怎么放心上线？

@BornThisWay 反正和前 ai 时代比我觉得代码质量总体来说是更强效率更高的
想要完全没 bug 那不可能光是 ui 给的 figma ai 就不可能完全还原
就不说格式不对和有很多隐藏图层了
兼容设备动画部分很多这种比较主观的 ai 没法替你决策
得再进化一波才行

9 月 14 日

回复了 wildwind2333 创建的主题 › 程序员 › vibe coding 的代码你怎么放心上线？

首先 ai 会 review 和自测代码
其次我会大概 review 下代码是否是我想要的
再次我会简单自测主流程
再其次有测试..

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #121 从情绪角度出发
那我觉得本论坛更有理由反对数学家发言
没理由说 AI 刚刚好进步到越过小画家和程序员停到数学家这吧
数学家是光环维持太久了
支持 AI 拷打碳基生物

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #113 我真的很想拿你的签名回复你..
我不看重情绪价值，并且认为看重情绪价值是有害的
AI 的发展是一个客观的事实
数学家前脚用的开心后脚千禧突破之后破防真的是斯文扫地很难看
反正我的中心思想是人类中心主义是有害的
作为程序员我觉得大家应该已经都有深刻的体会了

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@miniliuke #82 上阶段是画画/视频-审美
现阶段是代码/数学-智慧
不知道下一阶段 AI 真的拥有了感情/灵魂会发生什么

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #109
OA 也不可能因为他们破防（高情商：警惕）就不进行研究了
现在的 AI 还没到那个突破节点
数学家也不可能就没事干了
有能力的自然能创造新工具新理论
正所谓二者兼得、两全其美

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #105 襁褓中的婴儿也没用呢
AI 刚突破千禧年问题才多久就开始了呢？
去年你能预测到 AI 能解决这种问题吗？
什么时候对 AI 这么传统保守了?
任何事情都可以两面说套高帽子就更简单了没必要哈
AI 正在车轮滚滚前进而他们在打击 AI 的发展是典型的守旧学阀

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@akorn 数学和物理化学不一样逻辑自洽就可以
反而 AI 是特别适合数学的
AI 能起 1w 给 agent 做数学但是做不了 1w 个实验
除非 AI 能模拟宇宙了不然就算给出室温超导材料你也得做出来验证

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi
我说的再难听点
陶自己前几年用的挺开心的啊..
他要是一开始就反对那也就算了
咋突破千禧年大奖问题就集体破防了呢？
还是碳基智慧的人类中心思想
不要神化任何人..

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #100 你这是陷入循环论证了
你既然既定了 AI 不能自己创造新工具，也既定了看 AI 的证明不能启发新方法的前提下
那当然反对 AI 是合理的
但是问题就是没有人可以预测 AI 的发展和带来的后果
你能保证 AI 给出的答案又不能启发新的思路吗？
你能保证 AI 给出的经验公式不能创造前所未有的价值吗？

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #97 没有人是先知
谁能预知 AI 给出的答案又不能启发新的思路呢？
说得难听点 AI 给出了室温超导和可控核聚变的设计
就算和经验公式一样难道弊大于利？
警惕 AI 不过是一句正确的废话罢了..

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #95 别被他绕进去了
现在有 lean 证明数学家只需要验证 lean 中形式化的对象是否是原问题是否等价就行了
并不是之前那种要读上百页的天书

在陶本身就用 ai 辅助证明很久的基础上这种警惕更像个笑话了
意思就是要 ai 在数学家的指导下工作
要进化的刚刚好现在有点太聪明了

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi #93 很多难题就是因为不知道路到底通不通
如果只有结论没有证明过程也就算了
AI 是可以给出过程的哪怕从实用角度
凑答案的过程中也不是说不能启发创造什么工具

人类还是太自傲了任何创造都是前人基础上不断堆砌的
很多创造力也不过是固有知识联想的排列组合
说白了还是不相信 AI 的智力
碳基智力真的是独特的吗？是否有些人类中心思想呢
而且被打击的行业多了就你数学家打击不得?
AI 的车轮面前碳基都是减速带罢了

9 月 14 日

回复了 QingXuJiaZhi 创建的主题 › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

觉得 AI 发明不了数学工具人类还是转向理解 AI 并且说不定就发明新的了呢
而且路径更明确 AI 还给你 lean 证明了凑答案可比想答案简单多了
和围棋不是一样的吗后 alphago 时代棋手棋力可是比之前强了
说到底只是光环不在了只能说数学家也是人也有人的局限性
说那么多伟光正那至今工程还有很多经验公式不也在用？
真厉害不能创造工具解释 AI ？和之前方向不同而已

9 月 7 日

回复了 test848 创建的主题 › 问与答 › 上学累还是上班累

上学只是困有啥累的成绩好的刷题和考试正反馈不要太强..
反倒是上班觉得无助绝望的瞬间起码有过四五次了
基本都是硬件通讯没有参考资料或者前端兼容很难解决的问题
一点都不喜欢没有标准答案的感觉..

9 月 4 日

回复了 Jas0nG 创建的主题 › 职场话题 › 多年经验总结，经常发送消息有错字的人工作能力都不佳，这是为啥？

typo 我是不能接受的后面再改和别人对接很容易会出错和漏
经常出现 typo 说明他肯定英语基础过差不会拼

9 月 3 日

回复了 imingyu 创建的主题 › 程序员 › Deepseek 三小时不到就耗了 30 块

codingplan 用 glm 5.3 flash 真的秒了
ds 太贵了已经没性价比了

8 月 28 日

回复了 crystal1992 创建的主题 › 程序员 › 国内的 Qoder、CodeBuddy、Trae CN 哪个好用点

traecn GLM5.3flash 个人感觉是性价比最高的了

1 2 3 4 5 6 7 8 9 10 ... 63

❮

❯