I have been a sucker for a long while. Thanks to this miserable time, I, right now, start to read more than ever before. Though my reading speed is still too low considering the English context. However, this do give me insights and a hilarous time.
My goal, avoid being yesterday's sucker and do something solid!
Complexity and Lean
-
In the OpenAI Math Drop some papers have Lean proofs, others don't,
including L = RL = BPL. Why is it hard to formalize results on complexity
classes?
L...
No comments:
Post a Comment