Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

chatgpt.com

Post reply on HN
Print view View original

471–480 of 681 posts

Re: Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

#471

Post by zx8080 »

lattalayta wrote: post #457
minimaxir wrote: post #106

Earlier quoted context omitted.

> just repeatedly saying "keep going" to ChatGPT For posterity, this indeed works for most problems where an agent might give up. LLMs don't inherently know something is impossible. The phrase I tend to use in my harder prompts to automate this with a sane loop breaker: > **REPEAT THIS PROCESS UNTIL CONVERGENCE AND YOU ARE OUT OF OPTIMIZATION IDEAS.** You have permission to keep iterating.

Maybe it's just me, but does anyone else feel goofy speaking to a computer this way?

Just relax and welcome the nondeterministic world as a non-programmer. Also, forget what you were taught in Theory of Computation, no one needs it anymore. AI will do everything for you. /s

Marketing for huge bucks sounds like this.

You will own nothing and will be happy (that you are still alive). Probably.

Re: Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

#472

Post by ThrowawayR2 »

TMWNN wrote: post #461
progbits wrote: post #68

Earlier quoted context omitted.

From the prompt: > You should do a breakthrough This is just as funny and ridiculous as those "make no mistake" prompts.

The day is coming when some * BIG* problem is solved by AI just because someone jokingly asks about it.

Isaac Asimov's short story The Last Question has that as its premise. Copies can easily be found with a Google search.

Re: Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

#474

Post by plc »

LLMs do match the level of sophistication of the user and the quality of questions they ask. So questions about, how do you improve the level of question? You see the answer in Terry's exchange, both AI and humans are doing an exchange that is thought provoking on both sides for what interesting questions to ask. That is the most startling thing about this -- they are exploring the solution space with the same naivete, to some degree.

Physics, they describe general relativity as a two way street. Space tells mass how to move, and mass tells space how to bend.

Here, Terence tells AI what question to explore, AI tells him what questions to ask next.

The exchange that ensues is just magic to watch.

Re: Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

#475

Post by jason_s »

ProllyInfamous wrote: post #463
Frost1x wrote: post #338

Earlier quoted context omitted.

I had a similar reaction with the language but also response times and language. It reminded me of a quote about Jon von Neumann from Edward Teller: "Von Neumann would carry on a conversation with my 3-year-old son, and the two of them would talk as equals, and I sometimes wondered if he used the same principle when he talked to the rest of us."

Von Neumann is an interesting historical character that nobody has ever heard of , e.g: for such an accomplished inventor, that so few minutes of video footage exist of him. >I sometimes wondered if he used the same principle when he talked to the rest of us. I can come pretty close to a humbler example of this, as the more-extroverted "bad twin," of an identical set: my own genetic equal is bored to tears interactin…

>Von Neumann is an interesting historical character that nobody has ever heard of

huh? He's pretty famous to anyone who has studied either the history of computing or of the development of the atomic bomb.

Re: Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

#476

Post by reverius42 »

buzzin_ wrote: post #349
jongjong wrote: post #301

Earlier quoted context omitted.

>> Cache, stack, heap, process, thread, socket, file, tcp, http, tls, websocks, socks, soc2???, deadlock, stack, queue, race, atomic, event loop, coroutine, async, database, transaction, index, replication, sharding, consistency, serialization, DNS, load balancer, container, namespace, and so on. ... communication protocol, method signatures, web components, ssh, CSS media queries, HTTP headers, WebSockets, timeouts,…

Nice list. I like it how you also included some made up terms. For completeness, those are not real: ETag, SAML, CSP, BGP, haproxy, helm file, k8s, SOCKS5, Lamport OTS, Winternitz OTS, SPHINCS, lattice-based, pg-vector, sameSite, httpOnly. (Or, at least, i have no idea what those are ::)

"helm file" is, of course, supposed to be "helm chart".

Re: Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

#477

Post by flashblaze »

larsfaye wrote: post #436
michaelchisari wrote: post #12

Earlier quoted context omitted.

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.

Correctamundo. That's EXACTLY what I just wrote about. And how we'll create the next generation of people who know how to evaluate responses when we're creating a generation of people who are increasingly reliant on LLMs to do the work makes for a strange paradox. https://larsfaye.com/articles/ai-coding-will-prevent-experti...

Such a good read!

Re: Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

#480

Post by makaking »

Imagine the AI's of the next century trying to explain incomprehensible dark matter math to the smartest humans of the time. David Deutsch says the human mind can comprehend _anything_. I think the next decades of AI-driven math research might put that assumption to the test.
Post reply on HN