| ▲ | transitorykris 5 hours ago | ||||||||||||||||
If they do for material sciences what they did for math proofs, the world is going to get weirder! | |||||||||||||||||
| ▲ | xscott 5 hours ago | parent [-] | ||||||||||||||||
Yeah, we need a lot more kinds compilers like LEAN. Give the accountants, physicists, chemists, biologists, and so on the tools where they can verify the results. | |||||||||||||||||
| |||||||||||||||||