3 ms·
> are solving unprecedented mathematical and scientific problems every week now. Nitpick; disproving a conjecture isn't "solving" anything. It's testing and br
by bigyabai 3mo ago
> are solving unprecedented mathematical and scientific problems every week now.
Nitpick; disproving a conjecture isn't "solving" anything. It's testing and breaking a theory that never had proof in the first place.
> Then you must not be aware frontier lab employees are using frontier internal models to ship improvements to models via agentic loops.
We know, all their TUIs are at least 500mb on disc. It's really impressive stuff.
- reducesuffering 3mo agoJacobian 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.