dewdney-ita

.mau. to dewdney-ita
Gemini è sempre una fonte di lol con le sue allucinazioni. Stavolta mi ha detto che ho scritto «Scacco alla regina (Codice, 2016): un'opera che intreccia la matematica con il racconto e la struttura dei rompicapi logici e dei giochi.» e «Scusa ma il punto $G$ è nell'ipotenusa? (Sperling & Kupfer 2011, poi Vallardi), che rappresenta uno degli esempi più chiari in Italia di divulgazione pop focalizzata sui fraintendimenti e sugli errori logico-matematici diffusi nella cultura di massa.»

23 hours ago - Comment - Hide - - [ 4 ] -

Però i titoli sono belli, bisogna dirlo. - .mau. - [ 5 ] -

11 other comments... | Show last 10...

il problema non è capire le lingue. Puoi anche fare domande in italiano e chiedere risposte in tedesco o in inglese. Il problema (me l'ha detto Mistral :-) ) è che quando genera le risposte usa una serie di riempitivi, e di quelli ce ne ha molti di più in inglese. Ma avere riempitivi diversi significa anche avere un contesto diverso, e quindi risposte meno generiche. - .mau. - -

Comment

.mau. to dewdney-ita
comunque anche oggi esempio da manuale del capitolo "altra definizione, altro numero" del mio libro: CGIL casualmente sceglie il 2023 i confronti con i valori della pensione, e non il più logico 2025 oppure il 2021. https://xmau.com/notiziol... La cosa buona è che penso che non mi mancherà il materiale per pubblicizzare il libro.

8 hours ago - Comment - Hide - - -

.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 weeks ago - Comment - Hide - - [ 1 ] -

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. - [ 1 ] -

(ovviamente non serve a nulla abbassare così il limite, ma da un punto di vista teorico è un terremoto) - .mau. - -

Comment

.mau. to dewdney-ita
Il vero problema matematico che le IA dovrebbero risolvere: https://xmau.com/notiziol...

1 month ago - Comment - Hide - - [ 2 ] -

sì vabbè - zar - -

a me basterebbe che calcolassero per bene i consumi presunti della casa al mare - Mario Pietrinho - [ 1 ] -

Comment

.mau. to dewdney-ita
le mie slide per la conferenza di sabato 5 settembre sull'infinito: https://docs.google.com/p...

2 months ago - Comment - Hide - - [ 5 ] -

sempre al circolo filologico milanese, dietro la Scala - .mau. - -

19 other comments... | Show last 10...

peperono perché c'è il video (che non ho visto): https://www.youtube.com/w... - .mau. - -

Comment

zar to dewdney-ita
E dopo due settimane eccone un altro: https://saweis.net/posts/...

1 month ago from iPhone - Comment - Hide - - [ 1 ] -

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 - - [ 4 ] -

zar to zar's feed, dewdney-ita
Hanno appena fattorizzato RSA-260. https://en.wikipedia.org/...

2 months ago from iPhone - Comment - Hide - - [ 5 ] -

Si sa quanto ci hanno impiegato? - ilcomizietto - -

4 other comments...

Ecco il report: https://cognition.com/blo... - zar from iPhone - -

Comment

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 - - [ 2 ] -

bisognerà chiedergli di trovare altri problemi del millennio per farglieli risolvere altrimenti sti poveri llm si annoieranno - Von - -

16 other comments... | Show last 10...

Via il blog di .mau. : https://maddmaths.simai.e... - ilcomizietto - -

Comment

Fabs to dewdney-ita, La Stanzetta dei Bottoni, Fabs's feed
.

2 months ago - Comment - Hide - - [ 7 ] - [ 1 ]

"il continente e' isolato" - psicocaccola - [ 2 ] -

.mau. to dewdney-ita, Quelli di Milano
ecco qui la locandina per sabato prossimo. Via Clerici 10, ore 15

2 months ago - Comment - Hide - - [ 5 ] -

https://youtu.be/DVKbxXA2... Alessandro Baricco sull'infinito. - Yery - -

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

Il problema del denominatore è il capitolo 2 del mio libro (ma quello del costo di Astra starà nel capitolo 7) - .mau. from Android - [ 1 ] -

.mau. to dewdney-ita
https://xkcd.com/3282/

2 months ago - Comment - Hide - - [ 2 ] -

questa non so quanti la capiscano - momobo - -

5 other comments...

E anche no - corax from Android - -

Comment

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

3 months ago - Comment - Hide - - [ 3 ] -

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. - [ 4 ] -

12 other comments... | Show last 10...

(e soprattutto la gang di pagliacci del Bruno Leoni) - momobo - [ 2 ] -

Comment

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.

3 months ago - Comment - Hide - - [ 1 ] -

Gemini mi dà ragione, ma con troppa condiscendenza. - zar - -

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

Comment

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

3 months ago - Comment - Hide - - [ 2 ] -

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. - [ 2 ] -

Fabs to dewdney-ita, Lega Nerd, Fabs's feed, Questioni di scienza
https://www.nature.com/ar...

3 months ago - Comment - Hide - - [ 1 ] -

.mau. to dewdney-ita
Il mio post di lunedì prossimo sul diario di un matematico non praticante: https://docs.google.com/d...

4 months ago - Comment - Hide - - [ 2 ] -

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 - [ 1 ] -

E' quello che teme il primo tipo infatti - .mau. from Android - [ 1 ] -

Comment

.mau. to dewdney-ita
dopo solo dodici anni, ho trovato un nuovo refuso in Matematica in pausa caffè: https://xmau.com/libri/20...

4 months ago - Comment - Hide - - [ 2 ] -

la cosa buffa è che l'ho trovato io, non me l'hanno segnalato - .mau. - [ 1 ] -

Come ti capisco! - ilcomizietto - -

Comment

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

5 months ago - Comment - Hide - - [ 1 ] -

Grazie - ilcomizietto - -

prego! - .mau. - -

Comment

zar to dewdney-ita
fcufate, torno adesso dalle olimpiadi della matematica

5 months ago - Comment - Hide - - [ 2 ] -

"oiler" - momobo - -

5 other comments...

Ai matematici fa ridere la formula inutile. Che poi, ridere, insomma, diciamo alzare un sopracciglio. - zar from iPhone - [ 2 ] -

Comment

.mau. to dewdney-ita
matematica MOLTO minimalista lunedì su MaddMaths!: https://docs.google.com/d...

6 months ago - Comment - Hide - - [ 4 ] -

Ti sei tradito all'inizio con "usando solo quei due tasti." quando ancora non avevi posto la domanda e dato la risposta. :-) - ilcomizietto - -

mo' controllo, ma tanto la figura che arriva su maddmaths ha la calcolatriciona con due tasti - .mau. - [ 1 ] -

Comment

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 - - [ 1 ] -

.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 - - [ 2 ] -

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

dewdney-ita

Warning!