#AI watermarking approaches like Gumbel Softmax by #Scott-Aaronson
on 02026-06-01“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
on 02026-06-01#Scott-Aaronson #AMA #interview on #QC and #cryptocurrencies #toread
on 02026-04-29