![](/sites/default/files/styles/two_column_medium/public/Screen%20Shot%202017-10-02%20at%2011.50.34%20AM.png?itok=nXHlCAIE)
In Mathematics, Mistakes Aren’t What They Used To Be
Frequent Director's Visitor Siobhan Roberts considers errors in mathematics with Professor Vladimir Voevodsky, discussing how his experience confirming a mistake within his own influential proof led him to employ a “proof assistant”—a computer program that would prevent him from wandering too far down errant paths.
Read more at Nautilus.