Skip to content

Piero Bosio Social Web Site Personale Logo Fediverso

Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone

My entry for Grafit Studio's weekly challenge (that I submitted too late 😭)


Gli ultimi otto messaggi ricevuti dalla Federazione
  • Verso una ricerca matematica autonoma

    I recenti progressi nei modelli fondazionali hanno prodotto sistemi di ragionamento in grado di raggiungere un livello da medaglia d'oro alle Olimpiadi Internazionali della Matematica. Il passaggio dalla risoluzione di problemi a livello agonistico alla ricerca professionale, tuttavia, richiede la consultazione di una vasta letteratura e la costruzione di dimostrazioni a lungo termine. In questo lavoro, presentiamo Aletheia, un agente di ricerca matematica che genera, verifica e rivede iterativamente le soluzioni end-to-end in linguaggio naturale. Nello specifico, Aletheia è basato su una versione avanzata di Gemini Deep Think per problemi di ragionamento complessi, una nuova legge di scala temporale inferenziale che si estende oltre i problemi di livello olimpico e un utilizzo intensivo di strumenti per affrontare le complessità della ricerca matematica. Dimostriamo la capacità di Aletheia di passare dai problemi delle Olimpiadi agli esercizi di livello di dottorato e, in particolare, attraverso diverse pietre miliari distinte nella ricerca matematica assistita dall'intelligenza artificiale: (a) un articolo di ricerca (Feng26) generato dall'intelligenza artificiale senza alcun intervento umano nel calcolo di alcune costanti di struttura in geometria aritmetica chiamate autopesi; (b) un articolo di ricerca (LeeSeo26) che dimostra la collaborazione uomo-IA nella dimostrazione di limiti su sistemi di particelle interagenti chiamati insiemi indipendenti; e (c) un'ampia valutazione semi-autonoma (Feng et al., 2026a) di 700 problemi aperti sul database delle congetture di Erdos di Bloom, incluse soluzioni autonome a quattro domande aperte. Per aiutare il pubblico a comprendere meglio gli sviluppi relativi all'IA e alla matematica, suggeriamo di quantificare i livelli standard di autonomia e novità dei risultati assistiti dall'IA, nonché di proporre un nuovo concetto di schede di interazione uomo-IA per la trasparenza. Concludiamo con riflessioni sulla collaborazione uomo-IA in matematica e condividiamo tutti i suggerimenti e gli output del modello a questo URL https

    https://arxiv.org/abs/2602.10177

    @matematica

    read more

  • Ve li do io, gli eurobond! La Germania (o meglio, il suo ministro degli Esteri) dice alla Francia e a tutti gli altri che per finanziare il riarmo bisogna "fare i compiti a casa" e tagliare altrove. A Macron resta la presunta leva negoziale dell'ombrello nucleare, ma tutto deprimente secondo copione
    https://www.politico.eu/article/berlin-germany-urges-france-paris-boost-defense-spending-cutting-other-costs/

    read more

  • New Vaccine Platform Promotes Rare Protective B Cells

    https://www.poz.com/article/new-vaccine-platform-promotes-rare-protective-b-cells

    > Approach based on a virus-like particle built with a DNA scaffold could generate broadly neutralizing antibodies against HIV or influenza.

    read more

  • Avevo scritto una lunga serie di post in cui sfogavo un po', poi ho cancellato tutto. 'sto lutto mi ha lasciato dentro tanta, tanta rabbia che francamente non so come sfogare.
    Plus, sono in pausa con la mia psic che è appena andata in maternità.

    read more

  • @matz è quasi il Partenone!
    Peccato non sia una chiesa... Per @chiesebrutte

    read more

  • Il FediLUG ora ha una propria stanza su Matrix! 🚀

    Se sei un appassionato di Linux nel Fediverso da oggi puoi usare la nuova chat:

    📍 Indirizzo della stanza:
    :fedimedia.it

    👉 Puoi entrare direttamente da qui:
    https://matrix.to/#/#fedilug:fedimedia.it

    La chat conta già oltre 300 iscritti ed è nata grazie alla collaborazione tra @lealternative e @fedimedia

    Resta comunque centrale anche il gruppo Lemmy FediLUG su diggita: @linux@diggita.com che ha da poco superato i 1000 iscritti e continua a crescere ogni giorno.

    read more

  • Anthropic cerca di nascondere le azioni dell'IA di Claude e gli sviluppatori insorgono

    Anthropic ha aggiornato Claude Code, il suo strumento di programmazione basato sull'intelligenza artificiale, modificando l'output di avanzamento per nascondere i nomi dei file che lo strumento stava leggendo, scrivendo o modificando. Tuttavia, gli sviluppatori hanno reagito, affermando di aver bisogno di vedere a quali file si accede

    https://www.theregister.com/2026/02/16/anthropic_claude_ai_edits/

    @aitech

    read more

  • ‘Rats run over our faces’: Gaza’s displaced forced to live on infested land

    https://www.aljazeera.com/features/2026/2/16/rats-run-over-our-faces-gazas-displaced-forced-to-live-on-infested-land?traffic_source=rss

    > Displaced Palestinians forced to live on a landfill battle rats, scabies and unexploded shells.

    read more
Post suggeriti