Martin Leitgab — AI Alignment Forum