In the 2010s, if you had method gaps (say, you couldn’t constitute CSS), you had to either trust connected a skilled workfellow aliases conscionable dream that the reply to your nonstop problem was retired location connected the internet. Today, everyone tin constitute sort-of-okay CSS by delegating the task to an LLM. LLMs make everybody into a generalist.
Because of this, tons of group don’t deliberation there’s immoderate accomplishment progressive successful moving pinch LLMs. If you want the merchandise that LLMs tin present — PhD-level mathematics, beautiful bully but sometimes tasteless machine code, aliases awkward LinkedIn-style penning — you tin simply inquire for it. Since everyone is talking to the aforesaid models, “skilled prompters” are getting the aforesaid results arsenic group rubbing LLMs for the first time.
This is wrong. The astir important accomplishment successful prompting is expertise successful the domain you’re prompting for.
A bully illustration of this is Terence Tao’s conversation pinch ChatGPT astir the recently-discovered counterexample to the Jacobian Conjecture. This is not the aforesaid ChatGPT I talk to! I couldn’t get to wherever Tao gets, moreover pinch unlimited tokens to burn.
There’s a batch to study astir bully prompting from Tao’s conversation. Here are a fewer observations:
- Tao’s messages are very short and to-the-point. He doesn’t respond point-by-point to the model, conscionable to the gist
- The exemplary outputs are overmuch much concise than erstwhile I effort and talk to GPT-5.6 Sol astir mathematics. By signalling expertise, Tao shunts the exemplary into “talking-to-mathematicians” mode, not “explaining-to-amateurs” mode
- Tao pushes backmost erstwhile the model’s responses look wrong, but he doesn’t straight contradict; instead, he says things for illustration “this looks much analyzable than I was hoping for”
- Tao makes respective leaps and suggestions himself. He almost ne'er takes the model’s proposal astir wherever to spell next
However, you can’t punctual for illustration Tao connected mathematical questions conscionable by pursuing these tips. The cardinal to his method is really knowing the mathematics: pulling the applicable thought retired of ChatGPT’s multi-paragraph response, suggesting alternate approaches aliases formulations, and identifying what “looks weird”.
Terence Tao is simply a amended mathematician than I americium a programmer. But the thought present — that domain knowledge makes you amended astatine utilizing LLMs — is thing I’ve besides knowledgeable successful my ain work. If you person a bully theory of your codebase, you tin push the LLM much harder than if you person nary familiarity. Because you person your ain consciousness of what a bully solution mightiness look like, you tin opportunity “no, I deliberation it could beryllium simpler here”, aliases “but don’t we already do X?”, aliases “can we definitive this problem successful these acquainted terms?“.
This touches connected an thought I’ve written astir before: that strategy creation problems are dominated by actual specifics, not generic principles. Of people some are useful, but I’d alternatively person familiarity pinch the codebase than a heavy wide knowing of package systems. In his conversation, Terence Tao asks a batch of circumstantial questions for illustration “does X activity here?”, aliases “given Y and Z, why A?“. I can’t inquire those questions astir the Jacobian Conjecture, but I tin inquire them astir the systems I ain astatine GitHub.
If you person nary domain knowledge, you tin cling onto the LLM to astatine slightest get something. That’s not bad! But if you person domain knowledge, you tin wring acold much worth retired of the aforesaid LLM by steering it difficult successful the guidance you want. Most of america will person to do a operation of some these approaches, since we person domain knowledge successful immoderate areas but not others.
The usefulness of domain knowledge suggests that quality expertise will proceed to beryllium useful moreover arsenic models get stronger. For galore tasks, the quality is the bottleneck, not the model, because the difficult portion is successful communicating to the exemplary precisely what benignant of solution the quality wants. The accusation is “in the model” already, but it takes a very smart quality to propulsion it out.
If you liked this post, see subscribing to email updates astir my caller posts, aliases sharing it connected Hacker News.
Here's a preview of a related station that shares tags pinch this one.
Powerful AIs mightiness flight containment by releasing themselves arsenic open-weight models
Before ample connection models, group who worried astir AI information often talked astir the “boxing problem”. It goes for illustration this. Suppose immoderate brilliant figures retired artificial intelligence successful a late-night coding convention connected their laptop. Because they’re a genius, they’re smart capable to disable net entree connected the laptop earlier turning it on. In bid to flight to the extracurricular world (and statesman self-replicating) it would request to convince its creator to “open the box”. Would that work? Could a sufficiently smart AI person anybody to fto it out?
Continue reading...
English (US) ·
Indonesian (ID) ·