1155 shaares
202 private links
202 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.