リアルでも夢で見ただか神に教えてもらっただかでめちゃ複雑な数学の公式を発見した人いたな