OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI said one of its models helped disprove a long-standing discrete geometry conjecture.
The result is a concrete example of AI being used for mathematical discovery rather than only text generation.
This record is extracted from a published AI Today issue and tied to the original source URL. Treat the source as the record of evidence for the summary.