3 ms·

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.