Pffff... on Nostr: Thanks to its AI Copilot, Microsoft turned the undecidable halting problem into a ...

Thanks to its AI Copilot, Microsoft turned the undecidable halting problem into a decidable problem. “This is really a major scientific breakthrough, not only we solve a major century old problem, but Copilot's solution is both elegant and simple: now with Copilot, any program is guaranteed to halt.”