Link alla notizia: https://www.hwupgrade.it/news/web/deepseek-presenta-un-ia-matematica-capace-di-verificare-autonomamente-i-propri-teoremi_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.

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

Incredibile. Per il genere umano è finita

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' 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

E Godel muto...

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 ?

e i cinesi scusa da dove hanno copiato ?questo particolare te lo sei perso? il tuo discorso perde di significato con questo piccolo dettaglioIncredibile il livello culturale di certi utenti :D
Per loro la Cina copia e basta :D

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 :Prrr: :Prrr: :Prrr: :Prrr: :Prrr: :Prrr: :Prrr: :Prrr:

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

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 :Prrr: :Prrr: :Prrr: :Prrr: :Prrr: :Prrr: :Prrr: :Prrr:

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

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.

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

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

:D

Incredibile. Per il genere umano è finita

Ah si

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.

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).

Oppure...potremmo competere :)

Non puoi competere con una dittatura.