Do it! Like it! Frenf it!

Evaluate World Peace

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

avatar
zar to zar's feed, dewdney-ita
OpenAI dice di aver risolto uno dei problemi del millennio: https://openai.com/index/...
1 day 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)
15 other comments... | Show last 10...
Per i diversamente abili con l'inglese: https://www.ilpost.it/202... - ilcomizietto - - (Edit | Remove)
Comment

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...
2 days ago - Comment - Hide - - - (Edit | Remove) - More...

avatar
zar to zar's feed, dewdney-ita
Hanno appena fattorizzato RSA-260. https://en.wikipedia.org/...
6 days ago from iPhone - Comment - Hide - - - (Edit | Remove) - More...
Si sa quanto ci hanno impiegato? - ilcomizietto - - (Edit | Remove)
3 other comments...
~800 bit: credo che con le mie chiavi del 2013 RSA 4096 e RSA 3072 posso stare tranquillo fino a PQ. - Marco d'Itri - - (Edit | Remove)
Comment

avatar
Fabs to dewdney-ita, La Stanzetta dei Bottoni, Fabs's feed
.
1 week 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
2 weeks ago - Comment - Hide - - - (Edit | Remove) - More...
https://youtu.be/DVKbxXA2... Alessandro Baricco sull'infinito. - Yery - - (Edit | Remove)

avatar
.mau. to dewdney-ita
le mie slide per la conferenza di sabato 5 settembre sull'infinito: https://docs.google.com/p...
2 weeks ago - Comment - Hide - - - (Edit | Remove) - More...
sempre al circolo filologico milanese, dietro la Scala - .mau. - - (Edit | Remove)
18 other comments... | Show last 10...
la casella era "innumerabilmente innumerabili", sì. Ho riassemblato un po' il tutto, dopo la conferenza mando la versione definitiva. - .mau. - - (Edit | Remove)
Comment

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.
1 month 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/
1 month 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...
1 month 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.
1 month 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.
1 month 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...
2 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...
2 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...
2 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...
3 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
4 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...
5 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/
6 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...
6 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...
6 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...
6 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.
6 months ago from Android - Comment - Hide - - - (Edit | Remove) - More...

avatar
.mau. to dewdney-ita
"That is a fantastic question. You've hit on a classic "missing piece" in recreational and analytic number theory." Anche la piaggeria di Gemini è sempre fantastica.
6 months ago - Comment - Hide - - - (Edit | Remove) - More...

avatar
mfdela to mfdela's feed, dewdney-ita, AI - Apparentemente Intelligente?
Claude ha risolto una congettura di Knuth sui cicli Hamiltoniani di grafi da the Art of Computer Programming, e Knuth ci ha fatto un papero: https://www-cs-faculty.st...
6 months ago - Comment - Hide - - - (Edit | Remove) - More...
Ha trovato delle soluzioni, cito .Mau in altro 3d non che ci capisca - Lorenzo R v R from Android - - (Edit | Remove)
2 other comments...
che poi leggo Knut e mi ricordo l'orsetto dello zoo di Berlino, scappo via veloce - Lorenzo R v R - - (Edit | Remove)
Comment

avatar
zar to dewdney-ita
Una AI ha risolto un problema pensato da Knuth: https://www-cs-faculty.st...
6 months ago - Comment - Hide - - - (Edit | Remove) - More...
"ha dato una soluzione per" - .mau. - - (Edit | Remove)

Support frenf.it with a donation!