#lean 1 item 6 сен Anthropic: Claude agents produce the first complete computer-verified formalization of Fermat's Last Theorem Anthropic research