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:
Scott Reed at DeepMind – Working on neural proof generation and inference by combining deep learning and symbolic logic. Luke Hewitt at DeepMind – Developing graph neural networks and reinforcement learning for mathematical and logical reasoning. Ale…