如果某件事足够重要,即使胜算不大,你也要去做。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
人工智能不是零和游戏,它可以为每个人创造丰裕。