CP-SAT

An autonomous AI research agent has reported a systematic attack on Conway's 99-graph problem, proving that no circulant graph on Z/99 satisfies more than 68.0% of the constraints (33 of 49 difference…

Researchers introduced KnowPlan, a two-stage AI system that reconstructs university curricula from heterogeneous sources and then optimizes degree pathways, achieving 96.2% inventory recall and 88.7% …