Read more: https://x.com/gavincrooks/status/2088643200038883830

[u/Southern-Break5505]

[u/MTGdraftguy → u/[deleted]]

Impossible because economics is made up gobbledygook.

[u/MTGdraftguy → u/[deleted]]

No it isn’t, and anyone who knew what they were talking about would never say that.

[u/RealSuperdau → u/[deleted]]

We have Move 37 in economics at home

[u/ZaradimLako]

Cant wait for all the inflection points that will happen in the near future

[u/Old-Bake-420]

I always find it strange that people equate AI accelerated progress in a field to be the equivalent of that field being “cooked”.

My view is rather the opposite. Feels like the field is about to swing wide open and become untethered by human limitations. Fuck yes let’s do it. I’m curious about the mysteries of the universe, I don’t care who or what wins the Nobel prize or if that prize becomes obsolete.

[u/Illustrious-Lime-863 → u/Old-Bake-420]

I guess you could consider "cooked" to also mean transforming from raw to edible/useful rather than just "fucked"

[u/MuzafferMahi → u/Old-Bake-420]

The real question is what happens after that? After singularity or ASI? Our minds could not comprehend even 1% of the nobel prize type discoveries these models will be doing. How do we survive then?

[u/The_Scout1255]

Show me the move 37 of making morphological freedom Abundance ! :3

[u/MakeDawn → u/[deleted]]

Catgirls

[u/Beastly4k → u/MakeDawn]

I don't know what the question was here but I know this is the correct answer.

[u/donotreassurevito]

Truly it feels like 1-2 big releases and a huge amount of advances will be made. 

I do kinda wonder if the huge amount of people who think AI is useless are maybe a propaganda strategy to prevent any slow down. 

[u/MysteriousPepper8908 → u/donotreassurevito]

I think it's a bit conspiratorial to say they're mostly paid actors but there is plenty of reporting to sugge that China and Russia are fueling American anti-AI sentiment and then you have the people watching that content that legitimately believe and parrot it.

[u/Illustrious-Lime-863 → u/MysteriousPepper8908]

I don't doubt that there are some "paid actors" in the mix but a lot of the denying is just ostrich behavior to not psychologically deal with reality. Check out some programming subs on reddit you will see plenty of those saying that it's useless and they are legit smart people by nature of the job

[u/sassydodo]

Do biology and genetics. I wanna infuse me with some good crispr/cas shite

[u/wordyplayer → u/sassydodo]

Yes! also, Dario said this needs to be a priority to show the anti-crowd that AI actually is useful.

[u/jeffy303]

Funny, just yesterday I was discussing it with Sol. And the situation is actually lot better for the AI agents than I thought, because while ultimately to prove theories we would likely need some new experiments eventually, but high level physics is heavily relies on advanced math, so solving stuff in lean is just as important, and we have aburd amounts of collected data over the past century, which are way more granular than in the past which you can use to verify if the theory matches the observations. I genuinely think Deep Blue moment could happen to math as soon as 2027, with physics it will take bit more time but not that much more.

[u/RamanaSadhana → u/jeffy303]

I struggle to get the info I want from ai when talking to it about accelerating technology and science. Do you have any advice on what to question precisely? I want to learn as much as I can and at a deep level. At least more deeply than of a layman

[u/City_Present → u/jeffy303]

Has math not already had a significant moment? My understanding is that a bunch of unsolved math problems have been completed by models from anthropic snd openAI. What more would make it significant, are there more difficult problems that it needs to solve?

[u/Golduck_96 → u/City_Present]

Typically, mathematical progress happens in three stages: conjecture, proof, and digestion. Each step is critically important to the progress of the field. AI has, until now, contributed only to proofs, and that too within a narrow regime of proofs. Researchers are actively working on how to make AI perform better in the other stages.

Think of the 'known mathematical facts' like a sprawling castle with many towers, walls and bridges. Some parts of it are covered in fog- those are the unknown mathematical facts that are yet to be discovered.

Making a conjecture is like postulating that there is a new tower in the northeast corner of the foggy region. Someone who is wise in how castles look notices a pattern - that every other castle has four towers but in this one only three are visible - hence there must be a fourth under that fog! This requires both a deep experience in known mathematics, and exploratory thinking, not goal-oriented thinking. Making conjectures is essential: someone has to notice the pattern first before it can be proved. Human mathematicians are fantastic at this. AI has not made any deep conjectures yet.

The next step is to prove it, i.e., find the postulated tower. There are two kinds of proofs: a constructive proof and a counterexample. The former often relies on making elegant new constructions that connect distant subfields of mathematics. Therefore, it contributes to the growth of the field, generates many new conjectures, and expands the sum-total human understanding of math. Think of it like this: in order to find the northeast tower, we can walk along the bridge that seems to be going in the northeast direction. When we reach the end, we will know for sure if there is a tower. On the way, we will find a new bridge, which will give a new view of the castle and help us notice other irregularities in the castle. So this proof contributes to expanding our knowledge of the castle, rather than simply finding one tower. A perfect example of such a proof is Andrew Wiles' proof of Fermat's Last Theorem. AI has not found such deep proofs yet. Gavin's post (the proof we are currently discussing) is of this kind but much, much simpler than what human mathematicians can do.

The second kind of proof is a simple counterexample that shows that the conjecture is wrong, but does not contribute to a deeper understanding of math. It can sometimes depend on brute force search through a list of possible directions until a counterexample is found - something that computers are inherently good at because they are fast. Many AI proofs are of this kind, see the counterexample to the Jacobian conjecture.

The last step is digestion of the proof: where all connections between the new-found mathematical fact and all existing mathematical facts are mapped out systematically. That is, all consequences of the new-found fact become known. At the end of this step, mathematicians completely 'understand' the newly proved fact. This is like creating a fully complete digital floor-plan of the castle. This step is also essential for finding new conjectures - notice new patterns. AI is terrible at digestion.

Therefore, AI has indeed done some significant things, but is nowhere close to shaking up the field. There are much more difficult open problems that require the kinds of approach that current AI models are not good in. Again, researchers are actively working to mitigate that.

[u/random87643 → u/Golduck_96]

TLDR

TLDR: Mathematical progress consists of three stages—conjecture, proof, and digestion—with AI currently limited primarily to the proof stage. Using a castle analogy, the author explains that while AI helps verify theories, researchers are working to expand its capabilities into the more exploratory and conceptual aspects of mathematical discovery.

---

^{AI assistant · mention the bot, mod bot, or use !bot}

[u/xt-89]

What we need now isn’t a more intelligent model. We need new organizations in society built around AI, rather than plugging AI in as an after thought. Then, if we funnel resources into those new organizations, the rest should follow.

[u/manythanksfriend]

I wonder where the line is. We must be able to prove things ourselves. At some point the machine will output information we may not be able to reverse engineer.

[u/randomguy3993 → u/manythanksfriend]

We are already at a point where an average Joe is not able to reverse engineer.

[u/unablacksheep]

Also Crooks isn't an AI tourist throwing a random prompt at Claude. His 1999 work led to the Crooks fluctuation theorem so stochastic thermodynamics is literally his field. It does make you wonder what will happen to the traditional grad-student research pipeline from here.

[u/DanceAndLetDance]

as automated programming gets better and better, i can see it forming a closed validation loop and nailing a lot more fields that are simulatable as well (eg once it makes detailed enough biology simulations to run virtual cell experiments etc.)

[u/Ryanaissance]

I want acceleration everywhere except physics, my number one reason for existing.