Mathematical Proof facts
While investigating facts about Mathematical Proofs and Mathematical Proofs Pdf, I found out little known, but curios details like:
The longest mathematical proof is 15000 pages long, involved more than 100 mathematicians and took 30 years just to complete it.
how to write a mathematical proof?
About Graham's number which is largest number ever used in a serious mathematical proof and it is bigger than the googolplex. It's so big, the Universe does not contain enough stuff on which to write its digits: it's literally too big to write. But this number is finite and divisible by 3 and 7.
What is the longest mathematical proof?
In my opinion, it is useful to put together a list of the most interesting details from trusted sources that I've come across answering what is the first step in a mathematical induction proof. Here are 30 of the best facts about Mathematical Proof Examples and Mathematical Proofs A Transition To Advanced Mathematics I managed to collect.
what mathematical proofs?

It is mathematically possible to turn a sphere inside out without creating any creases. The proof for this was developed by Bernard Morin; a blind mathematician.

Frank Nelson Cole. At a 1903 meeting of the American Mathematical Society, Cole—while remaining completely silent—showed on a chalkboard an important new proof by, among other things, calculating 193,707,721 × 761,838,257,287 by hand. He sat down after an hour to a standing ovation.

The mathematical proof for "1+1=2" took well over a hundred pages to write, in a book titled "Principia Mathematica"

Mathematician Kurt Gödel wrote a formal mathematical proof for the existence of God.

There exists a mathematical proof that shows if only one sex asks the other sex out, only the sex doing the asking will get an optimal pairing.

The original form of the Schrödinger equation was not derived from any mathematical formula and had no rigorous mathematical proof for it. It simply came out of Schrödinger's mind and ended up working experimentally. A derivation for it was only 'invented' decades later.

He developed mathematical proofs that are highly regarded for their completeness, and are still in use more than 2,000 years later.

In 2012 Shinichi Mochizuki released a proof that claimed to solve abc conjecture a hitherto unsolved mathematical problem however, 4 years on only 4 mathematicians have been able to understand the proof.

There is a theorem in mathematics (Classification of finite simple groups) whose proof consists of more than 10,000 pages spread across about 500 journal articles, written by over 100 different authors.
What are mathematical proofs and why they are important?
You can easily fact check it by examining the linked wellknown sources.
James A. Garfield, the 20th president of the United States, published a proof of the Pythagorean Theorem, making him the only US president to have published a mathematical proof so far
Pythagoras (570495 BC) is credited with his theorem, but there is no evidence of his mathematical proof. There is evidence the theorem predates him. Mesopotamian, Indian and Chinese mathematicians all discovered it independently and, in some cases, provided proofs for special cases.  source
The shortest published mathematics paper is 2 words long and contains two proofs.  source
Graham's Number holds the record for the largest number ever used in a serious mathematical proof; a representation of the number could not fit within the confines of the physical universe
Graham's number is the largest number with a mathematical proof, dwarfing a googolplex by far.  source
How might mathematical induction be useful when analyzing problems?
The Keeler Theorem (Futurama Theorem) is a reallife mathematical proof invented by writer Ken Keeler (Ph.D Math) solely for the Episode "The Prisoner of Benda"
How to do mathematical proofs?
Sir Andrew Wiles was not eligible for the Field's Medal (the Nobel prize of mathematics) for his proof of Fermat's Last Theorem because he was 41, 1 year older than the age limit
There is a 'Mathematical Proof' for the existence of God, by none other than Kurt Gödel, the famous 20th century mathematician.
About the Enormous Theorem which took more than 100 mathematicians, hundreds of journal articles and 15,000 pages to prove, making it the largest mathematical proof ever. It was first proposed in 1832 and wasn't solved until 2012.
There is a computing language called Coq that provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semiinteractive development of machinechecked proofs.
The longest mathematical proof consists of tens of thousands of pages in several hundred journal articles written by about 100 authors and took over 30 years to complete