OpenAI's Astra model claimed to solve 10 math problems for $2,000, but mathematicians accuse the company of inadequate attribution and research

Prior to the announcement, rumors were circulating online among mathematicians over the proof’s origins—OpenAI has denied all allegations

The company denies any ties to other research.

AI companies are making impressive mathematical strides. Human mathematicians are losing out.

The drama surrounding a historically difficult math problem actually matters to you. Read why.