Mathematician Matt Zaremsky reported that four years of incremental research by his team on the Boone-Higman conjecture was rendered obsolete by OpenAI's October 6, 2026 release.