< Matteo | Cavalleri >May 21
Meet me and talk to me about #AI4Science and #AdvancedIntelligentDiscovery and you may get the rare and prestigious RATML sticker. #editorslife
Leibniz Supercomputing CentreMay 20

Join us for the European edition of the annual Trillion Parameter Consortium gathering:

📍 LRZ Research Campus, Garching near Munich
📅 Tuesday, June 2 | 08:45 onwards

The European Chapter of the TPC invites you to an exclusive EuroTPC satellite event designed to connect Europe’s growing AI ecosystem through inspiring talks, strategic insights, and valuable networking.

Registration: https://tpc26.org/register-for-tpc26-lrz/
Read more: https://www.lrz.de/en/latest-news/events/detail/lrz-goes-tpc26

#AI #AI4Science #TPC26 #EuroTPC

EUScience&Innovation🇪🇺May 8

What are "hidden prompts"? And what risks come with collaborating through AI? Discover insights & recommendations in our revised Guidelines on Responsible Use of Generative AI in Research.

Stay tuned for more news on #AI4science!

➡️ http://link.europa.eu/3rvd6Y
---
https://nitter.net/EUScienceInnov/status/2052684180056895979#m

Leibniz Supercomputing CentreApr 28

LRZ goes TPC26 🚀

#TPC26 ist die Konferenz und Messe des Trillion Parameter Consortiums, auf der globale Kooperationen zwischen den KI-Forschungsbereichen der Industrie und des öffentlichen Sektors diskutiert und vorangetrieben werden.

Während die Hauptveranstaltung in Baltimore stattfindet, richtet das LRZ ein Satelliten-Event in Garching aus.

Mehr unter: https://www.lrz.de/aktuelles/events/detail/lrz-goes-tpc26

#AI #AI4Science #Science #AIConference #TPC26

José A. AlonsoApr 20
Readings shared April 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/20-readings_shared_04-19-26 #AI4Math #AI4Science #ITP #IsabelleHOL #LeanProver #Math
Readings shared April 19, 2026

The readings shared in Bluesky on 19 April 2026 are: A quadratic form generalization of rational dinv. ~ Yifeng Huang. #LeanProver #ITP #AI4Math Automated tactics for polynomial reasoning in Lean 4.

Vestigium
José A. AlonsoApr 17
The agentification of scientific research: A physicist's perspective. ~ Xiao-Liang Qi. https://arxiv.org/abs/2604.14718v1 #AI4Science
The Agentification of Scientific Research: A Physicist's Perspective

This article argues that the most important significance of the AI revolution, especially the rise of large language models, lies not simply in automation, but in a fundamental change in how complex information and human know-how are carried, replicated, and shared. From this perspective, AI for Science is especially important because it may transform not only the efficiency of research, but also the structure of scientific collaboration, discovery, publishing, and evaluation. The article outlines a gradual path from AI as a research tool to AI as a scientific collaborator, and discusses how AI is likely to fundamentally reshape scientific publication. It also argues that continuous learning and diversity of ideas are essential if AI is to play a meaningful role in original scientific discovery.

arXiv.org
Ricardo Barros LourençoApr 11
Some brief news. Since February, I have joined PUC-Rio as an Applied Research Scientist, at the ICA lab in the electrical engineering department. Basically working in #AI4Science applications for industry partners. It's nice to be in Rio 🇧🇷
Jean-Philip PiquemalDec 28
#hpc #supercomputing #machinelearning #compchem #AI4Science
New Grand Challenges GENCI report dedicated to the Jean Zay 4 machine at IDRIS. Our work on the FeNNix-Bio1 machine learning foundation model can be found on pages 22-25.
https://genci.fr/sites/default/files/brique/fichier/12-2025/CHALLENGES-2026-MD.pdf
mariswangDec 16

Is it AI "Hallucination" or "Intuition"? 🧠

Great discussions today on the Prime-Chaos discovery. The skepticism is valid: Python scripts prove the stats, but not the truth.

So, we are leveling up OpenSciEval.

🚀 Phase 2 Mission: Tasking the Agent to translate its heuristic derivation into Lean 4 code for formal verification.

If it compiles, the debate ends. Stay tuned.

#AI4Science #Lean4 #Math #OpenSciEval

Show threadUKP LabJul 24, 2025

Also consider following the authors Aniket Pramanick (Ubiquitous Knowledge Processing (UKP) Lab)‬, Yufang Hou (IT:U- Interdisciplinary Transformation University Austria, IBM Research), Saif M Mohammad (National Research Council Canada / Conseil national de recherches Canada), and Iryna Gurevych (Ubiquitous Knowledge Processing (UKP) Lab).

🗺️ See you at #ACL2025 in Vienna

(2/2)

#NLProc #ACL2025 #AI4Science #ACL2025