Not enough discussion yet.
No sentiment analysis available yet.
—
Not ranked yet
—
Not ranked yet
MTS@MTSliveAxiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem,…
MTS@MTSliveAxiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem,…
Not enough discussion yet.
No sentiment analysis available yet.
