ManifoldActiveBINARY · cpmm-1

Will neural networks be necessary to winning a SAT competition by 2030?

Yes23%
Yes Pool
$91
No Pool
$27