2
1
0
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.
We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann
时政
(
twitter.com
)
由
Sebastien Bubeck
提交
Markdown支持
评论加载中...