他确实是生而知之，因为i他能发明出各种公式，而且被后人都证明正确，但自己却重来不知道证明推导是怎么回事

https://zh.wikipedia.org/wiki/%E6%96%AF%E9%87%8C%E5%B0%BC%E7%93%A6%E7%91%9F%C2%B7%E6%8B%89%E9%A9%AC%E5%8A%AA%E9%87%91