Ramanujan is another one that did much in his head and lacked a lot of formality in his methods. Many intuitive mathematicians are this way (Shinichi Mochizuki is another although his work may just be so hard for others to undertsand that it appears to lack rigor).