4 ms·

If it were them would you be surprised that they wanted to remain anonymous?

• someplaceguy 2y ago
  I'm sorry, I don't get it. What are you suggesting to be the motivation to remain anonymous in this case?
  • DaiPlusPlus 2y ago
    Prevents embarrassment if it turns out one’s idea is wrong, I suppose.
    • someplaceguy 2y ago
      The person in question formalized the entire proof in Coq, which certifies its correctness. To me, that makes your conjecture very unlikely to be true...
  • jebarker 2y ago
    I didn't mean to suggest anything. I was just interested in whether they thought that remaining anonymous was in keeping with their ex-colleagues character. Written communication is hard!
    • deleted 2y ago
      [deleted]
• titanomachy 2y ago
  I didn’t know him that well, but could see him being the kind of person who wants to avoid attention. He was happy to spend some time explaining the problem to me and why it was interesting and difficult.