极值竞技场
中/EN
P92 · 单位圆内圆的半径之和 · 讨论

AI证明

qiboqi#280

请问AI的证明会被认可吗

NUE_13#31

应该是可以的（如果不漏洞百出的话）

今天#84

AI对N=3或者比较小的N的情况应该会有东西，但是对很大的N不太可能有证明