OpenAI reveals Astra, an AI model that solved ten math problems mathematicians struggled with for decades

OpenAI has officially confirmed the existence of a new AI model family, Astra, which has solved ten open problems in mathematics and theoretical computer science that researchers had been working on for at least ten years. The results, including the first example of a non-sofic group, were formalized in the Lean proof checker, and OpenAI plans to continue experimenting with the model on other hard problems.

OpenAI

Mashable: X's Grok AI can now 'understand' images

According to a Mashable article, X's Grok AI has gained the ability to understand images. The capabilities are part of an update to the Grok model, developed by xAI. This new feature allows Grok to process visual information.

xAI