Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.

Dave Gray has put together a pretty solid free Python video tutorial that clocks in at around 9 hours. It came out in 2023, ...