quantum complexity theory

OpenAI 的 Astra 模型解决了 10 个重大的数学问题，引发了辩论

OpenAI 披露了其未发布的模型 Astra 的详细信息，该模型已成功解决了数学和理论计算机科学中的十个重大的开放性问题。这些突破，以大约 2000 美元的 Sol API 费率的 token 成本实现，包括在球体打包、群论和复杂性理论等领域的进展，并已在 Lean 中形式化证明。虽然一些专家称赞这是科学推理的重大飞跃，并可能开启科学革命的开端，但其他人则警告不要夸大其影响，并强调在形式数学上的成功并不自动转化为通用智能或跨所有领域的可靠性。