Do it! Like it! Frenf it!

Evaluate World Peace

avatar Giochi matematici e cazzeggio scientifico. Codice gruppo frenfi calenpiario m92nb7ewvo
rss

avatar
.mau. to dewdney-ita
ruly Subquadratic 3SUM and Truly Subcubic APSP via Triangles in Sparse Lopsided Graphs - https://arxiv.org/abs/261... . Al momento è assolutamente inutile all'atto pratico, ma per quanto mi riguarda è un risultato DAVVERO nuovo e non rimasticato recuperando roba in giro.
2 days ago - Comment - Hide - - - (Edit | Remove) - More...
al volo: 3SUM, come spiega https://en.wikipedia.org/... , chiede la complessità computazionale di scoprire se dato un insieme di n elementi ce ne sono tre la cui somma è 0. È abbastanza facile trovare un algoritmo che richiede O(n^2) operazioni per verificarlo; nel 2014 si è trovato un algoritmo che richiede qualcosina in meno, ma molto poco; insomma richiede più di O(n^(2-epsilon)) operazioni per ogni epsilon maggiore di zero. Ora Anthropic ha trovato (pare per caso mentre gli facevano cercare altro) un algoritmo che arriva a O(n^1,998) operazioni. Non solo nessuno se lo aspettava, ma il procedimento, anche se in un certo senso di tipo classico (siamo sempre sul divide et impera) pare essere nuovo, nel senso che si accorge che non servono fare certi conti ed è per questo che si scende sotto il limite. Credo che sia il primo vero NUOVO risultato di un'IA. - .mau. - - (Edit | Remove)
(ovviamente non serve a nulla abbassare così il limite, ma da un punto di vista teorico è un terremoto) - .mau. - - (Edit | Remove)
Comment

avatar
.mau. to dewdney-ita
Il vero problema matematico che le IA dovrebbero risolvere: https://xmau.com/notiziol...
3 weeks ago - Comment - Hide - - - (Edit | Remove) - More...
sì vabbè - zar - - (Edit | Remove)
a me basterebbe che calcolassero per bene i consumi presunti della casa al mare - Mario Pietrinho - - (Edit | Remove)
Comment

avatar
.mau. to dewdney-ita
le mie slide per la conferenza di sabato 5 settembre sull'infinito: https://docs.google.com/p...
1 month ago - Comment - Hide - - - (Edit | Remove) - More...
sempre al circolo filologico milanese, dietro la Scala - .mau. - - (Edit | Remove)
19 other comments... | Show last 10...
peperono perché c'è il video (che non ho visto): https://www.youtube.com/w... - .mau. - - (Edit | Remove)
Comment

avatar
zar to dewdney-ita
E dopo due settimane eccone un altro: https://saweis.net/posts/...
3 weeks ago from iPhone - Comment - Hide - - - (Edit | Remove) - More...

avatar
mfdela to dewdney-ita
Uno degli usi piu' interessanti dell'AI in matematica imho. Claude ha formalizzato in Lean la dimostrazione dell'ultimo teorema di Fermat. 11 giorni, 13 milioni di righe di codice https://www.anthropic.com...
1 month ago - Comment - Hide - - - (Edit | Remove) - More...

avatar
zar to zar's feed, dewdney-ita
Hanno appena fattorizzato RSA-260. https://en.wikipedia.org/...
1 month ago from iPhone - Comment - Hide - - - (Edit | Remove) - More...
Si sa quanto ci hanno impiegato? - ilcomizietto - - (Edit | Remove)
4 other comments...
Ecco il report: https://cognition.com/blo... - zar from iPhone - - (Edit | Remove)
Comment

avatar
zar to zar's feed, dewdney-ita
OpenAI dice di aver risolto uno dei problemi del millennio: https://openai.com/index/...
1 month ago - Comment - Hide - - - (Edit | Remove) - More...
bisognerà chiedergli di trovare altri problemi del millennio per farglieli risolvere altrimenti sti poveri llm si annoieranno - Von - - (Edit | Remove)
16 other comments... | Show last 10...
Via il blog di .mau. : https://maddmaths.simai.e... - ilcomizietto - - (Edit | Remove)
Comment

