Addio intuizioni, benvenuti compilatori: Claude ha dimostrato l'Ultimo Teorema di Fermat

Addio intuizioni, benvenuti compilatori: Claude ha dimostrato l’Ultimo Teorema di Fermat

Un modello linguistico di Anthropic è riuscito a formalizzare in Lean uno dei problemi più celebri della storia. La matematica sta per cambiare faccia, e non sarà solo questione di calcoli, ma di verifica automatica.

Scopri di più Addio intuizioni, benvenuti compilatori: Claude ha dimostrato l’Ultimo Teorema di Fermat
L'inchiostro invisibile di Anthropic: Quando l'AI decide di lasciarti la firma (anche se non l'hai chiesto)

L’inchiostro invisibile di Anthropic: Quando l’AI decide di lasciarti la firma (anche se non l’hai chiesto)

Anthropic ha deciso di implementare un sistema di watermarking globale per conformarsi alle norme UE. Un’iniziativa che solleva dubbi enormi sulla trasparenza e sulla manipolazione dei testi che usiamo ogni giorno.

Scopri di più L’inchiostro invisibile di Anthropic: Quando l’AI decide di lasciarti la firma (anche se non l’hai chiesto)
Claude ci dà le chiavi della prigione (o quasi): arrivano i System Prompts

Claude ci dà le chiavi della prigione (o quasi): arrivano i System Prompts

Anthropic ha finalmente sbloccato i System Prompts per Claude, permettendo un controllo più granulare sul comportamento del modello. È un passo avanti per il controllo del prompt, ma restiamo comunque dentro il giardino recintato di Anthropic.

Scopri di più Claude ci dà le chiavi della prigione (o quasi): arrivano i System Prompts
Claude Code: Come non bruciare token (e il tuo portafoglio) come un incendio in una foresta di script

Claude Code: Come non bruciare token (e il tuo portafoglio) come un incendio in una foresta di script

Anthropic ha rilasciato una guida per ottimizzare le sessioni di Claude Code. Ecco come sopravvivere all’era dell’AI senza finire in bancarotta prima del prossimo commit.

Scopri di più Claude Code: Come non bruciare token (e il tuo portafoglio) come un incendio in una foresta di script
Guerra dei prezzi tra i Big: l'intelligenza artificiale sta finalmente diventando economica?

Guerra dei prezzi tra i Big: l’intelligenza artificiale sta finalmente diventando economica?

OpenAI e Anthropic hanno iniziato una vera e propria guerra al ribasso sui prezzi dei loro modelli. Mentre i colossi americani tagliano i costi, i competitor cinesi iniziano a farsi sentire pesantemente sul mercato globale.

Scopri di più Guerra dei prezzi tra i Big: l’intelligenza artificiale sta finalmente diventando economica?