unused

V2EX member #743959, joined on 2025-04-13 22:10:50 +08:00

Today's activity rank 586

unused 提问技术话题好玩工作信息交易信息城市相关

Per unused's settings, the topics list is hidden

Deals info, including closed deals, is not hidden

unused's recent replies

7h 25m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi 偷换概念，明明是你不让用 AI，谁不让你用古法证明了？
应该是用枪的兄弟击杀效率太高，影响了拿刀兄弟的积极性，发明新招式速度慢了，所以禁止用枪。

7h 38m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi 好好好
把刀枪都带上 = 不让用 AI

7h 46m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi 我看不出和数学工具有什么直接的联系。这轮 AI 爆发在数学上有什么新东西吗？我看没有吧。
捋一下：实现强 AI 未必依赖新工具；有新的工具未必能实现强 AI；弱 AI 未必不能发明新工具；一旦实现强 AI 则能持续发明新工具。
所以因为这样莫须有的猜测就不让用未免也太霸道了。

7h 59m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi 这个最终一定会实现的。我说的“如果”不是最终结果的如果，而是时间上的如果。就像因为会打击古法程序员热情而抵制 vibe 的论调一样，可以不情愿但这是历史的必然。好处当然有，就是 AI 正越来越多地在解决问题中起到作用。

8h 12m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

很多程序员说 vibe 代码没有可读性和可维护性。实际上，随着 AI 的发展，一方面如果需要，它写的可读性会比人工写的还高；另一方面这些代码 AI 可以维护而并不必须人读懂。
类似地，如果 AI 可以解决任何人类能解决的数学问题（包括用任何数学工具），你管它用了什么手段呢。
就像楼上说的，这些观点只不过是害怕人被取代的防御性思维。

8h 25m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi 并没有证明这个过程中新方法新工具是必须的。可能强 AI 的实现只依赖于某几个具体问题的解决，甚至现有的数学工具已经足够，只需要某个工程上的改进。到时候你所谓的新工具就可以完全用 AI 生产。

8h 55m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi 那你怎么确定用现有 AI 解决数学问题不能促进强 AI 的实现呢？

8h 59m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

@QingXuJiaZhi 为什么不是？强 AI 可以做人能做的任何事。

9h 3m ago

Replied to a topic by QingXuJiaZhi › 随想 › 陶哲轩等数学家反对 AI，论失败的意义

AI 也可以试错，也可以探索发展新的工具

2 days ago

Replied to a topic by zencitta › 程序员 › 感觉现在的企业在 AI 公司面前都是裸奔

用户都掩耳盗铃地相信这些公司还有点道德，只给机器看，就是人要看也是偷偷看。结果 A\ 直接爆了，不光自己看，还挑出来给全世界看。
怎么说来着，我都关着灯！

» More replies by unused