Re:The Ramanujan Machine: Using algorithms to discover new m...
by carapace on Thursday July 04, 2019 @04:52PM
(#20357688)
There's something called "Deep Algebra" (no links handy sorry) where they are trying to parse LaTeX source of math papers to extract equations and figure out new stuff using ML.
[ Parent
| on HN ]
There are no comments on this comment yet.