05:34
2026-07-14
terrytao.wordpress.com
artificial-intelligence
A paper diagram visualizer
Mathematician Terence Tao released a web app that visualizes the logical flow of mathematical papers as interactive diagrams, using a JSON format to represent dependencies between theorem objects. The…