Showing math.PRShow all
2 papers · 1 filter
math.PR2026
Grokability in five inequalities
Paata Ivanisvili, Xinyuan Xie
In this note, we report five mathematical discoveries made in collaboration with Grok, all of which have been subsequently verified by the authors. These include an improved lower…
math.PR2025
Counterexample to majority optimality in NICD with erasures
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…