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

Convocatorias por la huelga general de 24 horas en toda España por Palestina 🇵🇸 'nEn la web info resumida sobre la huelga y enlaces con más recursos.

Uncategorized
4 1 10

Gli ultimi otto messaggi ricevuti dalla Federazione
Post suggeriti
  • SDS#226 – L’OMO VERO – MyTwoSpicci

    Uncategorized
    1
    1
    0 Votes
    1 Posts
    0 Views
    SDS#226 – L’OMO VERO – MyTwoSpiccihttps://www.mytwospicci.it/sds226-omo-vero/
  • Verso una ricerca matematica autonoma

    Uncategorized
    1
    0 Votes
    1 Posts
    0 Views
    Verso una ricerca matematica autonomaI 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 httpshttps://arxiv.org/abs/2602.10177@matematica
  • 0 Votes
    1 Posts
    0 Views
    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:#fedilug:fedimedia.it👉 Puoi entrare direttamente da qui:https://matrix.to/#/#fedilug:fedimedia.itLa chat conta già oltre 300 iscritti ed è nata grazie alla collaborazione tra @lealternative e @fedimediaResta 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.
  • 0 Votes
    5 Posts
    8 Views
    @mohshbair Hola Mohammed, how are you today? We are looking into your new publications now. Love and strength