Mario Krenn's Avatar

Mario Krenn

@mariokrenn.bsky.social

Professor for "Machine Learning in Science", University of Tübingen. Artificial Intellgence as a source of inspiration in Science. https://mariokrenn.wordpress.com/

907 Followers  |  384 Following  |  105 Posts  |  Joined: 16.11.2024  |  1.5618

Latest posts by mariokrenn.bsky.social on Bluesky

Preview
AI Comes Up with Bizarre Physics Experiments. But They Work. | Quanta Magazine Artificial intelligence software is designing novel experimental protocols that improve upon the work of human physicists, although the humans are still “doing a lot of baby-sitting.”

AI can improve the design of experiments. “It takes a lot to think this far outside of the accepted solution,” Adhikari said. “We really needed the AI.”

www.quantamagazine.org/ai-comes-up-...

01.08.2025 14:41 — 👍 8    🔁 3    💬 1    📌 1
Post image

🚀 Excited to share our latest Review paper published in Nature Reviews Chemistry, exploring how machine learning (ML), when integrated with high-throughput experimental and computational data, can accelerate the discovery and design of heterogeneous catalysts.

Paper link: lnkd.in/eYQkUsWn
[1/5]

18.07.2025 18:24 — 👍 9    🔁 5    💬 1    📌 1
Preview
Physicists disagree wildly on what quantum mechanics says about reality, Nature survey shows First major attempt to chart researchers’ views finds interpretations in conflict.

This year quantum physics turns 100, so @nature.com decided to conduct the biggest ever survey of what lies behind it. Do physicists really believe in multiple universes? Can influences happen instantaneously? Is the Copenhagen interpretation all it's cut out to be? ⚛️🧪 www.nature.com/articles/d41...

30.07.2025 14:19 — 👍 83    🔁 46    💬 11    📌 8
Preview
AI Comes Up with Bizarre Physics Experiments. But They Work. | Quanta Magazine Artificial intelligence software is designing novel experimental protocols that improve upon the work of human physicists, although the humans are still “doing a lot of baby-sitting.”

A nice article by @anilananth.bsky.social on using AI to explore design spaces, find unexpected solutions, (re)discover symmetries, and propose new relationships featuring @yuqirose.bsky.social @mariokrenn.bsky.social & myself.
Note AI ≠ LLMs in this piece.
www.quantamagazine.org/ai-comes-up-...

22.07.2025 13:58 — 👍 17    🔁 6    💬 0    📌 0

... AI for spotting hidden patterns in experimental data.

Rana on the first solutions of our codes: "If my students had tried to give me this thing, I would have said, ‘No, no, that’s ridiculous,’ " 😅

21.07.2025 19:33 — 👍 0    🔁 0    💬 0    📌 0
Preview
AI Comes Up with Bizarre Physics Experiments. But They Work. | Quanta Magazine Artificial intelligence software is designing novel experimental protocols that improve upon the work of human physicists, although the humans are still “doing a lot of baby-sitting.”

"AI Comes Up with Bizarre Physics Experiments. But They Work." by @anilananth.bsky.social @quantamagazine.bsky.social:

www.quantamagazine.org/ai-comes-up-...

Covering our work with Rana Adhikari @ligo.org on discovering GW detectors & work by @yuqirose.bsky.social & @kylecranmer.bsky.social on ...

21.07.2025 19:33 — 👍 12    🔁 6    💬 2    📌 0
Mario Krenn (right) and eight members of his group stand next to each other for a group photo, with green plants in the background.

Mario Krenn (right) and eight members of his group stand next to each other for a group photo, with green plants in the background.

Come work with us in Tübingen! Our new professor @mariokrenn.bsky.social is looking for PhDs and postdocs! The group builds #AI systems for discovering new concepts, experiments and ideas in #physics. Find out more: uni-tuebingen.de/en/128980#c2... #AIforScience

16.07.2025 13:14 — 👍 12    🔁 3    💬 0    📌 0

