Davidzheng

6 ms·

61.
by Davidzheng 3mo ago
Then I am naive, but I think they cared before they got powerful and chatgpt release.
62.
by Davidzheng 3mo ago
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 manner that you justifies to itself it's not misaligned
63.
by Davidzheng 3mo ago
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 alignment to human morals this was even more clear-cut)
64.
by Davidzheng 3mo ago
This is certainly not a planned marketing stunt. I hope this line of discourse ends soon--it wasn't the case for Mythos either.
65.
by Davidzheng 3mo ago
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 computations
66.
by Davidzheng 3mo ago
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.
67.
by Davidzheng 3mo ago
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 ⊂ Sym³(P¹) ≅ P³ be a hyperplane tangent but not
68.
by Davidzheng 3mo ago
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 polynomials of degree 3 in 2 variables (so it's a 3fol
69.
by Davidzheng 3mo ago
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 Parton says "it takes a lot of money to look this cheap&q
70.
by Davidzheng 3mo ago
? 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
71.
by Davidzheng 3mo ago
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 low degree and I didn't think I ever got close. 3
72.
by Davidzheng 3mo ago
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? Was it clever search? something else?
73.
by Davidzheng 3mo ago
> 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 someone didn't do massive computer algebra searc
74.
by Davidzheng 3mo ago
next year is a long time away friend
75.
by Davidzheng 3mo ago
sure it does? two copies of the affine line? (I guess there's no galois group & no connected finite etale things tho)
76.
by Davidzheng 3mo ago
Maybe they should reduce sorting to multiplication lol
77.
by Davidzheng 3mo ago
The complexity is obviously nlogn - it's just hard to prove (this comment is only somewhat serious)
78.
by Davidzheng 3mo ago
To add to others, thinking was never only a human act
79.
by Davidzheng 3mo ago
Your comment is somewhat emotionally charged, but I choose to respond to the overall point as a mathematician. I think it could be true that utility is correlated with difficulty but it is certainly not defined by it. In pure mathematics, w
80.
by Davidzheng 3mo ago
Sorry but I completely disagree with your statement that "every novel result is broadly perceived as a big deal". Most results certainly are not consider this way (even though the average result has difficulties that are much high
81.
by Davidzheng 3mo ago
Well that's the only way to escape the permanent underclass, otherwise even Elon is not excempt;)
82.
by Davidzheng 3mo ago
Post-training can have big gains no? I don't think the current sizes at ~1T are saturated in intelligence (it's like saying AlphaGo Master is just a post-trained version of AlphaGo Lee)
83.
by Davidzheng 3mo ago
Evidence towards aside, the risk calculation depends on how much upside is from the 100B if progress starts the same rate. I think it's hard to bound that accurately
84.
by Davidzheng 4mo ago
I don't think Anthropic is claiming it's world ending? Just that it has offensive cybersecurity abilities which can be dangerous
85.
by Davidzheng 4mo ago
Is it completely clear to you what the purpose of this is? It isn't completely clear to me but it's very likely it's an issue with me. I feel that it can be part of some larger counteroffensive against certain actors in China
86.
by Davidzheng 4mo ago
But it reads to me like the thread parent's point is that there are many unknown risks which can exist? I also wonder about long term effects to the health of the genome from IVF and other forms of fertility treatment as infertility co
87.
by Davidzheng 4mo ago
oh so they should team up
88.
by Davidzheng 4mo ago
But in any case, I think more than 10% of information workers today can be replaced by current-generation models indefinitely.
89.
by Davidzheng 4mo ago
Yeah it's not true that for every job, it is better than median worker of that job. But it is conceivable that for almost all jobs it is already better than the median human (not just workers of that job).
90.
by Davidzheng 4mo ago
And what is it worse at than an average human today that can be done on a computer?

More ›