@hisagrmf I stared at this thinking "surely you mean 4, not 8, right?"
"503 divisible by 3?" -> A final 3 at the end doesn't affect it, simplify by throwing away -> "500 divisible by 3?" The 5 doesn't matter. Throw away more 5's. -> 500, 100, 20, 4. Just 4 is left. 4 isn't divisible by 3.
But it's actually... a math professor! With a PhD! "Grade K" is one of the steps in their gradation of experience. https://www.bristol(dot)ac(dot)uk/jobs/find/details/?jobId=388703 (X blocks this link!?)
If I saw this without context, I would think it was a kindergarten teacher. This equates to about $77k USD, which is obviously on the high end, but totally exists in the US in some very high-cost-of-living areas or at private schools.
Excited to be giving a keynote speech at SAIR's Science x AI Summit at the end of the month.😃I'll talking about physics and Lean!
https://t.co/YtPhntxshP
@davidad I really really have come to hate the words "structural" and "spine" because of this. Also, please, if you talk to me -- no setting off of repeated null qualifiers by a dash, zero of this, none of these.
Sometimes Claude will refer to subagents as child processes, or for short, children. When this propagates through notes, sometimes it misunderstands itself. Which leads to it writing summaries of mathematical analysis like this:
The first stage of SAIR's "Math Distillation Challenge" completed. Happy that I got 8th place! Right below, *ahem*, someone named "magmaballs".😁
Stage 2 will involve generating Lean proofs and disproofs. Excited to see will come out of it!
https://t.co/LX4f9ikNq8
"All the world's a stage,
And all the men and women are merely players;
They have their exits and their entrances,
And one man in his time plays many parts."
Until you appreciate this, you will not correctly interpret mechanistic interpretability research on LLMs.
*Log on and see the agent did overnight*
Me: "Wow this is a neat optimization, sounds smart but I don't understand why it works. Can you explain it?"
AI: "Your prompt explicitly instructed me on this optimization, bc ..."
Oh, it wasn't genius AI, *I* was smart! And forgetful. :)