Viewing profile — Davidzheng

if the bigger model can vet it fast it can also answer it fast.

if him leaving unhobbles gdm, it'll be because he has less influence...

I'm pretty sure the other answers are wrong and it's a side effect of RL (see thinking machines post about inkling training). It's also exacerbated in fable and sol--I think it's t…

This is mostly a problem with the product. It should write better. But maybe the priorities now are not on this part.

RL training can use all of them - idk what needed means.

There's no clean line between a collection of theorems and a theory.

This is just objectively false - in fact your answer basically contradicts itself because the market reacts to indicators, if "nothing ever happens" was the best strategy, then the…

Sounds dystopian.

Not just engineers - I see people attributing it to strong priors that nothing happens but in my opinion it's more some form of psychological defense mechanism against understandin…

Why should the national security concerns of the US lie with Anthropic?

Not Kimi K3 large though

Then I am naive, but I think they cared before they got powerful and chatgpt release.

sure - it depends on definitions. On human morals it's already clear I guess. If you define alignment as it pursues the interests of OpenAI using whatever means possible in a manne…

Unless OAI explicitly said breaking the testing environment is allowed, I think this should be considered misaligned behavior (by definition of alignment to user intent--by alignme…

This is certainly not a planned marketing stunt. I hope this line of discourse ends soon--it wasn't the case for Mythos either.

on the other hand it's incredible to me as someone who doesn't do computations that GPT took one look and saw the geometry--though it's not saying much we should ask ppl who do AG …

yeah I think it's probably correct -- this is actually insanely simple (except for the fact that the codomain as described is not obvious isomorphic to A^3.

here's another version directly from the horse's mouth : "Consider the natural map π: P¹ × Sym²(P¹) → Sym³(P¹), (p, {q,r}) ↦ {p,q,r}. Let R be its ramification divisor and let H ⊂ …

I'm going to paraphrase what GPT told me: Consider the canonical degree 3 (subvariety of the trivial P1 bundle consisting of zeros) cover of the projectivization of homogenous poly…

But actually my feeling is that the final solutions of these last two problems probably is hiding how the AI came up with them! For all we know it used a LOT of theory! As Dolly Pa…

? did you take my comment to mean that math will not be affected? I meant like it'll come much sooner--like in <5 months

Sorry last comment was a bit emotional from me, but I do not think it's findable like you say--during my PhD I tried to find some ideals I knew existed in char 2 in 5 variables and…

I have a question I'm surprised people are not asking: How did Fable find this? Was it like guessing a bunch of families and then solving for possible solutions in those families? …

> This example, you could have given an undergraduate good at programming and computer algebra and told them to come up with a counterexample please try go try it. There's no way s…