Post

we're on hnnnn

a reply from Prof. Mantova! news.ycombinator.com/item?id=4976... honestly this is the best kind of outcome i‘m hoping for with amateur-driven AI proofs: maybe they aren’t usable directly but can offer a couple of nudges that help the mathematicians uncover the actually interesting connections