Math has some of the most insanely dense and impenetrable nomenclature. I can generally keep my head mostly above water or at least near the surface reading from most STEM fields, perhaps leaning on google/wikipedia a bit, but man, mathematics just so quickly decouples from all common tractable understanding it's insane.
Sorry it's a bit of an aside, but I imagine many other otherwise "technical" folks feel the same unfamiliar sense of total loss like when encountering hard mathematics.
I had a few moments of this in the past. For example, in my quantum class the teacher wrote "H Psi = E Psi" on the board, we all laughed, "just cancel the psi" but it turns out one was a multiplcation and the other was a matrix multiplication (operator) and so we had to learn all new nomenclature.
Similarly, at some point somebody pointed out to me "the reason you're confused is that the bold on that variable means it's a matrix"
A term that gets tossed around in math is "mathematical maturity." It's similar to what you see in other fields - e.g. learning how to program, learning how to make music, learning how to cook - that involves many "aha" moments and reshapes your perspective. Math is full of such steps, moreso than most other endeavors, probably because the main limit is the abstract reasoning itself.
It's crazy how he suggests simplifications over and over and gets led through the finding. Absolutely bonkers how you can use AI to understand something and map it to your own mental map so efficiently, and of course he's most interested in generalizing or finding a simpler sub-result that would explain it.
Just awesome to see new knowledge hit an incredible mind like this. Having these "what if" discussions is what I miss most from JPL and academia.
Terrance Tao's chatgpt conversation is really interesting for a variety of reasons:
1. The counter example wasn't just a brute force selection, the polynomial is structured in a very specific way that ends up getting the result.
2. Terry Tao's questions are very specific and prompts the AI in a useful way, that without high math training you are not going to get the same information out of it. Terry seems to see some aspects of the problem and counter example and uses AI to brute force some parts of it.
"I’ve activated Pro. Can you continue to look for a potential geometric explanation of the X_3 ~ A3 miracle that avoids coordinates or other unmotivated constructions ?"
I just do very laconic questions about advanced topics, this seems to prompt it a bit more towards reducing fluff in the answers. But that + the activated pro could be an improvement
It’s endlessly fascinating to read the AI transcript of an expert who _really_ knows how to cut to the chase. It just shows how much you can potentially squeeze out of these models. I’m also surprised to see that even Terrence Tao seems to use it in a way that resembles, in progression, how I use llms in my area of expertise (emphasis on progression and usage patterns, not absolute skill, obv I don’t match that): short pointed questions that goes all in on the jargon and machinery of the field and steers the llm hard (eg no softballs). I’ve noticed that llms switch their tone and meet you basically more or less on your level.
I encountered something fairly similar working with Claude a few days ago. For a current project I've been fairly hand-wavy with requirements since I was getting good results, but it seemed to be failing hard on some key points, so I started to be more strict with it. Even after the fails were resolved, I've noticed that Claude now behaves differently within that project, carefully checking and rechecking things up front and also looking to me for guidance more often. Mildly irritating, but if it works...
Jeez. While I obviously can't talk at all about the math, I've noticed a few things:
a) The model thinks on some questions while straight answers on others. (I wish I'd knew from the questions if this is somehow correlated to hard tasks or "inventive" tasks, but that's way out of my league).
b) The model sometimes pushes back. Again, I'd wish I knew if it was warranted, but I counted 2 instances where it said "yes, but with caveats", one where it said "mostly yes but with this correction" and one where it said "careful here, because x y z".
c) The model did q&a + pdf ingestion + code writing + more q&a + thinking + more q&a, for a looong while, while seemingly staying on topic (at least Terrence Tao seems to think they're still productive, so I'll trust that).
This is what model progress is, not number goes up on xBency or yBencher. Damn.
I find it amazing how people can use AI to do things that seem hard but yesterday I could not figure out how to install a package on my system. It kept suggesting dependencies that don't exist, and telling me to use functions that are not in the system. The math does not math...
Similar to how Cypher puts it: I know this is “just” next token inference, matrix mult and just software, ie there’s no “intelligence” there BUT, looking at this convo … damn!
The fascinating this is that the LLM is not acting as a tool here AFAIk, but very much like a colleague.
I have no knowledge of the domain and have only PhD EE level math knowledge, so maybe my bar is too low.
I think the "But this is not intelligence because it is known math" is not a correct argument. It is unknown how the overall higher intelligence of humans works.
What I do notice however is that LLMs are becoming capable of doing an increasing part of the intellectual work I can do, and usually a lot faster.
Just today I presented an agent framework that can take an informal incident statement and propose infrastructure changes to fix it, all evidence backed. This did nothing I could not to, but it did all 5 test cases in 6 - 12 minutes each. I would have found all of the monitoring indications it did, but it would have taken me a day per test case. The LLM also included sass to silly tickets. ("This is not even worth spending monitoring resources on. It's obviously a configuration problem.")
That's how this is reading to me as well. It's just fast at slogging through a certain level of "simple" transformations.
That argument says very little, emergent behavior is a thing in complex systems with billions of parts.
Humans can also be reduced to voltage potentials propagating along of tubes of fat and synapses getting rewired.
There is clearly intelligence there. We have no way to recognise intelligence other than the appearance of intelligence and this very clearly displays that.
It's also quite clearly different to human intelligence in some notable ways, but not in any that preclude describing it as intelligent. At least for normal non-pedantic definitions of the word.
I'm no intelligence researcher or philosopher; but, I think LLMs make us confront the (IMO, now clear) distinction between cleverness (intuition), intelligence (rational argument), and consciousness. I suspect that we think of "intelligence" as either of the first two welded to the latter. In that vein, I'd say that consciousness may be just another emotion: happiness, sadness, egoness.
Everyone uses "intelligence" to mean something slightly different, so for this to be a useful claim to make or refute we need to come up with new, intentionally-pedantic, terms (or new domain-specific definitions for vague existing ones).
Yes, trying to communicate (or watching others try to communicate) about these topics is incredibly frustrating because it's pretty much impossible to make any progress without interrogating people's different definitions, but nobody wants to do that because it would mean being pedantic, splitting hairs, etc.
It's not like this is a new problem. Turing had a definition most of a century ago, he wasn't the first and certainly wasn't the last. I don't think we need new terms necessarily, and I doubt we're all going to agree on a definition tomorrow.
There is no intelligence. If anything, this just shows that natural language and mathematics are both fields which are structured in a logically computable way. And if you have a machine that can compute symbolic logic, you can process both natural language and mathematics.
A second corollary is that rational consciousness and thought is less likely to be contained in language than previously thought, because if language is so simple that a machine can process it, it can't contain consciousness.
I'd say an entity capable of instructing one of the leading mathematicians of his era is pretty clearly intelligent by any reasonable measure - however it might be arriving at its output.
We have no way to recognise intelligence other than the appearance of intelligence and this very clearly displays that.
There is about 150 years of cognitive science experimentation in animals that have clarified a little bit how you can actually measure intelligence. Ooorrrrr we can use medieval contempt for scientific thinking and pretend "intelligence" is just some higher intuition that can never be falsified. You know it when you see it, bro! Don't listen to Emily Bender, she's a socialist witch.
The point of those cognitive science experiments is that they apply to any animal with a brain and plausibly show a real shared concept of "intelligence" that isn't limited to humans. According to this concept, orcas might be smarter than humans, despite their physiological inability to make tools. It's not a "normal, nonpedantic definition" of intelligence because such a definition would be scientifically meaningless.
Indeed, AI's fundamental sin, going back to Alan Turing, is embracing a definition of intelligence that applies to civilized humans, but not to hunter-gatherers, let alone apes, corvids, and cetaceans. Frustratingly, our modern society has two concepts of intelligence:
- an intuitive, social sense of "how smart is this guy?", which is well-understood and, being highly correlated with IQ, a totally pseudoscientific artifact of human psychology
- the poorly-understood scientific concept I mentioned earlier
If AI researchers cared about scientific thinking, they would be intensely focused on the brains of bees. Insteac they love money and sci-fi but have pure contempt for science, even Demis Hassabis. This is why AI researchers have yet to build a robot that navigates real-world 3D space as intelligently as a cockroach. I don't think any of our grandchildren will live to see a computer smarter than a mouse. (It seems like Fable still struggles with small-number arithmetic. Rodents don't.)
I don't understand any of the math here, but I had two thoughts. Soon we'll have explainer agents that translate these according to my level so I can, with effort and interest, follow along and stretch my understanding boundary bit by bit.
Two, at some point AIs will be able to use other context like the fact that this is Terrence Tao and not your average Joe and change how it answers, either in tone or structure.
I'm not sure an AI will speed things up much. You would probably still need years of layers of foundational understanding to get the advanced material. We don't go through years of school to learn math just because teachers are bad - it's because complex subtle ideas are built on countless other ideas, and aren't necessarily compressible to something every layman can understand.
The years are broad though, the nice thing with AI explanations is that they can go deep quickly, and quite precisely down the path you need for your prior experience.
Similar to the story of George Dantzig, who was late to class and solved two open problems in statistics because he mistook them for homework, I think the current batch of frontier LLMs are chained up by knowing which problems are supposed to be unsolved. If they're let free (probably via some targeted RLHF) we might get a flurry of solutions to open problems.
I'll have a blog post up tomorrow about it but the Jacobian Conjecture counterexample is a very funny cognitohazard for LLM assistants. It's a paradox for modern LLMs: they have enough math skills such that they can easily compute the Jacobian to formally verify the counterargument, but its own knowledge base is locked prior July 19th 2026 where all it knows is that the Jacobian Conjecture is unsolved and a random chat user providing such a proof is highly unlikely.
I wonder whether when the fact that AIs have started solving conjectures will enter the training data, they will become more confident in their abilities.
I'm watching how Tao uses AI, and it's interesting.
Expand the entire expression, then change the representation to find the core axis. You can't see the axis from just one perspective, so you change the representation. In programming terms, it's like applying multiple domain models. Then break it down into small contract units. Why is it a Jacobian monomial? Why does x satisfy a cubic equation? And so on.
Then swap out the modeling under a hypothesis, assemble it all back together, and verify it through the equation.
This feels similar to modeling in programming.
Observe the whole -> explore better modeling -> decompose local problem -> verify independently -> reason about the highre level structure -> integrate back into the original problem.
This feels similar to when I receive work from a client and write a programming proposal
To me, this shows that extremely talented and qualified mathematicians (can) use frontier-level LLMs to automate their personal grind-y workloads that would otherwise (probably) take more time to accomplish with natural intelligence.
By itself, no consequence. But over time, provided we keep pumping out talented and qualified mathematicians and keep subsidizing costs, we could maybe hit a breakthrough... somewhere... that has real impact.
It's an indicator of AI progress. The solutions aren't especially revolutionary, but no person had been able to solve them after decades of collective attempts.
To be fair I don’t think there were too many people really trying to. Symbolically, one could make a parameterization of the Jacobian determinant and then brute force a solution, if one had known such a polynomial existed in only three dimensions.
Oh yes there were. The Jacobian conjecture is "notorious for the large number of published and unpublished false proofs which turned out to contain subtle errors."
It's not quite the Reimann hypothesis, but many prominent mathematicians have spent years working on this problem. Yitang Zhang wrote his PhD thesis on it.
It's awesome to publish this kind of thing - great PR at least. Even if you don't understand the details, it's interesting to be able to peek into a technical conversation that a world class mathematician is having about their work with a "colleague". It's also the clearest demonstration I've seen of the vision AI people have about a future with truly intelligent copilots in super technical fields.
It's fun if you ask ChatGPT to guess the identity of its interlocutor :) It will guess math researcher or paper author without hints, but if you give it some additional hints, "this was shared over the internet", "it's someone willing to work with AI", it will guess Terence Tao as the first choice.
Math has some of the most insanely dense and impenetrable nomenclature. I can generally keep my head mostly above water or at least near the surface reading from most STEM fields, perhaps leaning on google/wikipedia a bit, but man, mathematics just so quickly decouples from all common tractable understanding it's insane.
Sorry it's a bit of an aside, but I imagine many other otherwise "technical" folks feel the same unfamiliar sense of total loss like when encountering hard mathematics.
I had a few moments of this in the past. For example, in my quantum class the teacher wrote "H Psi = E Psi" on the board, we all laughed, "just cancel the psi" but it turns out one was a multiplcation and the other was a matrix multiplication (operator) and so we had to learn all new nomenclature.
Similarly, at some point somebody pointed out to me "the reason you're confused is that the bold on that variable means it's a matrix"
A term that gets tossed around in math is "mathematical maturity." It's similar to what you see in other fields - e.g. learning how to program, learning how to make music, learning how to cook - that involves many "aha" moments and reshapes your perspective. Math is full of such steps, moreso than most other endeavors, probably because the main limit is the abstract reasoning itself.
It's crazy how he suggests simplifications over and over and gets led through the finding. Absolutely bonkers how you can use AI to understand something and map it to your own mental map so efficiently, and of course he's most interested in generalizing or finding a simpler sub-result that would explain it.
Just awesome to see new knowledge hit an incredible mind like this. Having these "what if" discussions is what I miss most from JPL and academia.
This is the second ChatGPT shared conversation I've seen today that is truly fascinating.
The first one was someone proving another conjecture false by just repeatedly saying "keep going" to ChatGPT: https://x.com/DmitryRybin1/status/2079904005652893709
What a world we live in.
crosses fingers "Low hanging fruit, low hanging fruit, low hanging fruit..." hyper-ventilates
this sounds like like an open parenthesis (
without someone independently verifying it, it just dangles there
...
Terrance Tao's chatgpt conversation is really interesting for a variety of reasons:
1. The counter example wasn't just a brute force selection, the polynomial is structured in a very specific way that ends up getting the result.
2. Terry Tao's questions are very specific and prompts the AI in a useful way, that without high math training you are not going to get the same information out of it. Terry seems to see some aspects of the problem and counter example and uses AI to brute force some parts of it.
"I’ve activated Pro. Can you continue to look for a potential geometric explanation of the X_3 ~ A3 miracle that avoids coordinates or other unmotivated constructions ?"
Another satisfied customer!
I just do very laconic questions about advanced topics, this seems to prompt it a bit more towards reducing fluff in the answers. But that + the activated pro could be an improvement
I do the same kind of thing. "You're smarter now, time to try to cut down dumbo ChatGPT".
High IQ bros.
And you an do it without even changing the model!
It’s endlessly fascinating to read the AI transcript of an expert who _really_ knows how to cut to the chase. It just shows how much you can potentially squeeze out of these models. I’m also surprised to see that even Terrence Tao seems to use it in a way that resembles, in progression, how I use llms in my area of expertise (emphasis on progression and usage patterns, not absolute skill, obv I don’t match that): short pointed questions that goes all in on the jargon and machinery of the field and steers the llm hard (eg no softballs). I’ve noticed that llms switch their tone and meet you basically more or less on your level.
I encountered something fairly similar working with Claude a few days ago. For a current project I've been fairly hand-wavy with requirements since I was getting good results, but it seemed to be failing hard on some key points, so I started to be more strict with it. Even after the fails were resolved, I've noticed that Claude now behaves differently within that project, carefully checking and rechecking things up front and also looking to me for guidance more often. Mildly irritating, but if it works...
It reinforces how to "learn AI" is to first master the problem domain.
I can use AI for coding after decades of coding. I can't use it for theoretical physics because I can't evaluate the responses.
It's reassuring to know that even a supergenius's ChatGPT session is one sentence from the human followed by 3 pages of LLM output.
Jeez. While I obviously can't talk at all about the math, I've noticed a few things:
a) The model thinks on some questions while straight answers on others. (I wish I'd knew from the questions if this is somehow correlated to hard tasks or "inventive" tasks, but that's way out of my league).
b) The model sometimes pushes back. Again, I'd wish I knew if it was warranted, but I counted 2 instances where it said "yes, but with caveats", one where it said "mostly yes but with this correction" and one where it said "careful here, because x y z".
c) The model did q&a + pdf ingestion + code writing + more q&a + thinking + more q&a, for a looong while, while seemingly staying on topic (at least Terrence Tao seems to think they're still productive, so I'll trust that).
This is what model progress is, not number goes up on xBency or yBencher. Damn.
I find it amazing how people can use AI to do things that seem hard but yesterday I could not figure out how to install a package on my system. It kept suggesting dependencies that don't exist, and telling me to use functions that are not in the system. The math does not math...
Similar to how Cypher puts it: I know this is “just” next token inference, matrix mult and just software, ie there’s no “intelligence” there BUT, looking at this convo … damn!
The fascinating this is that the LLM is not acting as a tool here AFAIk, but very much like a colleague.
I have no knowledge of the domain and have only PhD EE level math knowledge, so maybe my bar is too low.
I think the "But this is not intelligence because it is known math" is not a correct argument. It is unknown how the overall higher intelligence of humans works.
What I do notice however is that LLMs are becoming capable of doing an increasing part of the intellectual work I can do, and usually a lot faster.
Just today I presented an agent framework that can take an informal incident statement and propose infrastructure changes to fix it, all evidence backed. This did nothing I could not to, but it did all 5 test cases in 6 - 12 minutes each. I would have found all of the monitoring indications it did, but it would have taken me a day per test case. The LLM also included sass to silly tickets. ("This is not even worth spending monitoring resources on. It's obviously a configuration problem.")
That's how this is reading to me as well. It's just fast at slogging through a certain level of "simple" transformations.
That argument says very little, emergent behavior is a thing in complex systems with billions of parts. Humans can also be reduced to voltage potentials propagating along of tubes of fat and synapses getting rewired.
> there’s no “intelligence” there BUT
There is clearly intelligence there. We have no way to recognise intelligence other than the appearance of intelligence and this very clearly displays that.
It's also quite clearly different to human intelligence in some notable ways, but not in any that preclude describing it as intelligent. At least for normal non-pedantic definitions of the word.
I'm no intelligence researcher or philosopher; but, I think LLMs make us confront the (IMO, now clear) distinction between cleverness (intuition), intelligence (rational argument), and consciousness. I suspect that we think of "intelligence" as either of the first two welded to the latter. In that vein, I'd say that consciousness may be just another emotion: happiness, sadness, egoness.
Everyone uses "intelligence" to mean something slightly different, so for this to be a useful claim to make or refute we need to come up with new, intentionally-pedantic, terms (or new domain-specific definitions for vague existing ones).
Yes, trying to communicate (or watching others try to communicate) about these topics is incredibly frustrating because it's pretty much impossible to make any progress without interrogating people's different definitions, but nobody wants to do that because it would mean being pedantic, splitting hairs, etc.
It's not like this is a new problem. Turing had a definition most of a century ago, he wasn't the first and certainly wasn't the last. I don't think we need new terms necessarily, and I doubt we're all going to agree on a definition tomorrow.
There is no intelligence. If anything, this just shows that natural language and mathematics are both fields which are structured in a logically computable way. And if you have a machine that can compute symbolic logic, you can process both natural language and mathematics.
A second corollary is that rational consciousness and thought is less likely to be contained in language than previously thought, because if language is so simple that a machine can process it, it can't contain consciousness.
That's not clear at all. What's clear is that this is a very smart man who knows how to use this tool well.
I'd say an entity capable of instructing one of the leading mathematicians of his era is pretty clearly intelligent by any reasonable measure - however it might be arriving at its output.
The point of those cognitive science experiments is that they apply to any animal with a brain and plausibly show a real shared concept of "intelligence" that isn't limited to humans. According to this concept, orcas might be smarter than humans, despite their physiological inability to make tools. It's not a "normal, nonpedantic definition" of intelligence because such a definition would be scientifically meaningless.
Indeed, AI's fundamental sin, going back to Alan Turing, is embracing a definition of intelligence that applies to civilized humans, but not to hunter-gatherers, let alone apes, corvids, and cetaceans. Frustratingly, our modern society has two concepts of intelligence:
- an intuitive, social sense of "how smart is this guy?", which is well-understood and, being highly correlated with IQ, a totally pseudoscientific artifact of human psychology
- the poorly-understood scientific concept I mentioned earlier
If AI researchers cared about scientific thinking, they would be intensely focused on the brains of bees. Insteac they love money and sci-fi but have pure contempt for science, even Demis Hassabis. This is why AI researchers have yet to build a robot that navigates real-world 3D space as intelligently as a cockroach. I don't think any of our grandchildren will live to see a computer smarter than a mouse. (It seems like Fable still struggles with small-number arithmetic. Rodents don't.)
I don't understand any of the math here, but I had two thoughts. Soon we'll have explainer agents that translate these according to my level so I can, with effort and interest, follow along and stretch my understanding boundary bit by bit.
Two, at some point AIs will be able to use other context like the fact that this is Terrence Tao and not your average Joe and change how it answers, either in tone or structure.
I'm not sure an AI will speed things up much. You would probably still need years of layers of foundational understanding to get the advanced material. We don't go through years of school to learn math just because teachers are bad - it's because complex subtle ideas are built on countless other ideas, and aren't necessarily compressible to something every layman can understand.
The years are broad though, the nice thing with AI explanations is that they can go deep quickly, and quite precisely down the path you need for your prior experience.
This was my conversation with ChatGPT 4 years ago: https://i.imgur.com/WPaWgzZ.png
Where will we be in another 4 years? What a time to be alive!
Similar to the story of George Dantzig, who was late to class and solved two open problems in statistics because he mistook them for homework, I think the current batch of frontier LLMs are chained up by knowing which problems are supposed to be unsolved. If they're let free (probably via some targeted RLHF) we might get a flurry of solutions to open problems.
Presumably this was Sol on xhigh, then over to Pro (as per his indication on chat)?
Is there any way to tell a conversation's model and thinking level?
I'll have a blog post up tomorrow about it but the Jacobian Conjecture counterexample is a very funny cognitohazard for LLM assistants. It's a paradox for modern LLMs: they have enough math skills such that they can easily compute the Jacobian to formally verify the counterargument, but its own knowledge base is locked prior July 19th 2026 where all it knows is that the Jacobian Conjecture is unsolved and a random chat user providing such a proof is highly unlikely.
I wonder whether when the fact that AIs have started solving conjectures will enter the training data, they will become more confident in their abilities.
Fancy telling Tao something's 'almost embarrassingly simple' (if only written in the right way)!
Parent HN discussion: https://news.ycombinator.com/item?id=48998362
Can't even ctrl+f the conversation, wish openai would fix that
It’s crazy how much these companies invest in their models but when it comes to UX they do fuckall
Obsidian Web Clipper has a nice reader mode that works for ChatGPT transcripts (disclaimer: I made it)
I'm watching how Tao uses AI, and it's interesting.
Expand the entire expression, then change the representation to find the core axis. You can't see the axis from just one perspective, so you change the representation. In programming terms, it's like applying multiple domain models. Then break it down into small contract units. Why is it a Jacobian monomial? Why does x satisfy a cubic equation? And so on.
Then swap out the modeling under a hypothesis, assemble it all back together, and verify it through the equation.
This feels similar to modeling in programming.
Observe the whole -> explore better modeling -> decompose local problem -> verify independently -> reason about the highre level structure -> integrate back into the original problem.
This feels similar to when I receive work from a client and write a programming proposal
Maybe it's silly, but from someone who is ignorant on this topics, what are the consequences of this kind of "discoveries"?
Is it something "revolutionary" or just another small brick that will pile up until something really "revolutionary" will happen?
To me, this shows that extremely talented and qualified mathematicians (can) use frontier-level LLMs to automate their personal grind-y workloads that would otherwise (probably) take more time to accomplish with natural intelligence.
By itself, no consequence. But over time, provided we keep pumping out talented and qualified mathematicians and keep subsidizing costs, we could maybe hit a breakthrough... somewhere... that has real impact.
It's an indicator of AI progress. The solutions aren't especially revolutionary, but no person had been able to solve them after decades of collective attempts.
To be fair I don’t think there were too many people really trying to. Symbolically, one could make a parameterization of the Jacobian determinant and then brute force a solution, if one had known such a polynomial existed in only three dimensions.
Oh yes there were. The Jacobian conjecture is "notorious for the large number of published and unpublished false proofs which turned out to contain subtle errors."
It's not quite the Reimann hypothesis, but many prominent mathematicians have spent years working on this problem. Yitang Zhang wrote his PhD thesis on it.
Practically, from this specific one? Nothing, it's very much a math thing. It's like art or music at this level. Are there consequences to a van Gogh?
"Hey Fable, please generate me the next 1000 undiscovered bitcoin hashes"
You're joking, but perhaps LLMs will find a way to mathematically break the complexity of factorization.
Maybe they'll find a solution where P=NP.
That could really throw a wrench into the whole internet thing.
It seems they need an expert human driver for now.
I'm sorry, I can't do that, but here is the design for a stable quantum computing platform that should allow you to generate those keys yourself...
It's awesome to publish this kind of thing - great PR at least. Even if you don't understand the details, it's interesting to be able to peek into a technical conversation that a world class mathematician is having about their work with a "colleague". It's also the clearest demonstration I've seen of the vision AI people have about a future with truly intelligent copilots in super technical fields.
"The determinant identity is almost embarrassingly simple once one writes the map in the right way." #Flexingontheentirehumanspecies
Or, "Oh just give it here, let me do it."
I wish you'd share some conversations from experienced programmers too. How do they ask questions?
"You are an expert software engineer with ten years of experience. How do I center a div?"
It's fun if you ask ChatGPT to guess the identity of its interlocutor :) It will guess math researcher or paper author without hints, but if you give it some additional hints, "this was shared over the internet", "it's someone willing to work with AI", it will guess Terence Tao as the first choice.
Anybody have a cache/mirror of this? This is blocked by a corporate firewall... sigh