Kryptovalutaticker:
crypto från Decrypt

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

Jose Antonio Lanz
13 hours ago
9 Visningar
0 Kommentarer
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required

Läs hela artikeln hos källan.

Läs originalartikeln

Delta i diskussionen — kommentera, rösta och dela länkar.

Registrera
Var detta hjälpsamt?
Dela:

Kommentarer (0)

Vänligen logga in eller registrera dig för att delta i diskussionen

Inga kommentarer ännu. Bli först med att kommentera!

Relaterade nyheter

Why crypto experts say buying and holding bitcoin easily beats trying to time the market
Why crypto experts say buying and holding bitcoin easily beats trying to time the market
8 hours ago
Ancient Bitcoin Wallet That Turned $120 Into $3 Million Wakes Up
Ancient Bitcoin Wallet That Turned $120 Into $3 Million Wakes Up
9 hours ago
Dollar-backed stablecoins can push local currencies lower, Bank of Korea study finds
Dollar-backed stablecoins can push local currencies lower, Bank of Korea study finds
10 hours ago
Update Your Browser: Google Patches Chrome Flaw Hackers Were Already Using
Update Your Browser: Google Patches Chrome Flaw Hackers Were Already Using
11 hours ago
British investor thought he lost $2,000 in bitcoin in 2012. He just recovered $4.5 million
British investor thought he lost $2,000 in bitcoin in 2012. He just recovered $4.5 million
14 hours ago

Bläddra efter kategori

blog crypto news privacy startup sysadmin technology