Very excited to have officially joined @mariokrenn.bsky.social as a PhD student at @unituebingen.bsky.social. Looking forward to the next few years of cool research on AI-driven detector design!

If you’re in Tübingen, I’d be happy to discuss research ideas over lunch or coffee!

02.07.2025 18:23 — 👍 4    🔁 1    💬 0    📌 0
Preview
Scholar Inbox: Daily Research Recommendations just for You Science is moving fast. How can we keep up? Scholar Inbox helps researchers stay ahead by making the discovery of open access papers more personal.

On our blog: Science is moving fast. How do we keep up? #ScholarInbox, developed by the Autonomous Vision Group led by @andreasgeiger.bsky.social, helps researchers stay ahead - by making the discovery of #openaccess papers smarter and more personal: www.machinelearningforscience.de/en/scholar-i...

30.06.2025 12:40 — 👍 27    🔁 14    💬 1    📌 6
Post image

Had great fun in my first ever, live, radio interview, with ORF's Ö1 (Punkt Eins, with Barbara Zeithammer) -- on the occasion of my new professorship at the University of Tübingen @ml4science.bsky.social, talking about AI for Science.

Listen to it here: oe1.orf.at/programm/202...
(54mins, german)

26.06.2025 15:55 — 👍 20    🔁 3    💬 1    📌 0
Headshot of Mario Krenn

Headshot of Mario Krenn

We welcome @mariokrenn.bsky.social as a full professor for machine learning in science at our cluster! He works on developing #AI systems to discover new ideas and concepts in #physics - and he is looking for PhDs and postdocs! Find out more: uni-tuebingen.de/en/research/... (photo: S. Spangenberg)

23.06.2025 09:57 — 👍 17    🔁 3    💬 0    📌 0
Post image

The humans behind the Artificial Scientist Lab @mpi-scienceoflight.bsky.social --> @unituebingen.bsky.social 🤘

10.06.2025 16:37 — 👍 10    🔁 0    💬 0    📌 0

One of the coolest papers I've had the pleasure to read. Cheers to @xmgu.bsky.social and @mariokrenn.bsky.social 👏🥳 🧪

05.06.2025 13:07 — 👍 5    🔁 1    💬 0    📌 0
Post image

Can #MachineLearning hint at future research directions? @xmgu.bsky.social and @mariokrenn.bsky.social envision that the ability of (future) artificial muses to predict the impact of new ideas will be crucial to inspire new interesting scientific ideas. Check out their vision here: bit.ly/3ZMZJ8e

05.06.2025 13:05 — 👍 5    🔁 2    💬 0    📌 1

I have just launched a "Lean companion" to my textbook "Analysis I": github.com/teorth/estim... . This gives a Lean translation (or paraphrasing) of the various definitions, theorems, and exercises in the textbook into Lean.

Further discussion at terrytao.wordpress.com/2025/05/31/a...

31.05.2025 17:32 — 👍 129    🔁 27    💬 0    📌 3

Oh thanks Jakob :)

31.05.2025 13:32 — 👍 1    🔁 0    💬 0    📌 0
The members of the Cluster of Excellence "Machine Learning: New Perspectives for Science" raise their glasses and celebrate securing another funding period.

The members of the Cluster of Excellence "Machine Learning: New Perspectives for Science" raise their glasses and celebrate securing another funding period.

We're super happy: Our Cluster of Excellence will continue to receive funding from the German Research Foundation @dfg.de ! Here’s to 7 more years of exciting research at the intersection of #machinelearning and science! Find out more: uni-tuebingen.de/en/research/... #ExcellenceStrategy

22.05.2025 16:23 — 👍 74    🔁 20    💬 4    📌 5

Super-happy that @mariokrenn.bsky.social is joining our Machine Learning for Science cluster @ml4science.bsky.social‬
in Tübingen as a Full Professor of "Machine Learning for Science" next week. Welcome Mario!

29.05.2025 14:43 — 👍 6    🔁 1    💬 0    📌 0

