MathematicsThe biggest controversy in maths could be settled by a computer For over a decade, mathematicians have failed to agree whether a 500-page proof is actually correct. Now, translating the proof into a computer-readable form may finally settle the matter ¿ìè¶ÌÊÓÆµ
SpaceEnceladus’s ocean may be even better for life than we realised The buried ocean on Saturn’s moon Enceladus seems to be stable across extremely long periods of time, making it an even more promising place to hunt for life ¿ìè¶ÌÊÓÆµ