3 ms·

I'm reading this and just realized one author is the famous Field medalist, Shing-Tung Yau :-)

• soVeryTired 8y ago
  Sorta like when David Mumford got interested in computer vision, I guess.
  • jesuslop 8y ago
    you' kiddin?
    • soVeryTired 8y ago
      Nope: http://www.dam.brown.edu/people/mumford/vision/introvision.html http://www.dam.brown.edu/people/mumford/vision/introvision.h... Tim Gowers is interested in automated theorem proving too!
      • jesuslop 8y ago
        Surprising. Voeovdski also.
        • jesuslop 8y ago
          Also positioned as not anti proof assistants I meant.