Market2 HOURS AGO
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Compiled by KoinLens from 1 source
Importance 33Neutral* Trust 80 · 1 source1.5Market Impact: 1.5/10 · Low
The higher the score out of 10, the bigger the expected impact on the market. Heuristic estimate — not financial advice.
The higher the score out of 10, the bigger the expected impact on the market. Heuristic estimate — not financial advice.
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required