Skip to content

Emerging Intersections

  • AI for climate: weather forecasting (GraphCast, Pangu-Weather, GenCast), carbon footprint of AI, energy grid optimisation
  • AI for materials science: crystal structure prediction, property screening, generative materials design
  • AI for mathematics: automated theorem proving (Lean, Isabelle), conjecture generation, symbolic regression
  • AI for code: code generation (Codex, StarCoder), program synthesis, formal verification, code review agents
  • AI for education: intelligent tutoring systems, personalised learning, automated grading
  • AI for law: contract analysis, legal document retrieval, case outcome prediction
  • AI safety and alignment: RLHF, constitutional AI, interpretability (mechanistic, probing), deceptive alignment
  • Societal impact: labour markets, intellectual property, deepfakes, governance frameworks