New best story on Hacker News: Formalizing Fermat's Last Theorem

Formalizing Fermat's Last Theorem
426 by jlebar | 275 comments on Hacker News.
https://ift.tt/6bWPz07...

New best story on Hacker News: Formalizing Fermat's Last Theorem

Formalizing Fermat's Last Theorem
408 by jlebar | 263 comments on Hacker News.
https://ift.tt/6bWPz07...

New best story on Hacker News: Ask HN: Why were OpenAI, Claude, and Grok simultaneously down?

Ask HN: Why were OpenAI, Claude, and Grok simultaneously down?
390 by halcdev | 670 comments on Hacker News.
https://ift.tt/GQWBTy0 https://ift.tt/8VyOCR2 https://status.x.ai ChatGPT outage – Resolved - https://ift.tt/dq019PS (315 comments) Claude outage – Resolved - https://ift.tt/RSiLxIr (146 comments) Grok outage - https://ift.tt/j98Z6tl (142 comments)

New best story on Hacker News: Ask HN: Why were OpenAI, Claude, and Grok simultaneously down?

Ask HN: Why were OpenAI, Claude, and Grok simultaneously down?
389 by halcdev | 669 comments on Hacker News.
https://ift.tt/GQWBTy0 https://ift.tt/8VyOCR2 https://status.x.ai ChatGPT outage – Resolved - https://ift.tt/dq019PS (315 comments) Claude outage – Resolved - https://ift.tt/RSiLxIr (146 comments) Grok outage - https://ift.tt/j98Z6tl (142 comments)

New best story on Hacker News: GPT-6 Astra

GPT-6 Astra
771 by kibae | 496 comments on Hacker News.
System Card: https://ift.tt/G7UMZDy Related ongoing threads: OpenAI's GPT-6 Astra on ARC-AGI-3 - https://ift.tt/Kn9Bid2 GPT-6 Astra makes major gains in the Artificial Analysis Coding Agent Index - https://ift.tt/nkp2yDr

New best story on Hacker News: GPT-6 Astra

GPT-6 Astra
633 by kibae | 365 comments on Hacker News.
System Card: https://ift.tt/G7UMZDy Related ongoing threads: OpenAI's GPT-6 Astra on ARC-AGI-3 - https://ift.tt/Kn9Bid2 GPT-6 Astra makes major gains in the Artificial Analysis Coding Agent Index - https://ift.tt/nkp2yDr

New best story on Hacker News: Google avoids a breakup of its ad tech business

Google avoids a breakup of its ad tech business
464 by donohoe | 336 comments on Hacker News.
https://ift.tt/6A0d9Dx https://ift.tt/Jx8nHGu...