NewsForest

Formalizing Fermat's Last Theorem 422 by jlebar | 273 comments on Hacker News. https://ift.tt/kym4QOM...

Ask HN: Why were OpenAI, Claude, and Grok simultaneously down? 389 by halcdev | 669 comments on Hacker News. https://ift.tt/bjXJ8in https://ift.tt/5sthjrT https://status.x.ai ChatGPT outage – Resolved - https://ift.tt/8XKq1Gc (315 comments) Claude outage – Resolved - https://ift.tt/V87mp69 (146 comments) Grok outage - https://ift.tt/JDaSpRG (142 comments)

FBI Probes Service Selling 153M+ Drivers Licenses 411 by tatersolid | 274 comments on Hacker News.

GPT-6 Astra 560 by kibae | 315 comments on Hacker News. System Card: https://ift.tt/bt9FdC5 Related ongoing threads: OpenAI's GPT-6 Astra on ARC-AGI-3 - https://ift.tt/RN0mcVl GPT-6 Astra makes major gains in the Artificial Analysis Coding Agent Index - https://ift.tt/rv5sCBP

.name Termination 722 by pavel_lishin | 180 comments on Hacker News.

Muse Spark 1.3 480 by bvaldivielso | 315 comments on Hacker News. https://ift.tt/GDuXHSP