#agentic-research 2 items 12 авг Claude Research Model Raises Riemann Zeta Zero Lower Bound from 41.6% to 67.2% Anthropic research 6 сен Anthropic: Claude agents produce the first complete computer-verified formalization of Fermat's Last Theorem Anthropic research