OK, this is super important and super interesting. This validation from someone who’s highly experienced and skilled in advanced mathematics is extremely convincing to me. It seems that these AI tools are *really* coming up with new and useful mathematics. It’s not just

→ View original post on X — @tunguz