Brute intelligence (7 minute read)

# Brute intelligence Source: [https://benn.substack.com/p/brute-intelligence](https://benn.substack.com/p/brute-intelligence) Terence Tao is a mathematician\. He was 20 years old when he earned his Ph\.D\. from Princeton University; he was 24 years old when he became a full professor at UCLA; he was 31 when he[won the Fields Medal](https://newsroom.ucla.edu/releases/Terence-Tao-Mozart-of-Math-7252), which is widely considered to be the Nobel Prize for mathematics\. “Today, many regard Tao as the finest mathematician of his generation,”[said](https://www.nytimes.com/2015/07/26/magazine/the-singular-mind-of-terry-tao.html)a*New York Times Magazine*profile of Tao\. Over the weekend,[Levent Alpöge](https://alpo.ge/), a mathematician who works as a researcher at Anthropic, used Fable, Anthropic’s most capable large language model,[to find a counterexample](https://x.com/__alpoge__/status/2079028340955197566)to a famous mathematical conjecture called the Jacobian conjecture\. Tao[reviewed the discovery](https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/)on his blog, saying that the example “appears like a massive miracle” that was “highly unlikely to be located by brute force\.” He then attempted to generalize the proposal a bit; he used ChatGPT[1](https://benn.substack.com/p/brute-intelligence#footnote-1)to “discuss various aspects of this problem and to confirm several of the calculations\.” [Dmitry Rybin](https://rybindmitry.github.io/)is a mathematician and startup founder\. He’s done very well in a handful of mathematical competitions, and, by all appearances, is a quite capable mathematician—though not, probably, the finest of his generation\. Two days ago,[he used ChatGPT](https://x.com/DmitryRybin1/status/2079904005652893709)to disprove another mathematical conjecture\. [Tao](https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56)and[Rybin](https://chatgpt.com/share/6a60b2eb-0b64-83ee-9c76-7931ca1de063)both posted their conversations with ChatGPT, and you might have a few reactions to reading the two of them: 1. What?[2](https://benn.substack.com/p/brute-intelligence#footnote-2) 2. Ok, this is fun, sure, but is it that surprising? AI is a powerful tool; give it to capable operators, and of course they can use it to nudge the frontiers of their fields forward\. 3. But that’s not quite what happened? Though Tao’s conversation with ChatGPT is long andnauseatinglydense,[3](https://benn.substack.com/p/brute-intelligence#footnote-3)Rybin’s is…not\. It starts with an instruction—“You should do a breakthrough”—and contains exactly three more messages\. In their totality: > please continue research and find a complete unconditional counterexample > Continue the search\. Have a clear strategy obtained from deeper understanding of the problem structure\. > it’s enough of partial results\. let’s finish with a complete unconditional counterexample Like, sure, it takes an amateur mathematician to be aware of the original conjecture, and it takes a highly\-trained mathematician to evaluate ChatGPT’s efforts to disprove it\. But the rest of Rybin’s conversation could be had by a five\-year old annoyingly asking “why?” ChatGPT didn’t need to be coached; it didn’t need to be nudged; it didn’t need a Fields medalist giving it suggestions\. It didn’t need to be operated at all\. It just needed to be told to[make it better](https://benn.substack.com/p/make-it-better)\. So—maybe this is how some stuff works now? Math, software development,[drug development](https://www.axios.com/2026/07/20/artificial-intelligence-drug-development-impact), probably a few areas in finance—maybe domains that work around problems with verifiable answers become susceptible to this sort of “loop\.” Give a long\-running AI agent a puzzle; it dreams up dozens or hundreds of educated hypotheses; tests them; learns; adjusts; and “continues the search\.” It’s a new form of brute force: Not brute*force*, in which you give a million monkeys a million typewriters and tell them to type[every possible combination of characters in the world](https://benn.substack.com/p/the-frontier-fails-the-turing-test#:~:text=However%2C%20at%20some,in%20some%20hexagon.%E2%80%9D), but brute intelligence, akin to having a million scientists working in a million labs,[all taking swings at the same thing](https://mashable.com/tech/anthropic-fable-5-disproves-jacobian-conjecture): > “This did not cause me to update my priors about what AI can and can’t do,” professor and[mathematician Andrew Blumberg](https://cancerdynamics.columbia.edu/andrew-j-blumberg-phd)told Mashable\. “This is exactly the kind of thing I would expect AI to be able to do\. If there was a counterexample that was concise and easy to state that people haven’t found because it’s a pain to search through all this stuff, AI will find it\.” Right, a computer can solve[4](https://benn.substack.com/p/brute-intelligence#footnote-4)a thirty\-year old math problem in a weekend because it’s a math problem: It can churn through thirty years of conjectures, test them, and keep going\. It’s not necessarily smarter than today’s mathematicians, but it’s faster—and if it’s fast*enough*, what’s the difference between that and smarter? But also, if a computer can solve a thirty\-year old math problem in a weekend because it’s a math problem, should we…make more problems math problems? We’ve talked about this idea a lot\. Rather than trying to get LLMs to work with data the way people do, should we[restructure data](https://benn.substack.com/p/the-new-philosophers#:~:text=Our%20data%20models,at%20all%3F)to be more suitable for an LLM? Should we change how we[write code](https://benn.substack.com/p/copy-copy-revolution#:~:text=Perhaps%20we%20should%20let%20the%20machine%20write%20for%20itself%20and%20its%20abilities.%20Let%20it%20be%20redudant.%20Let%20it%20ignore%20the%20frameworks%3B%20let%20it%20create%20explosively%20large%20codebases.%20Let%20it%20write%201%2C000%20distinct%20pipelines%20in%201%2C000%20distinct%20languages.%20Let%20it%20be%20offensively%20unaesthetic.%20Let%20it%20be%20radically%20simple.)so that it’s optimized for a machine? Should companies reorient themselves around this[new form of industrialized intelligence](https://benn.substack.com/p/the-industrialization-of-it#:~:text=It%E2%80%99s%20the%20bitter,that%20replaced%20them.)? “Our current LLMs are decent cars, but we have very few roads that are designed for them to drive on,”[I said on here once](https://benn.substack.com/p/how-much-is-the-news-worth#footnote-6:~:text=Our%20current%20LLMs%20are%20decent%20cars%2C%20but%20we%20have%20very%20few%20roads%20that%20are%20designed%20for%20them%20to%20drive%20on.%20The%20eventual%20development%20of%20AI%20agents%20will%20depend%20on%20our%20ability%20to%20build%20those%20roads.); “the eventual development of AI agents will depend on our ability to build those roads\.” Leverage comes from where you put fulcrum as much as it comes from the weight that you use\.[Change the problem to make it easy for AI to solve\.](https://benn.substack.com/p/a-very-particular-set-of-skills) And this, it seems, is what the problem needs to be changed into: A math problem, or anything that can be reasoned through, calculated, tested, and reasoned through again\. In other words, there are now two ways to do something: By doing it, or by turning it into something that’s shaped like math, and having a computer do the rest\. Lots of discoveries require people to be out in the world, poking at some metal or staring into outer space\. Lots of[decisions](https://x.com/KingJames/status/2080677086386430018)require talking to people and contemplating the meaning life and how much you love the game\.[5](https://benn.substack.com/p/brute-intelligence#footnote-5)Lots of work requires subjectivity and tAsTe\. But whatever doesn’t—whatever can modeled into something that can answered by thinking, working, and testing everything in a closed box—seems like it’ll soon be handed off to this sort of brute intelligence, and solved in the background of someone’s computer\.