TechRadar says Claude helped turn a 129-page proof into 13 million lines of code
Anthropic says Claude completed math formalization work expected to take years in just 11 days, with limited human guidance, TechRadar reports.
TLDR
TechRadar reports that a 129-page proof became 13 million lines of code with Claude’s help. The report cites Anthropic’s claim that Claude completed math formalization work expected to take years in 11 days, with limited human guidance.
Combined views
4.4K
1 Source, first seen ago
1 comments2 saves