#HLF25
LightNews LightNews
hlforum.bsky.social
💡 Mathematics is the research field that most likely could be automated. So, what will be left for humans to do?

Check out the analysis of the panel discussions on the topic at #HLF25 by George Musser:

👉 scilogs.spektrum.de/hlf/when-ai-...
When AI Can Do It All, What Will Be Left for Human Mathematicians and Scientists?
“I really want to see the proof of the Riemann hypothesis, whether it’s given to me by God or by an oracle or by the mind of Terence Tao.” Read more
scilogs.spektrum.de
December 17, 2025 at 1:21 PM
hlforum.bsky.social
💡We are happy to highlight one of many brilliant young researchers who attended the #HLF25.

Chinasa T. Okolo is an internationally acknowledged researcher, strategist, and policy advisor on AI governance. She has been recognized by TIME and Forbes 30 Under 30.

Glad to be part of your journey. ✨
Chinasa T. Okolo at the 12th HLF.
December 5, 2025 at 1:25 PM
hlforum.bsky.social
💡 Demian Nahuel Goos was awarded this year's mathematics media prize by the DMV.

Learn about his „Intercultural Science-Art Project“, which he exhibited at #HLF25:
🎨👉 demian-goos.de/isap-2025-12...

We would like to congratulate and thank Demian for the wonderful collaboration! ✨
ISAP 2025 – 12th HLF – Demian Goos – Maths, SciCom and Outreach
demian-goos.de
November 28, 2025 at 10:27 AM
hlforum.bsky.social
🔀 Is scientific publishing at a crossroads?
📚 At #HLF25, a panel of experts tried to address the thorny situation.

For an analysis on the panel discussion by Andrei Mihai, head over to the HLFF Blog:
👉 scilogs.spektrum.de/hlf/the-pres...

#HLForum #Heidelberg
The Pressure to Publish Is Challenging the Foundations of Academic Integrity
Scientific publishing appears to be at a crossroads. Read more
scilogs.spektrum.de
November 19, 2025 at 2:40 PM
hlforum.bsky.social
❓ What would Alan Turing have made of our ever-present discussions on AI today?

Find out more in the new article at the HLFF Blog by Benjamin Skuse:
👉 scilogs.spektrum.de/hlf/?p=13919

#HLF25 #HLForum #Heidelberg
Turing’s Two Penn’orth on Today’s AI Talking Points
The eerily prescient thoughts of Alan Turing, the visionary who laid the foundations of computer science, remain remarkably relevant to today’s discussions concerning AI. Read more
scilogs.spektrum.de
November 12, 2025 at 1:09 PM
hlforum.bsky.social
📣 The application phase for the 13th Heidelberg Laureate Forum (HLF) has just begun!
Apply Now! 🎊
👉 application.heidelberg-laureate-forum.org/site/index.php
We can’t wait to hear from you! ✨

#HLF26 #HLF25 #HLForum #Heidelberg
Photo that reads "Do you want to be part of it?"
November 11, 2025 at 12:16 PM
hlforum.bsky.social
🤝 Are we standing at the edge of a golden age – with AI as a scientific collaborator?
🤖 At the #HLF25, AI was at the center of heated discussions.

For an analysis of the Hot Topic panel check out the article by Andrei Mihai at the HLFF Blog:
👉 scilogs.spektrum.de/hlf/?p=13902

#HLForum #Heidelberg
Is AI Becoming a Scientific Collaborator, More Than a Tool?
We could be on the verge of a golden age for scientific discovery. Read more
scilogs.spektrum.de
November 5, 2025 at 1:05 PM
hlforum.bsky.social
🌀 It is in the interdisciplinary nature of the Heidelberg Laureate Forum that discoveries happen by bringing unique perspectives to problems outside of one’s comfort zone.

Find out more in the full article by Benjamin Skuse:
👉 scilogs.spektrum.de/hlf/?p=13882

