Automated Theorem Proving - Mel Nathanson
How Harmonic's " Mathematical Superintelligence" System Aristotle Solved Some of My Problems from Mel Nathanson on Research Seminars (04/30/2026): https://researchseminars.org/seminar/New_York_Number_Theory_Seminar : Several open problems from my paper "Problems and results on intersections of product sets and sumsets in semigroups" (arXiv:2604.04781) were recently solved by Aristotle, a formal reasoning agent developed by Harmonic. The solutions were published on April 20, 2026, in the paper ``Global product intersections sets in semigroups" by Wouter Van Doorn, Pietro Monticone, and Quanyu Tang (arxiv:2604:18869). This talk will describe product intersection sets, the open problems solved by Aristotle, what parts of the solution were in the original paper, and what exactly was the new idea that Aristotle invented to solve the problems. Discussion on the Solutions for "Problems and Results on Intersections of Product Sets and Sumsets in Semigroups...