University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Searching in language space to find constructions in mathematics

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Searching in language space to find constructions in mathematics

Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

OOEW11 - AI for Maths and Open Science

In mathematics, the focus is often on finding interesting constructions for various mathematical problems. I will discuss how tools that “search in language space” can significantly reduce the amount of effort mathematicians need to invest to test their ideas and find good constructions for various problems. We will briefly look at different ways we can think about this search, look at a few examples, and figure out which of these setups is right for the problems you care about. 

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Department of Biochemistry, Sanger Building, Perham Seminar Room GR-05 English Faculty Old Divinity School, Main lecture theatre

Other talks

Animating urbanism: the demotic multiplicities of seeing cities digitally Title to be confirmed Afternoon Break Discussion II continued Filial Lines: Art Spiegelman, Alison Bechdel, and Comics Form Reachability Types, Traces, and Full Abstraction
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity