LLMは人間の助けを借りて、私たちが既に知っている数学のわずか1%しか形式化できませんが、LLMの精神病の被害者はLLMを使ってリーンで新しいことを証明しようとします