May 21, 2026 tech news: AI Solves 80-Year-Old Geometry Mystery; GitHub Internal Breach via VS Code Extension; The AI Economic Bubble Warning; China Bans Nvidia's Latest China-Specific Chip; GitHub Actions Cache Poisoning Epidemic; Texas Official Proposes Total Tech Ban; Anna's Archive Hit With $19.5M Judgment.
AI Solves 80-Year-Old Geometry Mystery An OpenAI model has disproved the planar unit distance problem, a central conjecture in discrete geometry posed by Paul Erdős in 1946. Unlike previous AI efforts, this was achieved by a general-purpose reasoning model rather than a specialized math system, demonstrating a level of original ingenuity and complex reasoning that allows AI to move beyond a helper role to a primary researcher in frontier mathematics. ...