Laptop proof assistants can confirm that mathematical proofs are appropriate
Shutterstock/Golden Dayz
The next is an extract from our Misplaced in Area-Time publication. Every month, we hand over the keyboard to a physicist or two to inform you about fascinating concepts from their nook of the universe. You possibly can join Misplaced in Area-Time at no cost right here.
One depressing morning in 2017, within the third 12 months of my tenure-track job as a arithmetic professor, I woke as much as a worrying e mail. It was from a colleague and he questioned the …