Intelligenza Artificiale?
Anthropic ha aperto 10.000 posti dedicati a scienziati e gruppi di ricerca attraverso un nuovo piano Claude Team che consente di utilizzare il sistema gratuitamente oppure a condizioni fortemente scontate…
I ricercatori dello Stowers Institute for Medical Research hanno sviluppato PISA, Pairwise Influence by Sequence Attribution, un metodo di interpretazione progettato per mostrare con risoluzione a singola base quali elementi…
Un gruppo di ricercatori della University of Texas at Austin, dello Stevens Institute of Technology, della Washington University in St. Louis, della Rice University e della University of Notre Dame…
OpenAI ha riunito all’inizio di agosto circa 40 matematici presso la propria sede di San Francisco per discutere il futuro della ricerca e dell’insegnamento della matematica in una fase in…
La startup britannica Inherent ha presentato Faraday, un agente di intelligenza artificiale da 27 miliardi di parametri progettato per affrontare attività di ricerca scientifica attraverso formulazione di ipotesi, sperimentazione e…
Un nuovo modello globale basato sull’intelligenza artificiale è stato sviluppato per stimare il volume complessivo e la distribuzione dello spessore dei ghiacciai in qualsiasi area del pianeta, informazioni necessarie per…
Un gruppo di ricerca dell’Arizona State University, coordinato da Joshua LaBaer del Biodesign Institute, ha sviluppato un approccio basato sull’intelligenza artificiale per individuare, prima della vaccinazione, caratteristiche del sistema immunitario…
Anthropic ha presentato nuovi risultati sperimentali sull’utilizzo di Claude nella progettazione di proteine e nell’analisi chimica, mostrando come i modelli possano intervenire direttamente in alcune delle attività più complesse e…
Un gruppo di ricercatori del MIT ha sviluppato un sistema basato su modelli linguistici in grado di utilizzare settimane di conversazioni quotidiane di una persona per individuare schemi ricorrenti e…
Axiom Math ha completato con il sistema di intelligenza artificiale AxiomProver una dimostrazione formalmente verificata in Lean 4 del risultato attualmente più avanzato sui gap limitati tra numeri primi: esistono…