Stephen Ornes in Quanta Magazine today —
ARTIFICIAL INTELLIGENCE:
Symbolic Mathematics Finally Yields to Neural Networks
“Another possible direction for the neural net to explore
is the development of automated theorem generators.
Mathematicians are increasingly investigating ways to
use AI to generate new theorems and proofs, though
‘the state of the art has not made a lot of progress,’
Lample said. ‘It’s something we’re looking at.’ “
As is Stephanie Dick.
