Can AI do Maths Research? Some case studies.

GDG AI for Science - Australia

How good are state-of-the art LLMs such as Gemini Deep Think at logic? That is a central question for the development of...

Oct 16, 1:00 – 2:00 AM (UTC)

57 RSVP'd

RSVP

Key Themes

AIGemini

About this event

How good are state-of-the art LLMs such as Gemini Deep Think at logic? That is a central question for the development of AI. How good are they at finding new connections between a priori distinct mathematical structures? It might take your breath away. I will discuss some down to earth examples related to current maths research where Deep Think delivered an impressive performance. I will also discuss current limitations.

Speaker

  • Michel van Garrel

    University of Birmingham

    Assistant Professor in Mathematics and Statistics

Organizers

  • Mauricio Marrone

    Macquarie University

    Macquarie University

  • David Kainer

    The University of Queensland

    University of Queensland

  • Nathaniel Butterworth

    Google

    Science Catalyst Program Manager

  • Kunal Ostwal

    University of Sydney

    University of Sydney

  • Pablo Rozas Larraondo

    Haizea Analytics

    Managing Director

Contact Us