Astra被传证明千禧难题，AI审稿能力遭调侃

有传闻称模型 Astra「证明」了千禧年大奖难题（如 P=NP），AI 研究员 Dimitris Papailiopoulos 随即发推调侃：既然如此，它是不是快能胜任 NeurIPS 的合格审稿人了？随后自答「不行，还是等 P vs NP 真正解决再说」，借此讽刺当前大模型的数学推理与审稿能力被过度炒作。

2026-09-12 ~ 2026-09-14 · 3 条相关

• Astra 被传破解千禧年难题后，研究员调侃其能否胜任 NeurIPS 审稿 — DimitrisPapail · 2026-09-12
• Astra 宣称证明 P=NP?GPT6 来当 NeurIPS 审稿人被调侃 — ipeirotis · 2026-09-12
• 传闻 Astra 解决千禧年难题后,AI 能否当 NeurIPS 审稿人引吐槽 — LucaAmb · 2026-09-14