bluesky — Jo Totland — 13 Sep 2026
That depends. On how surprising the result was. On how useful the result was. On the complexity and length of the proof.…
#proof-assistants #formal-verification #ai-assisted-research
That depends. On how surprising the result was. On how useful the result was. On the complexity and length of the proof. If the proof was written purely by LLM, or already fed into a proof assistant system. And so on...