If you've been following the OpenAI Astra rumors about unsolved math problems, you've probably noticed the same thing I did. Nobody can actually source any of this. Search interest spiked hard recently. People want to know if OpenAI built something that cracked open problems in mathematics.