|
|
|
|
|
|
by blazespin
199 days ago
|
|
|
Advanced math solving, as the results indicate. Informal proof reasoning is advancing faster than formal proof reasoning because the latter is slow and compute intensive. I suspect it's also because there isn't a lot of data to train on. |
|
|