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.

Monday, January 13, 2020

D8ing Continues

Filed under: General — Tags: , — m759 @ 8:42 PM

For the Church of Synchronology

See as well this journal on the above lecture date:  April 4, 2018,
in other posts now also tagged D8.

Update of 11:22 PM ET Jan. 13, 2020 —

Note the Christmas Eve date, and compare and contrast with the previous post.

Monday, October 14, 2019

Advanced Studies Date

Filed under: General — Tags: — m759 @ 3:49 PM

Related post:  The Joy of Six.

Friday, October 11, 2019

Dick Date (YouTube, August 7, 2013)

Filed under: General — Tags: , — m759 @ 3:47 PM

Down the Rabbit Hole  with Stephen King

Powered by WordPress