3 ms·
So what did the "AI" actually do? Translate an informal description of the proof into this Lean?
by nottorp 10mo ago
So what did the "AI" actually do?
Translate an informal description of the proof into this Lean?
- dpe82 10mo agoTFA says ChatGPT wrote the informal description.