Formalizing Fermat's Last Theorem 408 by jlebar | 263 comments on Hacker News. https://ift.tt/kvanOVG...
Ask HN: Why were OpenAI, Claude, and Grok simultaneously down? 390 by halcdev | 670 comments on Hacker News. https://ift.tt/W4owqCm https://ift.tt/YglcTjd https://status.x.ai ChatGPT outage – Resolved - https://ift.tt/j5FblOS (315 comments) Claude outage – Resolved - https://ift.tt/9NAeatu (146 comments) Grok outage - https://ift.tt/lEwOVv2 (142 comments)