DeepMind’s New AI Found A Strange New Way To Think

https://www.youtube.com/watch?v=Dkqzqw8rxXI

The discussed paper:

https://arxiv.org/html/2605.22763v1
https://github.com/google-deepmind/alphaproof-nexus-results

#AI #LLM #DeepMind #AlphaProof #Math #FormalProof #LeanProver #ErdosProblems #Erdős