Most of my posts and comments are about AI and alignment. Posts I’m most proud of, which also provide a good introduction to my worldview:
Without a trajectory change, the development of AGI is likely to go badly
Steering systems, and a follow up on corrigibility.
I also created Forum Karma, and wrote a longer self-introduction here.
PMs and private feedback are always welcome.
NOTE: I am not Max Harms, author of Crystal Society. I’d prefer for now that my LW postings not be attached to my full name when people Google me for other reasons, but you can PM me here or on Discord (m4xed) if you want to know who I am.
Well, not precisely. Because the first series converges, there’s a whole bunch more we can practically do with the equivalence-assignment in the first series, like using it as an approximation for the sum of any finite number of terms. −1/12 is a terrible approximation for any of the partial sums of the second series.
IMO the use of “=” is actually an abuse of notation by mathematicians in both cases above, but at least an intuitive / forgivable one in the first case because of the usefulness of approximating partial sums. Writing things as (1,2,3,...)∼−112 or R((1,2,3,...))=−112 (R() denoting Ramanujan summation, which for convergent series is equivalent to taking the limit of partial sums) would make this all less mysterious.
In other words, (1, 2, 3, …) is in an equivalence class with −1/12, an equivalence class which also contains any finite series which sum to −1/12, convergent infinite series whose limit of partial sums is −1/12, and divergent series whose Ramanujan sum is −1/12.