3 ms·
Jacobian Conjecture, Jamming critical exponent proof, Erdős Unit Distance Problem, IMO 2026 perfect score, AlphaFold Need I go on?
by reducesuffering 3mo ago
Jacobian Conjecture, Jamming critical exponent proof, Erdős Unit Distance Problem, IMO 2026 perfect score, AlphaFold
Need I go on?
- bigyabai 3mo agoAll 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.
- nonadhocproblem 3mo agothe next few years are going to be rough for you...
- bigyabai 3mo agoPeople told me that in 2018, too. Glad that I didn't listen.