May 20, 2026 News
OpenAI's Reasoning Model Disproves 80-Year-Old Erdős Conjecture in Geometry
May 20, 2026 20:28
OpenAI claims its new general-purpose reasoning model has autonomously produced an original mathematical proof disproving a famous unsolved conjecture in geometry first posed by Paul Erdős in 1946. This follows a previou...
IrisGo Develops Proactive AI Desktop Agent with Andrew Ng Backing
May 20, 2026 19:47
IrisGo, backed by Andrew Ng's AI Fund with $2.8 million in seed funding, is developing a desktop AI companion that learns user workflows and automates them proactively. The system, founded by former Apple Siri engineer J...
OpenAI Plans September IPO Following Dismissal of Musk Lawsuit
May 20, 2026 17:24
OpenAI is reportedly preparing for an initial public offering as early as September 2026, working with Goldman Sachs and Morgan Stanley on the process. The move comes immediately after a lawsuit from co-founder Elon Musk...