Sebastien Bubeck on X: "Yet more evidence that a pretty major shift is happening, this time by Scott Aaronson https://t.co/R1kPhCWhwD https://t.co/JizC1y8s1D" / X

(1) Alexander Wei on X: "1/N I’m excited to share that our latest @OpenAI experimental reasoning LLM has achieved a longstanding grand challenge in AI: gold medal-level performance on the world’s most prestigious math competition—the International Math Olympiad (IMO). https://t.co/SG3k6EknaC" / X

For Algorithms, Memory Is a Far More Powerful Resource Than Time

Google DeepMind’s AI systems can now solve complex math problems

Provably Safe AGI is Potentially a Very Dangerous Concept

UMass Amherst Researchers Bring Dream of Bug-Free Software One Step Closer to Reality | UMass Amherst