Skip to main content
King Abdullah University of Science and Technology
Computer Science
CS
Computer Science
  • Study
    • Prospective Students
    • Current Students
  • Research
    • Research Areas
    • Research Groups
  • People
    • All People
    • Faculty
    • Affiliate Faculty
    • Instructional Faculty
    • Research Scientists
    • Research Staff
    • Postdoctoral Fellows
    • Administrative Staff
    • Alumni
    • Students
  • News
  • Events
  • About
  • CEMSE Division
  • Apply

Structures

How Machines Explore, Conjecture, and Discover Mathematics

Sebastian Pokutta, Vice President, Zuse Institute Berlin (ZIB); Professor, Technische Universität Berlin (TU Berlin)

Apr 9, 12:00 - 13:00

B9 R2325

machine learning artificial intelligence AI optimization Structures

In this talk, we illustrate mathematical research developing methodologies that combine optimization, machine learning, and mathematical structure to navigate large, complex, and highly constrained search spaces with a focus on the Hadwiger–Nelson problem: a long-standing open problem in discrete geometry and extremal combinatorics concerning colorings of the plane without monochromatic unit-distance pairs.

Computer Science (CS)

Footer

  • A-Z Directory
    • All Content
    • Browse Related Sites
  • Site Management
    • Log in

© 2025 King Abdullah University of Science and Technology. All rights reserved. Privacy Notice