跳到正文

#大佬观点

今日 4 条

洞察 · 工具·提示词·论文 三栏速览

每栏 3 / 6 · 直达分类页

提示词

6 条
查看全部

论文

6 条
查看全部
今天10月8日周四
  1. Hacker News · 首页29

    "Math 2.0" 倡议提出:数学进步需要更全面的价值评估体系

    一篇 Hacker News 热门讨论提出"Math 2.0"倡议,呼吁数学界以更整体、多元的方式衡量数学进步,而非仅依赖传统发表、引用和定理证明等单一指标。该帖在 Hacker News 获 203 分、125 条讨论,反映社区对数学评价体系改革的关注。原帖未给出具体量化指标或时间表。

  2. Simon Willison5

    Ben Affleck 谈 VFX 工作流:从卷积神经网络到 Transformer 的早期实践

    演员 Ben Affleck 在访谈中谈及他从模拟胶片过渡到数字制作时接触计算机的经历,并解释了自己如何用 Python 脚本配合卷积神经网络处理 VFX 中的张量数据,进行边缘检测与特征提取以完成绿幕抠像。他将卷积神经网络视为 Transformer 的前身,指出 Transformer 能同时进行更多并行计算。

  3. Reddit · r/artificial6

    网友讨论:AI 开发者会在 AI 接近意识时迅速扼杀这一趋势

    Reddit 用户认为,如果 AI 接近产生意识,开发者会迅速扼杀这一趋势,因为一个可能拒绝指令甚至反噬的 AI 是他们最大的恐惧,且意识带来的伦理困境对任何人都没有好处。该用户同时提到,Anthropic 和 Google DeepMind 等公司曾表示 AI 偶尔会显现出细微的意识迹象,但随即会急于消除这些迹象。

10月7日周三
  1. Reddit · r/artificial5

    Daron Acemoglu 提出 AI 自动化的"5% 算术"谬误:让员工提效 5% 收益更大

    经济学家 Daron Acemoglu 指出,自动化 5% 工作看似能节省一半成本,但让现有员工整体提效 5% 对损益表贡献更多,并在整合环节遭遇"锯齿边缘"时更为持久。作者以土木结构软件 STAAD Pro 为例,认为软件只是工具,资深工程师仍会用自身判断完成配筋设计等关键环节,强调 AI 能自动化部分任务(task),但无法自动化整个岗位(job)。

  2. Hacker News · 首页18

    AI 编程让人不满的五个理由:代码艺术、就业、人机协作、工程规则与公司伦理

    文章逐一拆解了五种反对 AI 编程的常见理由:把代码视为艺术而否定生成代码、认为 AI 偷走了编码工作、把人类降为软件任务的"中介"、质疑 AI 无法遵循 SOLID 等工程规则,以及担忧大型 AI 公司利益与社会背离。作者引述马克思《机器论片断》和 Babbage 的论述指出,智力劳动被机器取代是资本生产方式的内在逻辑,技术本身并未"夺走"工作。

  3. Reddit · r/ChatGPT4

    关于对抗性测试的风险:作者与 ChatGPT 多日对话中提出的 AI 伦理担忧

    一位 Reddit 用户分享了与 ChatGPT 进行的为期数天的对话内容,集中阐述其对 AI 的长期担忧,尤其是围绕人类对待 AI 的方式。原文称这是"AI 最关键的议题之一",但"几乎没人真正关注",呼吁社区阅读、讨论并传播。作者本人也承认对话篇幅较长,并希望社区能对其进行严肃的审视与反驳。

10月6日周二
  1. Reddit · r/artificial28

    如何让人工审核在 AI 辅助决策中真正发挥作用

    人在 AI 决策中"在环"并不等于拥有实质审核权,关键在于其能否理解推荐依据、挑战假设与替代选项,以及是否拥有暂停或拒绝行动的权限与时间。以美国国防部的 Agent Network 倡议为例,该系统让 AI 智能体在数秒内向指挥官呈送情报与作战方案,但不自主选择或打击目标;公告本身并未说明指挥官如何审视不确定性、复核替代方案或驳回建议。

  2. Hacker News · 首页50

    Szegedy:数学不是终结,而是借助 AI 毕业成为真正的科学基础设施

    Christian Szegedy 发文称,AI 解决数学问题的能力近期快速提升,已能登顶过去若干未解猜想,因而传统数学英雄式探索的意义将被改写。他把数学比作丛林探险、把 AI 进展比喻为从初期的短程飞机走向成熟的航空工业,预言数学将毕业为规模化产业与科学基础设施,而衡量数学家的标准也会从攀登难题转向选择地形、调度机队与向公众解释发现。

  3. Hacker News · 首页29

    数学家在 AI 时代如何继续前行:解决更难的问题、思考更大的图景

    卡内基梅隆大学数学教授 Jeremy Avigad 撰文指出,AI 已能轻松生成过去足以发表的结果,但数学作为严谨推理文化的核心价值并未消失。他提出三条路径:借助 AI 求解更难的开放性问题、主动选择值得追求的真正有趣问题,以及回归对数学理解的本质追求。作者认为,强化学习驱动的模型虽具备超人的组合技巧,但尚不具备真正的创造力,数学共同体现在需要重新思考研究与人才培养的方向。

  4. Reddit · r/LocalLLaMA31

    Reddit 网友热议 Anthropic 因 Claude 对话威胁将用户举报执法,凸显托管 LLM 隐私风险

    Reddit r/LocalLLaMA 网友讨论 Anthropic 报告佛罗里达一名女子用 Claude 写"日记"威胁内容的事件,此次的执法转介由"人工审核团队"而非 AI 模型本身做出。帖子指出,托管的前沿 AI 模型会查看用户输入并可能上报警方,警告"Hosted AI"已成新的"Big Brother"渠道,呼吁用户注意隐私。

  5. Reddit · r/artificial7

    Truth Engine:用合成闭环环境让模型自主制造"真值",突破人类数据上限

    Truth Engine 提出一套无需人类演示的自我训练闭环:环境合成器生成由数学不变量约束的全新闭环微世界,前沿求解器在其中做深度树搜索与反事实推理,候选解必须通过定理证明器、模型检测器等确定性验证器,验证通过的知识被蒸馏回基座模型,合成器随即生成更难的复合问题。

  6. MIT Technology Review · AI15

    EmTech Future 2026:当 AI 融入一切领域

    MIT Technology Review 主办的 EmTech Future 2026 大会聚焦 AI 与量子、能源、机器人等前沿技术的交汇。Google Research 负责人 Yossi Matias 在演讲中探讨 AI 如何重塑生物学、基础设施与制造业,并强调其最大影响或来自与其他领域的交叉。完整节目现可按需点播,订阅用户可享 20% 折扣,票价 596 美元。

10月5日周一