BREAKING: OpenAI releases a three million line Lean proof that it didn’t use mathematicians’ prompts
Падабаецца 0
Рэпосты 0
@vitaut source? Seems too plausible to be a joke
Падабаецца 0
Рэпосты 0
@hattom I’m sure ChatGPT can hallucinate a source
Падабаецца 0
Рэпосты 0