User Claims AI Assistant Solves Major Open Problem in Group Theory

A developer recently claimed that an AI assistant named Sol successfully solved a major open problem in group theory, and is now learning the subject to verify the AI-generated proof.

2026-08-13 ~ 2026-08-13 · 2 related posts