DeepSeek presenta un'IA matematica capace di verificare autonomamente i propri teoremi

[Redazione di Hardware Upg]

Link alla notizia: https://www.hwupgrade.it/news/web/de...mi_146897.html

DeepSeek ha presentato DeepSeekMath-V2, modello IA per dimostrazioni matematiche con ciclo generazione-verifica e ragionamento passo-passo. Basato su DeepSeek-V3.2-Exp-Base, ha ottenuto risultati eccellenti in competizioni internazionali ed è disponibile su HuggingFace e GitHub

Click sul link per visualizzare la notizia.

[mozzarello]

E' marzulliana quindi, si fa la domanda e si dà la risposta.

[Fantapollo]

Incredibile. Per il genere umano è finita

[Vul]

E' un modello davvero ma davvero impressionante. Usa Coq e altri theorem provers a livelli che noi umani fatichiamo a seguire..

Gli Stati Uniti pensavano di fregare i cinesi togliendogli risorse, invece ne hanno solo stimolato l'ingegno e la creativita' forzandoli a pensare out-of-the-box, e sia alibaba che deepseek hanno tirato fuori soluzioni, tutte open source, tutte poi copiate dalle controparti occidentali.

[coschizza]

Originariamente inviato da Vul

E' un modello davvero ma davvero impressionante. Usa Coq e altri theorem provers a livelli che noi umani fatichiamo a seguire..

Gli Stati Uniti pensavano di fregare i cinesi togliendogli risorse, invece ne hanno solo stimolato l'ingegno e la creativita' forzandoli a pensare out-of-the-box, e sia alibaba che deepseek hanno tirato fuori soluzioni, tutte open source, tutte poi copiate dalle controparti occidentali.

e i cinesi scusa da dove hanno copiato ?questo particolare te lo sei perso? il tuo discorso perde di significato con questo piccolo dettaglio

[jepessen]

E Godel muto...

[gparlav]

Originariamente inviato da coschizza

e i cinesi scusa da dove hanno copiato ?questo particolare te lo sei perso? il tuo discorso perde di significato con questo piccolo dettaglio

Oppure forse i cinesi hanno creato e non copiato. Sei ancora ancorato al vecchio credo che i cinesi sappiano solo copiare ?

[NeroCupo]

Originariamente inviato da coschizza

e i cinesi scusa da dove hanno copiato ?questo particolare te lo sei perso? il tuo discorso perde di significato con questo piccolo dettaglio

Incredibile il livello culturale di certi utenti
Per loro la Cina copia e basta

Nel 2025, la classifica dei brevetti internazionali è dominata dall'Asia, con la Cina in testa, seguita dal Giappone, e le aziende cinesi che occupano sette delle prime dieci posizioni della classifica globale

[mozzarello]

Originariamente inviato da NeroCupo

Incredibile il livello culturale di certi utenti
Per loro la Cina copia e basta

Nel 2025, la classifica dei brevetti internazionali è dominata dall'Asia, con la Cina in testa, seguita dal Giappone, e le aziende cinesi che occupano sette delle prime dieci posizioni della classifica globale

E' uno dei motivi per cui ritengo non ci sia futuro, la Cina è un paese estremamente pericoloso, quando potranno, ci staccheranno la spina.

[supertigrotto]

Ho come il sospetto che tira alla lunga,tira ad indovinare finché trova la sequenza giusta,tipo giochino dei bambini quello con la scatola con la forma del triangolo,del quadrato,del cerchio etc,la IA fa molte prove finché non trova la forma giusta, mentre il cervello umano lo risolve in maniera differente,anche con l'intuito e non solo logica.

[baolian]

Originariamente inviato da supertigrotto

il cervello umano lo risolve in maniera differente,anche con l'intuito.

https://www.youtube.com/watch?v=WGQ7JZRZ65M

[aqua84]

Originariamente inviato da Fantapollo

Incredibile. Per il genere umano è finita

Ah si

[Vul]

Originariamente inviato da coschizza

e i cinesi scusa da dove hanno copiato ?questo particolare te lo sei perso? il tuo discorso perde di significato con questo piccolo dettaglio

I cinesi di Deepseek e Alibaba sono gli unici che pubblicano papers open source con i dettagli dei loro esperimenti.

E' evidente che non segui l'evoluzione degli LLM e non comprenda le tante innovazioni portate da laboratori come DeepSeek, v1 e' stata una pietra migliare, essendo stato il primo LLM ad elevata efficienza che usava Mixture of Experts design, nei quali solo una piccola frazione dei parametri dei token veniva attivata. In soldoni: tiravano fuori i risultati degli LLM piu' avanzati usando un cinquantesimo delle risorse.

Da allora quell'approccio nel training lo hanno copiato tutti. Routing via MoE => RL sul ragionamento => coerenza anche su contesti molto lunghi.

Vedi, e' proprio questo il problema di noi in occidente, e in Europa in particolare. Continuiamo a vivere nella bolla dove i loro ingegneri e scienziati dovrebbero essere per qualche motivo meno capaci, ambiziosi o laboriosi o copioni, non e' cosi, ovviamente. E la Cina oggi e' un decennio avanti a noi in tantissimi campi.

Originariamente inviato da mozzarello

E' uno dei motivi per cui ritengo non ci sia futuro, la Cina è un paese estremamente pericoloso, quando potranno, ci staccheranno la spina.

Oppure...potremmo competere

L'unica cosa che mi fa storcere della Cina sono le loro tante ovvie violazioni di brevetti e spionaggio industriale. Sia chiaro, lo facciamo pure noi, ma non a quei livelli.

Non credo affatto la cosa si applichi all'AI/ML, ma gia' nel campo dei semi conduttori o biomedico si. E non sempre avviene in maniera illecita, a volte semplicemente aprono il portafoglio e si comprano meta' dei ricercatori coreani o a taiwan (come fece SMIC con le orde di persone prese da TMC).

[mozzarello]

Originariamente inviato da Vul

Oppure...potremmo competere

Non puoi competere con una dittatura.