跳到正文
热点事件持续更新

LLM促使研究者放弃P=NP设想

1 篇报道1 个报道来源3 小时前更新

先了解这件事

AI 综述

一名自述研究过SHA-256原像攻击的研究者称,他把自己积累约30年的P=NP证明思路交给前沿LLM逐条检验,模型驳倒了其中的推理和技巧,促使他首次相信P≠NP。 这目前体现的是该研究者经LLM检验后发生的观点转变;相关结果来自他的个人证言,并非P=NP问题已获解决的公认结论。

AI 根据报道生成 · 3 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月28日
  1. AGI Hunt
    前沿 LLM 驳倒研究者三十年 P=NP 思路,使其转而相信 P≠NP

    一名研究者将 30 年积累的 P=NP 证明思路交给前沿 LLM,模型逐条驳倒了其中的推理和技巧。他因此第一次开始相信 P≠NP,这一经历展现了 LLM 作为数学论证检验工具的能力。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。