#agentic-research 2 пункта 12 авг Исследовательская модель Claude повышает нижнюю оценку нулей дзета-функции Римана с 41,6% до 67,2% Anthropic research 6 сен Anthropic: агенты Claude получили первую полную компьютерно-верифицированную формализацию Великой теоремы Ферма Anthropic research