much stronger logic and reasoning algorithms will be the next major leap in generative ai. how 10 ai engineers are working on this game-changing advance:

1. Scott Reed at DeepMind - Working on neural proof generation and inference by combining deep learning and symbolic logic.

2. Luke Hewitt at DeepMind - Developing graph neural networks and reinforcement learning for mathematical and logical reasoning.

3. Alex Graves at DeepMind - Pioneering new recurrent neural networks like the Differentiable Neural Computer for complex logical inference and reasoning problems.

4. Brenden Lake at NYU - Leading work on integrating neural learning and structured Bayesian models to achieve human-like …

advance ai engineers algorithms artificial deep learning deepmind engineers game generative graph graph neural networks inference logic major networks neural networks next reasoning reinforcement reinforcement learning scott will