Post #2920375

@tao@mathstodon.xyz I imagine you are familiar with tools like https://nowigetit.us/ that take as input a paper and output an interactive page for playing around with it. Probably works better for computation-heavy studies than pure proofs, but still. That one is a blender, optimized for exposition friendliness, and just like Dall-E outputs or other generated web sites, the output pages are rather bland. But solving that seems easier than the first two points; do “style transfer from a delicious exposition”.