375: TZ Discussion - How the World Went Soft
TechZing
00:00
How to Automate Mathematical Arguments
Initially, I was thinking of having a list of statements. And you would sort of drag and drop them into the correct order. But then as it got more complicated, you'd be like, okay, well, they're like 2530 statements,. Some of them are unnecessary, some of them are incorrect or variations on the same one. So imagine if you're, if you see this argument, and then you have like these half half a sentence or a few words or there's some math mouth statement. It's just a drop down. There's nothing there. You're like,Okay, there's one of five or three or seven things that I can pick. The harder ones,
Play episode from 01:08:59
Transcript
