3 ms·
The title is misleading. I came in expecting a proof found by an automated prover being explained by a natural language generator. Instead, it's just another jo
by Strilanc 14y ago
The title is misleading. I came in expecting a proof found by an automated prover being explained by a natural language generator. Instead, it's just another joke paper where meaningless content is generated by some random process.
- dhimes 14y agoI expected to see some mathematical theorem unexpectedly proved by Mathematica or something.