Nov
24th
Mon
24th
Computation Kicks
Computation developments seems to be catching my eye today. Mathematicians are working on programs to check proofs, and apparently the programs are getting better. This is interesting to me, because I always seem to feel like automation needs to have several layers of automation for error checking.
