Ssignal
16
·1 days ago·1 signals
Archived topic · source no longer tracked
A claimed 100-page proof of the Hopf problem formalized into 250,000 lines of Lean code in just days
ClaudeOpenAIOpen source
Heat trend
New
The percentage is based on available heat signal, not comment count or independent people.