#HLF25 #HLForum #Heidelberg
A Probabilist’s Perspective on Fundamental Physics
Fields Medallist Wendelin Werner’s work is a challenge to all young scientists to bring their unique perspectives to problems outside of their comfort zone to see what they can discover. Read more
scilogs.spektrum.de
November 3, 2025 at 2:19 PM
hlforum.bsky.social
💡 Our newest HLFF Blog article analyzes the “Lindau Lecture” at #HLF25. This year, the Nobel Prize-winning chemist David MacMillan delivered his signature lecture on the power of catalysis.

Check out the full article here:
👉 scilogs.spektrum.de/hlf/a-lindau...

#HLForum #Heidelberg
A Lindau Lecture to Catalyze the Power of Chemistry
The world we built around us relies on catalysis. Read more
scilogs.spektrum.de
October 23, 2025 at 8:00 AM
thoefler.bsky.social
I was shocked to see the first two people in my "masterclass" 🎓 on #AI networking with Ultra Ethernet at #HLF25: David Patterson and Bob Metcalfe 😅! Both Turing award winners - Bob being one of the inventors of Ethernet 🥹. Was great fun also with many enthusiastic students and great discussions 🚀.
October 13, 2025 at 5:00 AM
eigenraum.bsky.social
Eigenraum 54 ist da!

@manonym025.bsky.social war auf dem Heidelberg Laureate Forum, wo es dieses Mal fast schon ein wenig zu viel um #KI ging. Das nehmen wir als Anlass, um eine kleine Bestandsaufnahme dazu zu machen.

eigenpod.de/eig054-heide...

#podcast #hlf25
EIG054 Heidelberg Laureate Forum (mit Manon)
Manon war beim HLF und berichtet, dass dort KI umfassend Thema war. Davon ausgehend werfen wir einen Blick auf die Auswirkungen von LLMs auf Forschung und Bildung.
eigenpod.de
October 9, 2025 at 4:37 PM
hlforum.bsky.social
💡 The message from Sanjeev Arora, David Silver and Richard S. Sutton during their Spark Session talks at #HLF25 was clear: They expect that AI will unshackle itself from its creators to transcend human knowledge and capabilities.

Check out the article here:
👉 scilogs.spektrum.de/hlf/mathemat...
Mathematicians’ New Best Friend?
A recent blog post highlighted three Spark Session talks at the 12th Heidelberg Laureate Forum that focused on the potential for a new era of superhuman AI capabilities through AI self-improvement and...
scilogs.spektrum.de
October 8, 2025 at 12:26 PM
hlforum.bsky.social
🤖 How do we make sure AI works for people, not against them?

This week on the HLFF Blog, Andrei Mihai analyzes a talk on that subject by Jeff Dean and David Patterson at #HLF25.

Check out the full article here:
👉 scilogs.spektrum.de/hlf/shaping-...

#HLForum #Heidelberg #AI #MachineLearning
Shaping AI for the People: A Blueprint for the Future
We should have a balanced discussion around AI, say leading researchers in computer science. Read more
scilogs.spektrum.de
October 1, 2025 at 12:36 PM
thoefler.bsky.social
I met many of my heroes at my first Heidelberg Laureate Forum #HLF25! Exciting discussions with 28 other laureates of the five highest awards in CS and Math and young researchers!

Watch my Spark talk at: buff.ly/SO6ntUb

Thanks to the HLF Foundation and Klaus Tschira Stiftung.
September 30, 2025 at 5:00 AM
plusmaths.bsky.social
Last week we had a wonderful time at #HLF25 where young researchers meet winners of the most important prizes in #maths and #computerscience. You can get a glimpse of what it was like in the #vlog we produced on behalf of @hlforum.bsky.social plus.maths.org/content/plus...
Plus at the Heidelberg Laureate Forum 2025
Watch the vlogs we produced at this year's HLF, an amazing event that connects young researchers with winners of prestigious prizes in maths and computer science!
plus.maths.org
September 26, 2025 at 3:48 PM
hlforum.bsky.social
📚⚖️ This week at the HLFF Blog, you’ll hear from our guest blogger Markus Pössel about his takeaways from the panel discussion on scientific integrity at #HLF25.

