Mysterious AI system, "Odin," is credited with discovering a proof of the Komlós conjecture

Article automatically generated from technical news.

submitted by /u/badumtsssst to r/singularity [link] [comments]