Andrew Wiles gave 3 lectures, and only at the end of the last one he announced that he solved FLT. Imagine someone from the audience announced in between the second and the third lecture that they proved FLT (using his ideas, obviously).
This is a great analogy, and one I'm surprised more people haven't raised. Instead all your hear are comments about mathematicians being sour losers, they should have know the model terms of service etc...
LOL. Not merging to production, or you could be right. Just trying to automate smaller PRs as much as possible, and found a few things the model needed help with.
I asked AI to formalize an old important paper in analysis. In the paper there is a sequence of epsilon_n > 0, epsilon_n -> 0. It came back, and said: "I formalized it, it is all good, but the assumption that epsilons > 0 is not used anywhere. Shall we remove it, you a get a stronger result this way?"
It's not real Python. It's essentially a made-up language that resembles a subset of Python.
That said, if I was building a small ugly toy Python implementation, I would probably also not implement long integers. Or the power operator. At least not in the first iteration.
>> With the show always being filmed in front of a live studio audience (any scenes filmed outside were played back in the studio) it meant the laughter heard is an authentic measure of the audience's reaction.
You can stop reading after this. Garbage in, garbage out.
reply