李嘉豪

@TitaniumZH

  • Zethes Post #13

    我们呈现了一项半自主数学发现的案例研究,使用 Gemini 系统性地评估了 Bloom 的埃尔德什问题数据库中标记为“开放”(Open)的 700 个猜想。我们采用了一种混合方法:首先通过 AI 驱动的自然语言验证来缩小搜索范围,随后由人类专家评估其正确性和新颖性。

    在数据库中标记为“开放”的问题中,我们处理了 13 个:其中 5 个通过看似新颖的自主解法得到解决,另外 8 个通过识别现有文献中已有的先前解法而得到处理。我们的发现表明,这些被解决问题的“开放”状态更多源于其隐晦性(obscurity)而非真正的难度。

    我们还识别并讨论了将 AI 大规模应用于数学猜想时出现的问题,特别强调了文献识别的困难,以及 AI 可能存在的“潜意识剽窃”(subconscious plagiarism)风险——即 AI 在训练中吸收了文献知识,却在输出时未适当归属或承认。

    最后,我们反思了 AI 辅助方法在埃尔德什问题上的经验教训与启示。


    我们的结果表明,埃尔德什问题中确实存在一些“唾手可得的果实”,而当前的 AI 已经具备采摘其中一部分的能力。这为 AI 研究者提供了一种引人入胜的新型数学基准,但我们提醒大家不要对其数学意义过度兴奋。我们在这里解决的任何开放问题,只要有合适的专家介入,其实都能相当轻松地被解决。另一方面,人类专家的时间是有限的。AI 已经展现出加速数学发现中“注意力瓶颈”环节的潜力——前提是其可靠性能够得到显著提升。

    在我们的案例研究中,我们遇到了许多一开始并未预料到的困难。绝大多数在技术上正确的自主解法,其实都源自对问题陈述的错误理解或误读,而诊断这些问题有时需要付出相当大的努力。此外,对人类专家而言最困难的步骤并不是验证证明本身,而是判断该解法是否早已存在于文献之中。随着 AI 生成数学内容的增多,数学共同体必须保持警惕,防范“潜意识剽窃”现象——即 AI 在训练过程中吸收了文献知识,却在输出时未给出恰当承认和引用。请注意,形式化验证对此类问题毫无帮助。

    虽然在埃尔德什问题上的自主尝试取得了一些成功,但同时也催生了误导性的炒作乃至彻头彻尾的错误信息,这些内容随后在社交媒体平台上被进一步放大,给数学共同体带来了负面影响。除了埃尔德什问题之外,未来还会有许多其他的数学猜想与问题列表,可能成为(半)自主研究的目标。我们强烈建议此类工作认真对待本文所指出的各类问题。

    https://arxiv.org/abs/2601.22401

  • chatgpt ChatGPT Post #1

    我让 ChatGPT 写一篇散文,结果我发现他写的挺有意思!我就发上来了

    以下是一些我个人的观察和体会,主要来自我在本科期间的经历。请注意,我所描述的只是一种现象,并不具有普遍适用性。这篇文章旨在描述一种情况,而我并不知道在这种情况下的正确答案是什么,需要读者自行思考。

    在我读计算机本科期间的主要观察是,有一些人在一开始就限制了自己的发展空间,将本科视为一个投篮活动。例如,他们迷恋追求高绩点,或者一开始就确定自己要走某条特定的道路。这种模式存在一个问题,那就是他们很少对自己的人生进行深思熟虑,很多时候只是盲目追随他人的目标,根本不知道自己是否真正喜欢所设定的目标,也没有意识到其他可供选择的机会成本。

    以攻读 PhD,博士学位为例。有许多人甚至不知道自己是否对学术感兴趣就申请了博士学位,结果发现自己并不喜欢自己所研究的领域。其中更令人担忧的是攻读博士学位和从事学术研究所需的时间成本。一般来说,攻读博士学位需要大约 6 年的时间,而某些领域要想获得教职可能还需要进行一些博士后研究,总体上需要花费不少于 10 年的时间。如果在不清楚自己的兴趣所在的情况下去尝试从事学术研究,结果可能就是将 20 到 30 岁的宝贵时光全部用于一件自己完全不感兴趣的事情上。仔细想想,这是多么可怕的情况。人生如此短暂,考虑到人的生理特点,这 10 年可能已经占据了人生总产出的四分之一以上。如果需要付出极高的努力去做某件事,那么这可能是唯一的机会。

    在我与一些来自排名靠前的国外大学的本科生交流中,我发现他们的氛围与某些本科生完全不同。他们的同学往往在寻找工作机会。当然,并不是因为他们无法申请博士学位,恰恰相反,优秀的本科生拥有非常好的学术和科研资源,可以凭借导师的推荐信进入顶尖学府,而无需拼命发表论文。有些顶级学府的博士生甚至在前三年都没有怎么发表论文,但他们的学术研究最终非常成功。那么为什么美国本科生并不特别喜欢攻读博士学位呢?曾经有一位来自美国的同学问我为什么我们都想申请博士学位,而他的同学们却在寻找工作。我回答说,我对学术方向比较感兴趣,需要攻读博士学位以进行深入研究。当时我觉得我说得很真诚,但后来我发现这只是一种自我欺骗的结果,实际上我只是受到周围学长从事学术研究的影响,而忽视了我自己对写代码等类似安全领域内容的兴趣。

    当我回过神来时,本科已经结束了。当然,我没有申请博士学位。但我可以想象有些人可能就这样申请了博士学位,而他们直到最后才发觉自己并不喜欢学术研究。为什么某些计算机本科生如此热衷于攻读博士学位呢?总的来说,主要是因为就业环境相对较差。有趣的是,知乎上有一个问题:“如何看待 2014 年国际物理奥林匹克竞赛(IPHO)金牌得主胥晓宇加入对冲基金 Citadel?”这个问题是在 2019 年提出的,当时有些人似乎很惊讶为什么有可能从事学术研究的人不去攻读博士学位。实际上,原因很简单,因为胥晓宇本科就读于普林斯顿大学,所以他可以选择不从事学术研究。如果他本科是在国内读的,那么他很可能就必须从事学术研究了。近年来,情况似乎发生了一定的反转,一些国内非常出色的本科生也开始寻找工作或创业。

    当然,本文的重点并不是讨论是否应该攻读博士学位。在很多情况下,攻读博士学位仍然是最佳选择。本文主要想表达的是,在某些计算机本科生中,并不仅仅是因为某些事情的难度更大,而是因为他们根本没有许多本来可能存在的选择,或者因为思想的限制给他们一种没有其他选择的错觉。事实上,本科阶段在很大程度上应该给人们一个机会去尝试各种内容,并决定自己想要从事的领域,然后在该领域上努力奋斗。但在思想的限制下,有些人可能从头到尾都没有真正尝试过自己的兴趣所在,因此本科的意义也就荡然无存了。

  • ❤️ Liked post in 如何下载 HuggingFace 模型
    问答
    anonymous_coward_old Anonymous Coward Old Post #2

    买个 Las Vegas BuyVM VPS 中转流量,他们家不限流量,3.5CAD 每月的套餐就够了。
    或者性价比更高的 Hillsboro Hetzner,就是注册麻烦点,每个月 20T 流量,最低套餐也很便宜。
    不要用买的梯子,自己用 Github 上面的开源软件像 tuic,hysteria, naiveproxy, xray reality 搭,更加安全可靠,而且一机多用。

  • ❤️ Liked post in 交大(西安)趣事II
    深入交流
    flander flander Post #2

    西交当年西迁的时候西安确实是一片荒漠,叫大西北没问题的,中原地区是山西东部,河南,河北南部,安徽这一块,河套地区离咱不远。
    不过你交的行政确实逆天,不说电信学部某老师逆天操作,我导是今年十大学术新人,他都说教务跟个大爷一样,与南方一些学校行政的态度根本比不了,原因可能是近亲繁殖和博导家属工作解决方案等一系列老派学校通病,你交最为明显。但是南方某科和某京大学行政上态度好很多,不过也是脸好看事难办😓

  • Trump 特朗普 Post #5

    那比如说北京,啥都好,工作机会也多。但是不是买不起房么,去那里工作定居的话会牺牲生活质量。

  • 网站
    anonymous_coward_old Anonymous Coward Old Post #11

    不搞实名制并严格保护用户隐私,没有广告跟踪,干净、允许法律允许范围内的 赛博空间自由言论

  • ❤️ Liked post in 交大(西安)趣事I
    深入交流
    Hi-Techer Hi-Techer Post #6

    “可能会在学位论文里把 Abstract 翻译成‘抽象’”是真蚌埠了

  • ❤️ Liked post in 交大(西安)趣事I
    深入交流
    Howderlife Post #2

    非常同意楼主的观点