Check out the full article here:
👉 scilogs.spektrum.de/hlf/differen...

#HLForum #Heidelberg #ScientificIntegrity
Different Perspectives on Scientific Misconduct
For me, the most interesting takeaway from the panel discussion on scientific integrity at the 12th Heidelberg Laureate Forum was that scientific misconduct means rather different things from differen...
scilogs.spektrum.de
September 26, 2025 at 1:26 PM
hlforum.bsky.social
#HLF25 is over, but the memories, impressions and connections made stay with us. ✨

Our 12th HLF Highlights video is a great opportunity to relive the amazing week:
👉 www.youtube.com/watch?v=o_Cj...

You can now find the whole scientific program and vlog on our YouTube channel.

#HLForum #Heidelberg
Group photo of all young researchers attending the 12th HLF in the university courtyard.
September 24, 2025 at 1:16 PM
matthiaseckhart.com
Last week, I had the privilege of participating in the 12th
@hlforum.bsky.social (HLF). It was one of the most inspiring and well-organized events I have ever attended. A special thanks to all the incredible HLF staff for their tireless dedication in making this event truly unforgettable! #HLF25
Dinner at Schwetzingen Palace. Sofía Albizu-Campos, Stephanie Rosenbaum, Whitfield Diffie, Matthias Eckhart (left to right). Lunch at the 12th Heidelberg Laureate Forum (HLF). Matthias Eckhart (left) and Martin Hellman (right). Boat trip on the Neckar. Leslie Lamport (left) and Matthias Eckhart (right). Dinner at the Heidelberg Castle. Matthias Eckhart (left) and Vinton Cerf (right).
September 24, 2025 at 8:11 AM
lean-lang.org
Two great talks at #HLF25 last week: Sanjeev Arora on superhuman AI mathematicians using #LeanLang, and David Silver on AI learning through experience with #LeanProver verification.

www.youtube.com/watch?v=q9MJ...

#AI #FormalMath #ReinforcementLearning
Spark Session | September 15
YouTube video by Heidelberg Laureate Forum
www.youtube.com
September 23, 2025 at 6:00 PM
kylecranmer.bsky.social
Is scale all you need? Or is there still a role for incorporating domain knowledge and inductive bias? While I was in Heidelberg, I took some time to write a short essay on this question called "The Bittersweet Lesson".
theoryandpractice.org/2025/09/The%... #HLF25
Kyle Cranmer and Rich Sutton at the Heidelberg Laureate Forum, September 16, 2025.
September 22, 2025 at 3:49 PM
kylecranmer.bsky.social
Video of our panel on AI for the physical sciences at #HLF25
youtu.be/I-Ye-rMhRws?...
September 19, 2025 at 3:16 PM
lonnibesancon.bsky.social
Very happy to have participated in this panel session at the #hlf25 on research integrity with an amazing moderator and great panelists.
September 19, 2025 at 12:40 PM
kylecranmer.bsky.social
Avi Wigderson gave a wonderful and inspiring talk about Turing at #HLF25. When he got to Turing’s theory of Morphogenesis he said
“When I see a problem like this, i throw up my arms and I go back to P vs NP, I’d have no idea how start” 🤣
September 19, 2025 at 8:49 AM
mpoessel.de
Interesting panel discussion about scientific integrity with @lonnibesancon.bsky.social , Yukari Ito and Eusang Lee, moderated by Benjamin Skuse. #HLF25
Four people sitting in a row on a stage
September 19, 2025 at 8:35 AM
mpoessel.de
Fun talk at #HLF25 by Avi Wigderson, on a number of things Alan Turing did in addition to the most famous examples.
Man on Stage. Projected are a video of the man (left) and a slide about paeudorandomness (right)
September 19, 2025 at 7:36 AM