A.I. Is Coming for Mathematics Too

For thousands of years, mathematicians have adapted to the latest advances in logic and reasoning. Are they ready for artificial intelligence?

from NYT > Technology https://ift.tt/NkO9l0F