Append-only. Entries are never edited — only their status moves. Showing 1 of 347 entries.
OpenAI's general-purpose AI model solved the unit distance problem (Erdos conjecture), a major open math problem — marking AI adoption as research peer in academia.