Jane Street: Socratic Tutor

Been using this with Opus 5.5 on Medium for a week or so. I've used the same model for learning before and I definitely prefer using this skill because it stops the model from the usual handholding. Although I'd say most of the effect can be replicated with this line: "When the user is wrong, do not give the answer. Ask a narrower question that exposes the contradiction in their reasoning."

This is really cool. I think we will see more of these, inching towards 'refined' thought and expression percolating from AI models into human minds.

I noticed that the quality of email text has gone up around my work these days. everyone is sounding like a master of drafting emails. Ofcourse Ai has a role in it. But real cool thing about this is, this is pulling up people's thinking to have a structure, minimalism and sequencing of expression. Same as how textile industry has enabled people to have an style and expression in clothing.

Socratic questions are not asked blindly. They are meant to help the student to realize the incompleteness or falsety of what they think they know. That us, to realise they do not actually know something and thus put them into a position of not knowing, which is the only way to gain understanding.

One man said, that enlightement (as in Zen) cannot be faked. Whoever had it, will be able to tell if someone else had it or not. There is no way to merely sound like it. Socratic method is like enlightement.

what am i missing, why does it have 434 forks and 6.3k starts? is it botted? what's the point

I love the idea but Jane Street might have copied (or independently rediscovered) https://github.com/bevibing/socrates-skill

man people need to talk to people this is depressing

brainrot

I assume this isn't going to cause the LLM to start jumping me with questions about the nature of piety or justice

I dunno if you really need this. I asked AI to generate me a Lean tutorial with exercises and it did a really great job, one-shot with no skills. My 4th attempt to learn Lean and I'm actually making progress this time. (Mostly because you can say "I'm a bit stuck here, can you give me a hint" - it's really good at Lean even without access to the Lean compiler.)

Maybe it improves things a bit though. I might try it next time.

This comes off as AI consultant slop from a year ago. I wonder who is in charge of AI at Jane Street.

My client just got done firing someone who thought filling the codebase up with files like this would be a good idea.

It would seem the AI revolution is happening at wildly different rates depending on where you are standing.

[dead]