Comment by reducesuffering
2 days ago
Jacobian Conjecture, Jamming critical exponent proof, Erdős Unit Distance Problem, IMO 2026 perfect score, AlphaFold
Need I go on?
2 days ago
Jacobian Conjecture, Jamming critical exponent proof, Erdős Unit Distance Problem, IMO 2026 perfect score, AlphaFold
Need I go on?
All of those except Alphafold are basically just automated smoke-testing with proof assistants. And Alphafold isn't an LLM.
So yeah, some more potent examples would really help illustrate the real-world dangers of frontier models. Entertain me.
the next few years are going to be rough for you...
People told me that in 2018, too. Glad that I didn't listen.