avatar
Fabs to dewdney-ita, La Stanzetta dei Bottoni, Fabs's feed
.
1 month ago - Comment - Hide - - - (Edit | Remove) - More...
"il continente e' isolato" - psicocaccola - - (Edit | Remove)

avatar
.mau. to dewdney-ita, Quelli di Milano
ecco qui la locandina per sabato prossimo. Via Clerici 10, ore 15
1 month ago - Comment - Hide - - - (Edit | Remove) - More...
https://youtu.be/DVKbxXA2... Alessandro Baricco sull'infinito. - Yery - - (Edit | Remove)

avatar
ilcomizietto to dewdney-ita, ilcomizietto's feed, AI - Apparentemente Intelligente?
L'IA fa anche cose buone: https://www.ilfoglio.it/s... - Rimase sempre quel piccolo problema dei ricchi e dei poveri, dell'accesso alle risorse.
2 months ago - Comment - Hide - - - (Edit | Remove) - More...
Il problema del denominatore è il capitolo 2 del mio libro (ma quello del costo di Astra starà nel capitolo 7) - .mau. from Android - - (Edit | Remove)

avatar
.mau. to dewdney-ita
https://xkcd.com/3282/
2 months ago - Comment - Hide - - - (Edit | Remove) - More...
questa non so quanti la capiscano - momobo - - (Edit | Remove)
5 other comments...
E anche no - corax from Android - - (Edit | Remove)
Comment

avatar
.mau. to .mau.'s feed, dewdney-ita
un esempio dal libro che sto scrivendo: https://x.com/RiccardoTre... . Come Riccardo Trezzi (che non so chi sia, se non che è un economista) cerca di convincere la gente che con ELLA i salari sono migliorati. Vi rendete conto che Boldrin (!) gli ha fatto notare "grazie al cazzo, nel 2021-22 c'è stata l'inflazione e si sono dovuti aspetttare i rinnovi CCNL per recuperare qualcosa? https://x.com/michelebold...
2 months ago - Comment - Hide - - - (Edit | Remove) - More...
sono queste le cose che mi fanno incazzare e che mi hanno appunto spinto a scrivere un libro al riguardo. Dati formalmente corretti ma che nascondono apposta quello che c'è davvero dietro. - .mau. - - (Edit | Remove)
12 other comments... | Show last 10...
(e soprattutto la gang di pagliacci del Bruno Leoni) - momobo - - (Edit | Remove)
Comment

avatar
zar to dewdney-ita
Non sono convinto del fatto che, se nelle costruzioni con riga e compasso, il compasso potesse rimanere aperto tra una circonferenza e l'altra, allora si potrebbero fare costruzioni "di terzo grado". Prove me wrong.
2 months ago - Comment - Hide - - - (Edit | Remove) - More...
Gemini mi dà ragione, ma con troppa condiscendenza. - zar - - (Edit | Remove)
6 other comments...
mi pare di capire che la costruzione di grado superiore al secondo (neusi o neusis) preveda che tu ruoti intorno a un perno per fare finire il terzo punto dove deve finire. Col compasso rigido si può fare perché finisce lì. - zar - - (Edit | Remove)
Comment

avatar
.mau. to dewdney-ita
Finalmente sto scrivendo davvero il libro su matematica e propaganda. Allora, chi ha voglia di fare da lettore alfa mi scriva a dotmaudot sul gmail e mi dica se la sua email può essere lasciata in Cc o essere in Bcc quando segnalerò aggiornamenti sui capitoli.
2 months ago - Comment - Hide - - - (Edit | Remove) - More...
li lascerò su un google docs commentabile, e dai lettori alfa mi aspetto appunto commenti per migliorare. Non serve sapere di matematica, anzi; però serve appunto avere voglia di leggere e commentare - .mau. - - (Edit | Remove)

avatar
Fabs to dewdney-ita, Lega Nerd, Fabs's feed, Questioni di scienza
https://www.nature.com/ar...
3 months ago - Comment - Hide - - - (Edit | Remove) - More...

