数学证明相关资讯

OpenAI Astra演示数学证明引发支持者与质疑者激烈对立

2026年8月1日前后，OpenAI通过Astra模型演示证明非索菲克群存在等重大数学与计算机科学难题。X平台上支持者视其为研究突破，反对者质疑真实性、成本及对人类研究的影响。该事件已获多家独立媒体报道，成为过去24小时AI领域热点。