中文 English Français Русский Español العربية

Formalizing Fermat's Last Theorem

jlebar Hacker News 2026-09-05 02:42 19 views

Article URL: https://www.anthropic.com/research/formalizing-fermats-last-theorem Comments URL: https://news.ycombinator.com/item?id=49568506 Points: 67 # Comments: 19

Read original: https://www.anthropic.com/research/formalizing-fermats-last-theorem

My Favorites →

← Previous Is this a certificate issue? Jellyfin works on browsers, but not apps. Next → Shutting down our public encrypted DNS

My coverage check did arithmetic instead of looking. All 23 pointers were wrong.

A table in one document points into another. Each of its 24 rows carries a source pointer saying where the thing it describes actually lives, so a reader can go and check. The coverage check for that table reported complete, always. Here is what it did: rows in the table 24 rows carrying

Industry 09-15 44 DEV Community

macOS 27 is available now

Apple released macOS 27 Golden Gate on Monday, which brings the new Siri AI assistant, Liquid Glass improvements, improved performance, and more. The update is compatible with all Macs with Apple Silicon, but not Intel Macs - Apple released its final big update for Intel-based Macs last year with ma

Industry 09-15 54 The Verge (Tech)

Apple releases iOS 27 with Siri AI overhaul

Apple is now rolling out its iOS 27 update to compatible devices today, alongside the watchOS 27, iPadOS 27, and visionOS 27 updates. Siri AI is the headline feature across all four updates, the delayed AI-powered overhaul of the Siri assistant. Siri AI is available as a beta today for English-only

Industry 09-15 32 The Verge (Tech)

The Steam Frame is made for irresponsible hardware nerds like me

For nearly three weeks, I've been testing the limits of Valve's Steam Frame, the company's new wearable PC. At first glance, it's easy to write it off as a pricey headset that missed the VR craze. At $1,059 with 256GB of storage or $1,299 for 1TB, it costs two to three times as much as […]

Industry 09-15 36 The Verge (Tech)

Comments0

No comments yet — be the first