Log24

Wednesday, May 20, 2020

Something to Look At

Filed under: General — Tags: , — m759 @ 4:24 PM

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.

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress