Andrew Miloradovsky is a user on functional.cafe. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
A bit old (2016) but:
• Using #AlphaGo as a theorem prover.
https://www.reddit.com/r/dependent_types/comments/49z1uc/using_alphago_as_a_theorem_prover/
• Automatically Proving Mathematical Theorems with #Evolutionary #Algorithms and Proof Assistants
https://arxiv.org/pdf/1602.07455.pdf
Either way, that would be a much better use for all the energy and brain-power than (most of the) crypto-currencies and "analytics".
