Ssignal
19
·7 days ago·1 signals
Archived topic · source no longer tracked
The inference cost for Astra to solve 10 long-open math problems was roughly $2,000. Lean proofs are on GitHub.
Heat trend
Collecting trend data
The percentage is based on available heat signal, not comment count or independent people.
This covers a coding tool or code-capability update — useful for developers assessing workflow changes and reusable value.