Andrew Granville knows that artificial intelligence will profoundly change math. The programming language Lean already plays a role in theorem proving. That's why the University of Montreal number theorist has started talking to philosophers about the nature of mathematical proof — and how the discipline of mathematics might evolve in the age of AI.
Read the full article at Quanta Magazine:
[ Ссылка ]
How Close Are Computers to Automating Mathematical Reasoning?
[ Ссылка ]
- VISIT our Website: [ Ссылка ]
- LIKE us on Facebook: [ Ссылка ]
- FOLLOW us Twitter: [ Ссылка ]
Quanta Magazine is an editorially independent publication supported by the Simons Foundation: [ Ссылка ]
#math #proof #computerscience
![](https://i.ytimg.com/vi/3l1RMiGeTfU/maxresdefault.jpg)