This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
For the first time ever, I tried using AI to help with a non-exercise mathematical proof. I used Claude Opus 4.5, working through a mix of Claude Code and Anthropic’s new Cowork feature. The experiment was a success: We managed to close a gap in a proof, and Claude’s help made the process both faster and more pleasant than working alone would have been. Starting from old notes I…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.