Joke
A joke about OpenAI 'improving' Newton’s law of gravitation
A post writes the formula with an exponent of 1.99999999999983 and says a Lean proof is forthcoming.
TLDR
A post jokes that OpenAI has “improved” Newton’s law of gravitation, showing F = Gm₁m₂/r^1.99999999999983. It adds that a Lean proof is forthcoming.
Combined views
243.8K
2 Sources, first seen ago