Topics

• AI for science
• AI models
• Agent systems
• Coding theory
• Complexity theory
• Compute & efficiency
• Convex geometry
• Data & governance
• Discrete geometry
• Evaluation & safety
• Extremal combinatorics
• Extremal graph theory
• Formal verification
• Group theory
• Harmonic analysis
• Interpretability
• Lattice algorithms
• Mathematical reasoning
• Multimodal AI
• Number theory
• Operator algebras
• Partial differential equations
• Quantum complexity
• Robotics & embodiment