Tomasz Tunguz
@tunguz
Contrary to what you might hear from the headlines, there are areas of mathematics that have been using computers for proofs *for decades*. One of my best friends is an algebraist who has been doing it for a really long time. He has not lost his job, nor has he ever feared for his career as a mathematician. Do with this info what you want.
