Machine Heart

Jul 28, 2026 · Artificial Intelligence

Can GPT‑5.6 Sol Crack Fermat’s Last Theorem After 33 Hours of Continuous Running?

A researcher let GPT‑5.6 Sol run for about 33 hours trying to find a simpler proof of Fermat’s Last Theorem, but OpenAI’s system halted the session, prompting analysis of the model’s self‑diagnosis, safety mechanisms, possible bugs, and the broader implications of restricting powerful AI for high‑stakes mathematics.