1 paper · 1 filter
Paata Ivanisvili, Xinyuan Xie
We asked GPT-5 Pro to look for counterexamples among a public list of open problems (the Simons ``Real Analysis in Computer Science'' collection). After several numerical experimen…