Asking mathematicians about their proofs

Comments

• emergencyfood@sh.itjust.works ⁨1⁩ ⁨year⁩ ago

  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.

  source

  • rbhfd@lemmy.world ⁨1⁩ ⁨year⁩ ago

    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

    source

    • HawlSera@lemm.ee ⁨1⁩ ⁨year⁩ ago

      I love how often Farnsworth’s nonsense is usually an actual reference to something in Science.

      source
  • glad_cat@lemmy.sdf.org ⁨1⁩ ⁨year⁩ ago

    4chan wins again!

    source
  • 6daemonbag@lemmy.dbzer0.com ⁨1⁩ ⁨year⁩ ago

    Incredible read, thanks for elaborating!

    source
• Omnificer@lemmy.world ⁨1⁩ ⁨year⁩ ago

  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.

  source

  • emergencyfood@sh.itjust.works ⁨1⁩ ⁨year⁩ ago

    That’s amazing! I found this video about her exploits:- imgur.com/gallery/uLcN7HW

    source

    • degen@midwest.social ⁨1⁩ ⁨year⁩ ago

      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

      source
• octoperson@sh.itjust.works ⁨1⁩ ⁨year⁩ ago

  Shinichi Mochizuki (the abc conjecture guy): elaborates further. You understand less.

  source