We have several open, fully-funded PhD and Postdoc positions at my group, now at the University of Tübingen. Please #RT and share with potential candidates!

Generally: AI for scientific discoveries in physics 🔥.
mariokrenn.wordpress.com/wp-content/u...

27.05.2025 23:24 — 👍 19    🔁 14    💬 0    📌 1
Post image

We’re excited to welcome a new member to the Matter Lab: El AgenteQ
Specialty: Quantum Chemistry
Operating mode: 24/7. No coffee. No ego. Just results and electrons.
Contributions: arxiv.org/abs/2505.02484
[1/6]

12.05.2025 16:18 — 👍 20    🔁 13    💬 1    📌 1
Formalizing a proof in Lean using Github copilot and canonical
YouTube video by Terence Tao Formalizing a proof in Lean using Github copilot and canonical

As an experiment, I tried to use automated tools to formalize (in as "mindless" a fashion as possible) a one-page human written proof into Lean. You can watch the results here: www.youtube.com/watch?v=cyyR...

11.05.2025 01:16 — 👍 104    🔁 12    💬 2    📌 3

Adding a few more experienced users, hope for suggestions -- @aspuru.bsky.social @franknoe.bsky.social @janhjensen.bsky.social @chhdellago.bsky.social @mmbronstein.bsky.social @kevinkaichuang.bsky.social @kylecranmer.bsky.social @shahabbakht.bsky.social

10.05.2025 12:26 — 👍 1    🔁 0    💬 3    📌 0

Any advice on how to use BlueSky efficiently?

On X, "For You" does a great job showing interesting content. But here, "Following" feels purely chronological (dominated by frequent posters), and "Discover" mostly shows irrelevant topics.

Please comment suggestions, or Share if u have same question.

10.05.2025 12:26 — 👍 8    🔁 1    💬 8    📌 0

Now it should work, @janhjensen.bsky.social - thanks :)

10.05.2025 12:09 — 👍 1    🔁 0    💬 0    📌 0
Post image

We show how to estimate the impact of research ideas before they were even born -- just published in #MLST

[paper] iopscience.iop.org/article/10.1...
[GitHub]: github.com/artificial-s...
spearheaded by @xmgu.bsky.social

Important for future artificial muses, to generate impactful new ideas.

10.05.2025 12:08 — 👍 9    🔁 1    💬 1    📌 0

oops, thanks Jan! will replace

10.05.2025 11:03 — 👍 0    🔁 0    💬 0    📌 0

Any advice on how to use BlueSky efficiently?

On X, the "For You" tab does a great job showing interesting content. But on BlueSky, "Following" feels purely chronological (dominated by frequent posters), and "Discover" mostly shows politics and irrelevant topics.

How do you get the most out of it?

07.05.2025 09:40 — 👍 6    🔁 0    💬 1    📌 0
How to Build an 'Artificial Scientist'
YouTube video by Quanta Magazine How to Build an 'Artificial Scientist'

Physicist Mario Krenn uses artificial intelligence to discover new experimental techniques at the frontiers of physics and microscopy. He also develops algorithms that predict and suggest personalized research questions and ideas. www.youtube.com/watch?v=T_2Z...

30.04.2025 14:27 — 👍 3    🔁 1    💬 1    📌 0
Preview
What Happens When AI Starts To Ask the Questions? | Quanta Magazine Technology has forever served as science’s toolbox. But now that AI is being used to develop questions and methods as well, some scientists wonder what their role is going to become.

When AI is both setting the research agenda and doing the experiments, where does that leave scientists?

03.05.2025 15:46 — 👍 27    🔁 5    💬 2    📌 1

A very important from our group #compchemsky #aiforscience #quantumchemistry

El Agente calculates complex quantum chemistry calculations from natural language!

Please re-share with your network.

@thematterlab.bsky.social @uoft.bsky.social #nvidia

06.05.2025 14:20 — 👍 30    🔁 10    💬 0    📌 0

@mariokrenn is following 20 prominent accounts