Counterexample-driven autonomous research with application to excess radiated energy in a Z-pinch

arXiv:2611.03721v1 Announce Type: new Abstract: Recent breakthroughs in artificial-intelligence-assisted mathematics show that open-ended machine search can outperform human mathematicians, yet transferring this...