Post by Gopal Anantharaman

GPT-5.4 Pro solves Erdös Problem #1196! https://lnkd.in/gRBcYJ26 For Those who want to know what is "Proofs from THE BOOK", they are Set of proofs for theorems that the mathematician Paul Erdős considered to be Most elegant. Say, the most optimal proof. I have the greatest respect for Paul Erdös. He was a Legendary, prolific Hungarian Mathematician who travelled all around the world with his own money to attend Math Conferences! With over 800 papers to his credit! He had contributions all over, Number Theory, Combinatorics, CS, Information Theory etc. He pioneered "The Probabilistic Method" a probabilistic method to prove existence of Combinatorial objects. Honoring him.. came the concept of "Erdös Number". Google it up! Soon, AI could generate almost all proofs from the book, I think! For Those who are interested (Ben Galin ?) there is a "Proofs from THE BOOK" book by Martin Aigner. Günter M. Ziegler (https://lnkd.in/gxtP-V_3) Covering about 44 Proofs that are so elegant. Check it out!