avatar
.mau. to dewdney-ita
Il mio post di lunedì prossimo sul diario di un matematico non praticante: https://docs.google.com/d...
3 months ago - Comment - Hide - - - (Edit | Remove) - More...
Io penso che rigore tecnico (=dimostrazioni) e socialità (discussioni di varie vie, confronto), in matematica, ma in qualsiasi altra arte o studio avanzato, siano indissolubili. Solo un aspetto dei due non ci porterà molto lontano. Non a caso, anche con le IA, i risultati migliori si hanno quando ci sono iterazioni continue verso il risultato. Le iterazioni con gli umani penso che non siano opzionali per la salute dell'arte e della scienza. - ilcomizietto - - (Edit | Remove)
E' quello che teme il primo tipo infatti - .mau. from Android - - (Edit | Remove)
Comment

avatar
.mau. to dewdney-ita
dopo solo dodici anni, ho trovato un nuovo refuso in Matematica in pausa caffè: https://xmau.com/libri/20...
3 months ago - Comment - Hide - - - (Edit | Remove) - More...
la cosa buffa è che l'ho trovato io, non me l'hanno segnalato - .mau. - - (Edit | Remove)
Come ti capisco! - ilcomizietto - - (Edit | Remove)
Comment

avatar
.mau. to dewdney-ita
il mio post di lunedì su Maddmaths, che parla del nuovo risultato IA sull controesempio a una congettura di Erdős: https://docs.google.com/d...
4 months ago - Comment - Hide - - - (Edit | Remove) - More...
Grazie - ilcomizietto - - (Edit | Remove)
prego! - .mau. - - (Edit | Remove)
Comment

avatar
zar to dewdney-ita
fcufate, torno adesso dalle olimpiadi della matematica
5 months ago - Comment - Hide - - - (Edit | Remove) - More...
"oiler" - momobo - - (Edit | Remove)
5 other comments...
Ai matematici fa ridere la formula inutile. Che poi, ridere, insomma, diciamo alzare un sopracciglio. - zar from iPhone - - (Edit | Remove)
Comment

avatar
.mau. to dewdney-ita
matematica MOLTO minimalista lunedì su MaddMaths!: https://docs.google.com/d...
6 months ago - Comment - Hide - - - (Edit | Remove) - More...
Ti sei tradito all'inizio con "usando solo quei due tasti." quando ancora non avevi posto la domanda e dato la risposta. :-) - ilcomizietto - - (Edit | Remove)
mo' controllo, ma tanto la figura che arriva su maddmaths ha la calcolatriciona con due tasti - .mau. - - (Edit | Remove)
Comment

avatar
mfdela to mfdela's feed, dewdney-ita, AI - Apparentemente Intelligente?
Scopro solo ora che OpenAI ha un editor di Latex online https://openai.com/prism/
7 months ago - Comment - Hide - - - (Edit | Remove) - More...

avatar
.mau. to dewdney-ita
Almeno quest'anno so chi è il vincitore del premio Abel 2026 (Gerd Faltings): https://plus.maths.org/ab...
7 months ago - Comment - Hide - - - (Edit | Remove) - More...

avatar
.mau. to dewdney-ita
il mio post di lunedì su MaddMaths!, sul furto di Cantor: https://docs.google.com/d...
7 months ago - Comment - Hide - - - (Edit | Remove) - More...

avatar
zar to zar's feed, dewdney-ita
Dal 14 marzo riparte il calenpiario: https://maddmaths.simai.e...
7 months ago - Comment - Hide - - - (Edit | Remove) - More...
I pigri con le figlie che studiano matematica potrebbero almeno invitare le figlie a giocare. - zar - - (Edit | Remove)
2 other comments...
grazie per aver messo l'accesso ai problemi passati - larsen - - (Edit | Remove)
Comment

avatar
.mau. to dewdney-ita
"Sanne Blauw is the numeracy correspondent for Dutch online news site and publisher De Correspondent." Che bello dev'essere fare il numeracy correspondent.
7 months ago from Android - Comment - Hide - - - (Edit | Remove) - More...

Support frenf.it with a donation!