BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Challenger Mishra (Cambridge) DTSTART:20230712T090000Z DTEND:20230712T100000Z DTSTAMP:20260423T003259Z UID:CompAlg/21 DESCRIPTION:Title: Mathematical conjecture generation and Machine Intelligence\nby Chall enger Mishra (Cambridge) as part of Machine Learning Seminar\n\n\nAbstract \nConjectures hold a special status in mathematics. Good conjectures epito mise milestones in mathematical discovery\, and have historically inspired new mathematics and shaped progress in theoretical physics. Hilbert’s l ist of 23 problems and André Weil’s conjectures oversaw major developme nts in mathematics for decades. Crafting conjectures can often be understo od as a problem in pattern recognition\, for which Machine Learning (ML) i s tailor-made. In this talk\, I will propose a framework that allows a pri ncipled study of a space of mathematical conjectures. Using this framework and exploiting domain knowledge and machine learning\, we generate a numb er of conjectures in number theory and group theory. I will present eviden ce in support of some of the resulting conjectures and present a new theor em. I will lay out a vision for this endeavour\, and conclude by posing so me general questions about the pipeline.\n LOCATION:https://researchseminars.org/talk/CompAlg/21/ END:VEVENT END:VCALENDAR