#ZiYor

一个 300 变量的非凸优化难题，被 ZiYor 这个自进化 AI 系统算出了可机器验证的精确最优证明，连对偶证书都齐了。