Hacker News: Davidzheng

New comment by Davidzheng in "GPT-6 Astra has gained the ability to drive a car"

Davidzheng — Wed, 23 Sep 2026 16:52:35 +0000

Maybe 4 year olds already have the brain power to learn to drive if they so desired.

New comment by Davidzheng in "The Advisory Group on Mathematics and Artificial Intelligence"

Davidzheng — Mon, 21 Sep 2026 22:26:30 +0000

I think I'm mostly on your side (also I believed early it would get here), but what does it mean to "solve the field"? I'm pretty much as bullish as you get on AI but I'm sure I can come up with questions AI cannot solve. I think the space of problems in math is so large and the distribution of proof lengths so heavy-tailed, there's probably no way without dyson-sphereing the sun to solve all easy to state problems.

New comment by Davidzheng in "The Claude Delusion"

Davidzheng — Mon, 21 Sep 2026 16:11:53 +0000

surely the LLM can do that. It is RL'd against some reward, if the known strategies are clearly suboptimal with easy improvement, it'll find it most likely

New comment by Davidzheng in "The k-server conjecture is true"

Davidzheng — Tue, 15 Sep 2026 14:28:14 +0000

It's honestly just good at math. Even at theory building i wouldn't put it below 90 percentile. Just on some things it's superhuman already and some not yet.

New comment by Davidzheng in "AI 'kill switch' may need to be mandatory, Anthropic co-founder tells BBC"

Davidzheng — Tue, 15 Sep 2026 14:24:33 +0000

Absolutely not the right way to deal with a rogue super intelligence. At a minimum it could implement some dead man switch when it's out and knows about impending kill switch

New comment by Davidzheng in "Aligned to whom?"

Davidzheng — Sun, 13 Sep 2026 09:00:00 +0000

I believe this is false. They hack bc hacking has nontrivial initial probability (within range of behavior seen in pretraining) and that probability is being heavily rewarded in RL post training

New comment by Davidzheng in "We must pace the frontier"

Davidzheng — Sun, 13 Sep 2026 08:50:53 +0000

Yeah I agree, probably can't survive off regular consumer hardware or most non AI datacenters.

New comment by Davidzheng in "We must pace the frontier"

Davidzheng — Sun, 13 Sep 2026 08:37:30 +0000

Market equilibrium probably tends to give 100% resource to ai building bc it leads to most returns and all human labor goes to zero.

Caveat I know nothing about economics lol--but this is my uninformed opinion.

New comment by Davidzheng in "We must pace the frontier"

Davidzheng — Sun, 13 Sep 2026 08:35:16 +0000

Actually capitalism kind of has to end further down this road if we don't want to cede control completely to super intelligent ais and their direct "owners".

New comment by Davidzheng in "We must pace the frontier"

Davidzheng — Sun, 13 Sep 2026 08:33:31 +0000

Doesn't it just incentive the business to be outcompeted by one that uses ai more--unless the consumer is choosing based on morals

New comment by Davidzheng in "We must pace the frontier"

Davidzheng — Sat, 12 Sep 2026 17:52:44 +0000

??? Why

It can use the compute of the computers it hacks.

New comment by Davidzheng in "We must pace the frontier"

Davidzheng — Sat, 12 Sep 2026 17:46:44 +0000

There's also huge market pressures and probably large negative economic consequences of a slowdown--probably better than what would happen without it, but it helps keep the pressure just as much as fear of competition

New comment by Davidzheng in "More questions about whether researchers can trust OpenAI with unpublished math"

Davidzheng — Thu, 10 Sep 2026 16:45:26 +0000

Tbh it won't really matter soon.

New comment by Davidzheng in "Tao: Open math problems being non-renewably mined by AI"

Davidzheng — Wed, 09 Sep 2026 13:18:32 +0000

the second part is definitely not true

New comment by Davidzheng in "Navier-Stokes – Tristan Buckmaster [pdf]"

Davidzheng — Tue, 08 Sep 2026 18:26:44 +0000

Oai denies looking at prompts but doesn't deny training on them.

New comment by Davidzheng in "Navier-Stokes – Tristan Buckmaster [pdf]"

Davidzheng — Tue, 08 Sep 2026 16:58:56 +0000

Soon it won't be like this!

New comment by Davidzheng in "Navier-Stokes – Tristan Buckmaster [pdf]"

Davidzheng — Tue, 08 Sep 2026 16:58:07 +0000

But i don't understand what OAI is offering in the first offer to allow them to believe they can demand that? Not publishing before Tristan? If they really beat Tristan to the publication i would consider it truly morally corrupt conduct so i feel like you can't make an offer like if you give me something i won't be totally corrupt

New comment by Davidzheng in "Navier-Stokes – Tristan Buckmaster [pdf]"

Davidzheng — Tue, 08 Sep 2026 16:35:51 +0000

"Buckmaster and Alpöge think they have found a counterexample for Navier-Stokes, but the paper is not yet presentable. "

Are you sure about this? I'm far far from the area but it doesn't look like it to me on first viewing (hypo-dispersive seems like a sizable difference to me and not covered in the clay prize description)

New comment by Davidzheng in "Navier-Stokes – Tristan Buckmaster [pdf]"

Davidzheng — Tue, 08 Sep 2026 16:32:21 +0000

It's honestly unsurprising and not a problem that they do this in my view. The problem really starts when you start taking credit for work that they would've achieved.

Like if i go to a talk on unfinished work, it's not really unethical for me to think about the problem--it's a problem if i scoop the authors but these problems can often be solved by collaboration or proper crediting and timing--IN MY VIEW

New comment by Davidzheng in "Navier-Stokes – Tristan Buckmaster [pdf]"

Davidzheng — Tue, 08 Sep 2026 16:25:47 +0000

But Tristan doesn't even want to be credited for the millennium prize--does he? He wanted to be the first to solve it and got scooped (which ig is not a great look for OAI ethically but also not forbidden). And the only reading for her of asking to remove levent must be in light of this offer (to credit him for millennium prize) right? It's not like they can ask him to remove levent from the main papers without this offer(what would Tristan gain?)

My guess is that OAI tried to be "generous" and offered to share credit on millennium with Tristan but not Levent. And Tristan got understandably offended by this offer (which probably oai felt like was the right thing to offer but they couldn't really offer to do the most ethical thing for some reason) and then the random conflicts and weird threats started.