Photo: João Trindade/Victor Tangermann |
If a prominent researcher cites a mathematical proof in their work, others may assume it’s true without actually checking for themselves. And that has Imperial College London mathematician Kevin Buzzard concerned that the whole field is about to go up in flames...
Automated Academics
To help mathematicians reach sound conclusions without making them dive into thousands of pages of inscrutable operations, Buzzard suggested in his opening talk at a math conference that the field turn to artificial intelligence tools that can do the grunt work for them.
Read more...
Source: Futurism - The Byte