|
|
|
|
|
|
by khalic
16 days ago
|
|
|
As the tools for AI assisted proof become better and mathematicians make it mainstream (could take a while), we're going to be seing some pretty crazy shit. I can't think of a discipline that has more impact on our current toolchains |
|
|