Some progress on Riemann's hypothesis. Claude didn't prove it but seems to have solved a related problem
https://www.anthropic.com/research/riemann-zeta
Post #382
4.09K
- Sep 21, 2026i disabled reactions because they encourage system-1 thinking: quick, emotional, leading t…
- Sep 14, 2026i'm generally worried about the upcoming shifts in society, eg i have a hard time imaginin…
- Sep 14, 2026on ai worries and speed rsi and exponential are real. it is still kinda slow now but each…
- Sep 6, 2026Interview with HuggingFace incident investigator https://www.youtube.com/watch?v=X50zezLFW…
- Sep 4, 2026Fermat's Last Theorem has been formalized by Claude. It took 13M Lean LOC, 29.5K intermedi…
- Sep 1, 2026Fable 5.1