Astra模型解决10个数学与理论计算机科学难题

OpenAI下一代模型Astra的内部版本解决了10个数学与理论计算机科学问题，总成本约2000美元。官方发布了10个Astra证明，每个都附带Lean证书和思维链走查。成果包括反驳Connes刚性猜想、改进高维球堆积界限、给出电路复杂度新界限，并确认nonsofic群存在。另外还改进了多色图中单色三角形的界限。