Pulse
0
Velocity
Stars
0
Anthropic's research codebase for AI in formal mathematics and reasoning.
Contains Anthropic's experimental code and findings for advancing AI in formal mathematical proofs.
Anthropic is building AI that can reason and prove theorems in formal math.
Why Trending
Cutting-edge research from a leading AI lab on tackling complex formal math problems.
Target Audience
AI researchers, mathematicians, formal methods specialists.
Similar Projects