points
edit: my comment was on the submission for https://github.com/openai/PrimeGaps186 but seems to have been moved to the main Astra submission
Why would you think it was an employee who did the push, instead of a random GPT agent?