1148 shaares
199 private links
199 private links
4 results
tagged
computers
Grace Hopper - Computer Scientist - https://en.wikipedia.org/wiki/Grace_Hopper
The ethics of AI are constantly debated. But does anyone ask the AI?
Peter Scholze wants to rebuild much of modern mathematics, starting from one of its cornerstones. Now, he has received validation for a proof at the heart of his quest from an unlikely source: a computer.