Don't have Telegram yet? Try it now!
https://nebusresearch.wordpress.com/2016/06/07/whats-the-longest-proof-ive-done/
What's The Longest Proof I've Done?