Il Meetup di Rust è oggi! Unisciti a noi alle 18:00 per esplorare gRPC, Protocol Buffers e il lancio dell'Oxidar Hackathon. Dettagli 👇

Aligned è il full-stack per un Internet verificabile. Dai sistemi finanziari all'intelligenza artificiale, costruiamo dove i fatti vengono prima di tutto e la fiducia viene calcolata, non data per scontata. La verità, da un capo all'altro. INVIA LE BOZZE.

Ogni blockchain soffre di latenza. Secondi, minuti, ORE prima che una transazione sia definitiva. Quel ritardo non solo rallenta tutto, ma rovina anche l'esperienza utente. Analizziamo perché la latenza è il più grande collo di bottiglia del Web3. 🧵 #Web3 #Crypto #Blockchain

Una "camera lucida" è un dispositivo che utilizza un prisma tenuto da una struttura metallica per proiettare un'immagine della scena di fronte ad essa su un foglio di carta sottostante, un po' come un proiettore moderno collegato a un flusso video in diretta. Probabilmente furono inventate all'inizio del 1400, anche se i resoconti pubblicati non compaiono fino alla fine del 1500. Parte del motivo è probabilmente che erano segreti commerciali ben custoditi da artisti che le usavano per ottenere un grado di accuratezza che era precedentemente impossibile o almeno estremamente difficile da raggiungere a mano libera. L'artista David Hockney si è interessato molto a questo argomento anni fa e ha scritto un libro al riguardo nel 2001. La sua teoria di base era che il notevole miglioramento in accuratezza e realismo fosse direttamente attribuibile all'uso segreto della camera lucida (e anche di un dispositivo precedente chiamato camera oscura). Come ha sottolineato, prima di quel periodo, non avresti mai visto un dipinto di un liuto in prospettiva che non sembrasse distorto e sbagliato. Anche se potevi usare le "regole della prospettiva" per disegnare forme rettilinee semplici in modo realistico, la geometria più complessa di un liuto andava oltre la normale capacità umana di rappresentare realisticamente nello spazio. Questa teoria è nota come la tesi Hockney-Falco. Da quando ho appreso di questo al college nei primi anni 2000, ho in qualche modo applicato mentalmente un asterisco alle opere di alcuni pittori. Ad esempio, per quanto rispetti e ammiri Ingres e Caravaggio, l'ammirazione che avevo per le loro abilità è stata temperata dalla realizzazione che probabilmente si avvalevano di questo tipo di aiuto meccanico. E certo, gran parte dell'arte sta nel concetto, nella composizione e nell'inquadratura, nei colori, nelle pennellate, ecc. Ma quel realismo straordinario e vivido è ciò che mi ha colpito di più, e quella parte è stata in parte distrutta da questa rivelazione. Mi ha anche fatto rispettare ancora di più il realismo scultoreo di Michelangelo (e anche i suoi studi che sono chiaramente schizzi fatti dal vivo). In ogni caso, il motivo per cui ne parlo ora è che credo che siamo sul punto di assistere alla stessa cosa nei campi di ricerca matematica con l'avvento di modelli come GPT-5 Pro. L'ho già usato per fare quello che sospetto sia una ricerca genuinamente nuova e interessante (come ho dettagliato in recenti discussioni), e proprio oggi abbiamo ricevuto un aggiornamento da Sebastien Bubeck di OpenAI che mostra che il modello è stato in grado di dimostrare un risultato interessante nella matematica contemporanea utilizzando una nuova dimostrazione, in un solo colpo, per di più. Quindi, questa nuova era è improvvisamente su di noi. Abbiamo appena visto un risultato da parte di scienziati informatici cinesi la scorsa settimana che ha battuto un record per l'ordinamento ottimale che resisteva da 45 anni. Mi sono chiesto in quel momento se l'IA fosse stata utilizzata in qualche modo per generare quel risultato. Guarda anche il recente articolo nel tweet citato, che ha un carattere simile in quanto è sia sorprendente che elementare. Questi mi sembrano essere i segni distintivi di risultati che potrebbero aver beneficiato dell'IA in qualche modo. Ora, non voglio accusare questi autori di nulla. Per quanto ne so, hanno fatto tutto manualmente, proprio come i pittori del 1300. E anche se hanno usato l'IA per aiutarli, non abbiamo ancora norme accettate su come affrontare questo: quali divulgazioni sono necessarie e come dovrebbe essere distribuito e considerato il credito. L'intero concetto di paternità deve essere riesaminato oggi. Nel mio thread recente in cui ho indagato insieme a GPT-5 Pro sull'uso della teoria di Lie nell'apprendimento profondo, ho ideato io stesso i prompt, anche se non sarei mai in grado di generare la teoria e il codice che il modello ha sviluppato come risultato di quei prompt. Ricevo il credito per il risultato se si rivela rivoluzionare il campo? E riguardo al mio esperimento successivo, in cui ho utilizzato i miei prompt originali che ho scritto io stesso insieme a un "meta prompt" per far sì che GPT-5 Pro generasse 10 ulteriori coppie di prompt modellati vagamente sui miei, ma che coinvolgono rami totalmente diversi della matematica che si sono sviluppati in direzioni completamente diverse. Ricevo credito per quelle teorie se si rivelano importanti? Spero di sì, perché ho già pubblicato le idee e il codice su GitHub e le ho pubblicizzate ampiamente, quindi se qualcuno segue quelle linee di indagine, l'etica accademica richiederebbe di citarmi. Ma anche se pensi che meriti credito per aver guidato l'IA con il mio prompt, allora sicuramente le mie pretese di priorità sono in qualche modo indebolite per le 10 altre teorie che sono il risultato dell'uso del mio prompt come modello per il meta prompting, giusto? Dopotutto, non sapevo nemmeno che la "Geometria Tropicale" fosse una cosa un paio di giorni fa, eppure ora ho una teoria e un codice che la applicano alla ricerca sull'IA. Posso affermare che, proprio come ho iniziato ad applicare mentalmente un asterisco a certe opere d'arte e artisti simile all'asterisco accanto al nome di Barry Bonds nella Hall of Fame, sospetto che la maggior parte degli scienziati inizierà a fare lo stesso per qualsiasi nuovo articolo basato su teorie matematiche nel prossimo anno o giù di lì. Sospetto che le persone diranno presto cose come "questo tizio è quello giusto; ha scritto i suoi migliori articoli prima del 2025!" per distinguere tra coloro che hanno fatto tutto il loro lavoro manualmente usando il proprio cervello e coloro che hanno utilizzato assistenza dell'IA. E questo è assolutamente un modo valido di pensare se l'IA è in grado non solo di risolvere problemi teorici difficili ma anche di porre domande interessanti da sola. Se ho ragione, dovremmo prepararci a un'imminente ondata di articoli di ricerca scioccanti che superano record e limiti di lunga data e sfondano muri che si pensava fossero relativamente impenetrabili senza una qualche teoria rivoluzionaria. E credo che molti di questi risultati condivideranno qualcosa in comune: che sono sempre stati proprio lì davanti a noi, ma richiedevano di combinare teorie provenienti da diverse aree della matematica e soggetti applicati in modi nuovi che non erano stati perseguiti prima a causa di motivi umani e sociologici: diversi campi che si separano lungo linee, con terminologie, riviste, pratiche, dipartimenti, conferenze, reti sociali, ecc. L'altra forma che sospetto che questi risultati prenderanno è quella di sfruttare risultati elementari in modi bizzarri che, per qualche motivo, non vengono naturalmente alle menti umane, ma che possiamo comprendere una volta che sono chiaramente esplicitati per noi. Un'altra forma che potrebbero assumere è risultati che sfruttano esoterismi dimenticati da tempo dell'analisi della fine del XIX secolo. I tipi di trucchi che hanno permesso a Feynman di risolvere integrali che nessun altro poteva risolvere. Questi risultati sono noti ed esistono in libri, ma nessuno legge più quei libri, e le teorie originali per cui sono stati sviluppati sono state in gran parte superate dalla nostra moderna macchina che opera a molti livelli di maggiore astrazione e generalità. Un'altra forma che potrebbero assumere è semplicemente applicare matematica nota che è compresa solo da alcune centinaia di geni specializzati nel mondo che si concentrano solo sulla teoria e non affatto sulle applicazioni. Questa matematica potrebbe essere semplicemente "rimasta in giro" dagli anni '50 o '70, in attesa che qualcuno la applicasse a un problema pratico come quelli nella ricerca sull'IA. Molte delle idee che ho indagato con GPT-5 sembrano rientrare in questa categoria.

stiamo discutendo su quale sia la migliore musica di sottofondo per zk arcade. avete qualche raccomandazione?

stanno già chiedendo un L2 personalizzabile per @ethereum. hanno solo bisogno di uno stack semplice che offra le migliori funzionalità di ethereum con personalizzazione e scalabilità. @alignedlayer sta già lavorando con istituzioni che richiedono questo.

grande opportunità di ascoltare @diego_aligned parlare di crittografia per quasi un'ora. coprirà la storia di zk e i più recenti miglioramenti.

Cosa stai facendo?

ZK prenderà il controllo della finanza tradizionale. Niente ferma questo treno.

Aligned è il full-stack per un Internet verificabile. Dai sistemi finanziari all'intelligenza artificiale, costruiamo dove i fatti vengono prima di tutto e la fiducia viene calcolata, non data per scontata. La verità, da un capo all'altro. INVIA LE BOZZE.