Posted by Bill Ryan
(here)
Back to topic here

, I wanted to share this for the record. I hesitated to do so at first, because I wondered how many members (ThePythonicCow/Paul, happyuk and gord come to mind) would be able to follow it easily.
That's because I'm guessing it might require close to a degree level of math to really get behind what the video is trying to present. But do please start it, or skip through it a little, to see how you fare!
The video title is interesting. The very finest math is supposed to be 'beautiful' — like an exquisite work of art, a Beethoven concerto, or the finest poetry or literature.
gord posted this on the
Intelligent Design thread in 2017:
~~~
To me, this is evidence of intelligent design.
Leonhard Euler discovered it. Who created it?
~~~
That's a beautiful, elegant, super-simple equation, but also a really deep rabbit hole of fascinating conceptual truth expressed in just a few symbols. Surely, just like what God's work should be.
This is NOT quite such a beautiful equation:
But it's used to this day, highly practically, for computers to calculate the value of pi. It's the most accurate equation known, though it looks so very clumsy, arbitrary and awkward.
Interestingly, it was written down without proof by the great Indian intuitive genius
Srinivasa Ramanujan, a self-taught mathematician and devout Hindu who always claimed that his deep mathematical insights came from the goddess
Namagiri, to whom he prayed daily. (So maybe it's beautiful after all.

)
Back to the video, embedded below, this is all about whether the mathematical proofs published by OpenAI are 'beautiful' or not. One or two do seem to be: clever, elegant, concise, and relatively easy to understand. But others are described as
'sludge'.
OpenAI's Secret AI Wrote 722 Math Papers. Real Math or Sludge?
The 'sludge' reference came from this tweet, which quickly went viral in the math community:
Liron Shapira was saying that what OpenAI had come up with could NOT have been in the Mind of God. This is what many in the math community are talking about right now.