#lean 1 пункт 6 сен Anthropic: агенты Claude получили первую полную компьютерно-верифицированную формализацию Великой теоремы Ферма Anthropic research