This is a random message on random Fridays about random topics. Typing fast, so pardon my random typos.
Today’s Focus: Software correctness
- Erdos problems: Paul Erdos left many Math problems and conjectures that are now listed on this site. Some have attached monetary prizes.
- Why does Math matter? While we can have fun with Alternative Math, real Math provides a perfect test bed to prove (or not) that AI models can perform “logical reasoning”. With the evolution of data sets, the Math exploration is a new area, for those with enough compute power.
- Computer Science applications. The Math proofs inspire the use of compute power for formal specifications. Or post-incident reviews, like in the TLA+ Modeling of a recent AWS outage due to a DNS race condition.
Happy Friday!