Loading activity…
@kevinschawinski
Astrophysicist | Entrepreneur | CEO at Modulos AG | Yelling at Claudes
AI
A post writes the formula with an exponent of 1.99999999999983 and says a Lean proof is forthcoming.
AI
A user strongly recommends the YouTube conversation to people worried about AI risk.
