Postar

MR.JC区块博士
MR.JC区块博士
OpenAI内部下一代模型Astra据称用约2000美元推理成本,解决10道至少十年未突破的数学和理论计算机科学开放问题,并给出Lean可检查证明。最重要的数字不是10道题,而是2000美元的单位成本。如果证明经过领域专家复核,AI科研瓶颈会从「能不能提出解法」转向「证明是否改变理论边界」。我会把这条当作高影响披露,最终仍要由同行复核和后续复现定价。 #AI研究

Aviso legal: o conteúdo do OKX Orbit é fornecido apenas para fins informativos. Saiba mais

Respostas

Ainda não há comentários. Seja a primeira pessoa a responder!