Visualization as a graph

Stream: Equational

[Michael Bucko]

One can visualize the (potentially not always obvious) relationships between theorems using instagraph - https://github.com/yoheinakajima/instagraph

insta.png

Here's just one example on a much smaller dataset. It'd take much more compute & time to run it for the entire dataset. (It's dockerized, it also supports Neo4j and FlakorDB).

That falls into the category - "how will the AI interpret all those results and what can I learn from them".