Proof of irrationality

The researchers of the Faculty of Electrical and Computer Engineering at the Technion developed an algorithm for discovering new formulas and new relationships between mathematical constants