When I was 12 I went to an all boys summer camp and one day we played a capture the flag type game and the counselors had the older campers referee it except they also were playing the game too and I tagged one of the older guys and he kept playing and when I pointed it out he said “Can’t police the po-lice, bitch” and...
3
4
31
You’re laughing?
Math is solved and you’re laughing?
x.com/anthropicai/...
Anthropic
@AnthropicAI
3d
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.
Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of https://t.co/pdT8zwlV4A
3
7
38