bluesky — Christoph Montag — 13 Sep 2026
It might have solved the equation just a step earlier, because it had much much MUCH more input to work with. And some o…
#ai-mathematics #automated-theorem-proving
It might have solved the equation just a step earlier, because it had much much MUCH more input to work with. And some of this input was from the math scientists working on the same proof. But it hasn't solved the equation completely on its onw.