AMATEUR SOLVES 60-YEAR ERDŐS PROBLEM WITH AI
■ AI-SUMMARIZED FROM 1 SOURCE ▸ TIMELINE
An amateur mathematician solved a decades-old Erdős problem using a single GPT-5.4 Pro prompt, employing a method no human had previously discovered. Terence Tao confirmed it as a legitimate achievement, though its broader impact remains uncertain.
■ MORE FROM THE AI DESK
Singapore's Sea Ltd. has established a dedicated team to identify and pursue AI investments, signaling a strategic pivot beyond its e-commerce core business. The move reflects the company's search for new growth opportunities in artificial intelligence.
Tech executives are laying off workers based on AI capabilities they may not fully grasp, according to Box founder Aaron Levie. The trend has accelerated dramatically, with 2026 layoffs already approaching 2025's total.
AI startup Shift is offering free home cleaning services in New York and plans to expand to London, but the deal requires homeowners to let the company film cleaners performing household chores.
Bank of England Governor Andrew Bailey revealed that British banks remain unable to access Anthropic's Mythos AI tool. Bailey called for coordinated international efforts to address cybersecurity challenges.