BREAKING: OpenAI releases a three million line Lean proof that it didn’t use mathematicians’ prompts
Падабаецца 0
Рэпосты 0
@vitaut did they say `sorry`?
Падабаецца 0
Рэпосты 🔁
Адказаў пакуль няма 🐣