maybe a reference to the math's researcher who was using openai tooling, and then they released a new discovery very similar to his research?