MathematicsMathematicians plan computer proof of Fermat's last theorem Fermat's last theorem puzzled mathematicians for centuries until it was finally proven in 1993. Now, researchers want to create a version of the proof that can be formally checked by a computer for any errors in logic ¿ìè¶ÌÊÓÆµ
LifeChimp mothers play with their youngsters even when times are tough Ten years’ worth of observations of a wild chimpanzee community show that most adults stop playing when food is short, but not mothers and their young ¿ìè¶ÌÊÓÆµ