"Leonhard Euler(1707-1783) A Swiss mathematician and physicist.
......
During the last 17 years of his life, he was almost totally blind, and yet he produced nearly half of his results during that period."
(Copied from Pattern Recognition and Machine Learning, Page 465)
I am wondering whether or not he has any chance to win the Fields Award:)
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