Srinivasa Ramanujan was an Indian mathematician who worked on number theory, infinite series and analysis. He said that he would have dreams of drops of blood (a symbol of his village deity, the goddess Namagiri Thayar), followed by complex mathematical equations. Even with the help of his formally-trained friend GH Hardy, he was only able to prove a small fraction of his insights.
Gregori Perelman is a Russian mathematician best known for solving the Poincare conjecture. He posted his results on arXiv in 2002-03, but never published them in a journal and never accepted any prize or money. He has expressed dismay over the lack of ethics in research.
Anon is a /sci/ user who in 2011 proved the current lower bound of a superpermutation for any size greater than 2 (the Haruhi Problem). Their proof has been archived for posterity, but we don’t know anything more about them.
He said that he would have dreams of drops of blood (a symbol of his village deity, the goddess Namagiri Thayar), followed by complex mathematical equations. Even with the help of his formally-trained friend GH Hardy, he was only able to prove a small fraction of his insights.
“It came to me in a dream and I forgot it in another dream”
~ Prof. Farnsworth
I love how often Farnsworth’s nonsense is usually an actual reference to something in Science.
It’s like a double joke, you laugh because it’s nonsense, you laugh harder because it isn’t.
Incredible read, thanks for elaborating!
4chan wins again!
There’s also Cleo from Math StackExchange. They’d drop answers to complex problems in a couple of hours with no work shown. It took another mathematician days and several pages of work to prove out one of Cleo’s answers.
That’s amazing! I found this video about her exploits:- https://imgur.com/gallery/uLcN7HW
Also this: https://www.scientificamerican.com/podcast/episode/cleo-the-mysterious-math-menace1/
Lmao this line from the article got me
Since then a user on Twitter has claimed to be Cleo but hasn’t offered any proof
Shinichi Mochizuki (the abc conjecture guy): elaborates further. You understand less.