#Karpathy’s influential "Software 2.0" essay from 02017
#Titanium #pricing is 48.50 renminbi per kilogram, which is almost US$7. #materials #finance
“Dispatches from the possibly last days of human relevance” on Erdos’s Unit Distance Problem and how “a system called AlphaProof Nexus to settle nine more (!) Erdös problems, many of them in additive combinatorics, along with miscellaneous other open #math problems. Notably, in this case the AI also fully formalized its proofs in #Lean.” #AI #Scott-Aaronson
#AI watermarking approaches like Gumbel Softmax by #Scott-Aaronson