TIL that Pythagoras cannot have been the first to discover the Pythagorean theorem because it was known and used by the Babylonians over a millennium before he was born. Classical historians dispute whether he himself ever actually made any significant contributions to the field of mathematics.