|
|
|
|
|
|
by x______________
1 day ago
|
|
|
>But denying a machine-valid proof just because it's incomprehensible with what a human being considers a reasonable effort made to unpack it just seems odd to me. Why not just fork the original master branch of human science to an ai-enhanced one and see where that brings us? |
|
|