Four days after I published a piece arguing LLMs can't make the jump, OpenAI announced that an...

OpenAI's upcoming AI model named Astra just achieved what human mathematics researchers couldn't pull off in decades.

OpenAI's Astra solves 10 long-open math problems and publishes the proofs - SiliconANGLE