2 days ago
Linked to https://www.amazon.science/blog/a-decade-of-mathematical-certainty-reflections-on-the-automated-reasoning-group
This post from Amazon’s Automated Reasoning Group a couple of months ago was pretty good (missed it at the time, but found it earlier today when I was talking about formal methods with someone else): https://www.amazon.science/blog/a-decade-of-mathematical-certainty-reflections-on-the-automated-reasoning-group #aws #mathematics