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

Burkov:人类不证,LLM难解P=NP

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

先了解这件事

AI 综述

AI研究者Andriy Burkov认为,LLM Agent若能证明P=NP,只可能有两种结果:现有研究不足以让模型组合出有效证明,或该问题本身无法被证明。他断言,在没有人类先完成证明的情况下,LLM不会产生P=NP证明。 这一判断属于Burkov本人的观点,并非P=NP已被证明或证伪,也未说明LLM在其他数学问题上的能力边界。

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

报道时间线

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

11月3日
  1. AGI Hunt
    Burkov 谈 P=NP 与 LLM Agent:没有人类就不会有证明

    Andriy Burkov 认为,用 LLM Agent 证明 P=NP 只有两种可能:现有研究不足以让 LLM 组合出证明,或该问题本身不可证。他断言,除非有人类写出证明,否则 LLM 不会产生 P=NP 证明。

本事件热度走势

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