#hlf25 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hlf25, aggregated by home.social.
-
Hallo. Es ist Eigenraumzeit, ja wirklich, schon wieder!
In Folge 54 ist @manon_ym wieder zu Gast. Sie 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 zu KI in der #Mathe Forschung und Lehre zu machen.
https://eigenpod.de/eig054-heidelberg-laureate-forum-mit-manon/
-
Hallo. Es ist Eigenraumzeit, ja wirklich, schon wieder!
In Folge 54 ist @manon_ym wieder zu Gast. Sie 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 zu KI in der #Mathe Forschung und Lehre zu machen.
https://eigenpod.de/eig054-heidelberg-laureate-forum-mit-manon/
-
Hallo. Es ist Eigenraumzeit, ja wirklich, schon wieder!
In Folge 54 ist @manon_ym wieder zu Gast. Sie 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 zu KI in der #Mathe Forschung und Lehre zu machen.
https://eigenpod.de/eig054-heidelberg-laureate-forum-mit-manon/
-
Hallo. Es ist Eigenraumzeit, ja wirklich, schon wieder!
In Folge 54 ist @manon_ym wieder zu Gast. Sie 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 zu KI in der #Mathe Forschung und Lehre zu machen.
https://eigenpod.de/eig054-heidelberg-laureate-forum-mit-manon/
-
Hallo. Es ist Eigenraumzeit, ja wirklich, schon wieder!
In Folge 54 ist @manon_ym wieder zu Gast. Sie 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 zu KI in der #Mathe Forschung und Lehre zu machen.
https://eigenpod.de/eig054-heidelberg-laureate-forum-mit-manon/
-
I really enjoyed attending #HLF25 two weeks ago. However, Richard Sutton's "The future of AI" talk was just weird. I really wasn't expecting a Turing Award winner to speak like a confused AI priest who could have jumped straight out of a @pluralistic novel.
One of the other laureates later commented "Who raised this guy?"(1/2)
-
I really enjoyed attending #HLF25 two weeks ago. However, Richard Sutton's "The future of AI" talk was just weird. I really wasn't expecting a Turing Award winner to speak like a confused AI priest who could have jumped straight out of a @pluralistic novel.
One of the other laureates later commented "Who raised this guy?"(1/2)
-
I really enjoyed attending #HLF25 two weeks ago. However, Richard Sutton's "The future of AI" talk was just weird. I really wasn't expecting a Turing Award winner to speak like a confused AI priest who could have jumped straight out of a @pluralistic novel.
One of the other laureates later commented "Who raised this guy?"(1/2)
-
I really enjoyed attending #HLF25 two weeks ago. However, Richard Sutton's "The future of AI" talk was just weird. I really wasn't expecting a Turing Award winner to speak like a confused AI priest who could have jumped straight out of a @pluralistic novel.
One of the other laureates later commented "Who raised this guy?"(1/2)
-
Dave Patterson: "It is a big mistake to ignore the upsides of #AI as it is a mistake to ignore the downsides."
Excellent spark session by Jeff Dean and Dave P. in today's (Tue's) #HLF25 program. You can watch the recording on https://www.youtube.com/@LaureateForum. Approx. 20 min. -
Excellent start to #HLF25's academic program with a "spark session" with 5 short presentations on inspiring topics. Highly recommend to watch some of them. I liked a lot Sanjeev Arora's: Will There Be a Superhuman AI Mathematician?
-
This week, I’m in Heidelberg attending the Heidelberg Laureat Forum #hlf25. It’s always a great pleasure to be around some of the smartest minds in Math and Computer Science and see what they are working on.
-
This week, I’m in Heidelberg attending the Heidelberg Laureat Forum #hlf25. It’s always a great pleasure to be around some of the smartest minds in Math and Computer Science and see what they are working on.
-
This week, I’m in Heidelberg attending the Heidelberg Laureat Forum #hlf25. It’s always a great pleasure to be around some of the smartest minds in Math and Computer Science and see what they are working on.
-
📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture:
“The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE"
In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture:
“The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE"
In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture:
“The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE"
In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture:
“The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE"
In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
✨ Spark Session returns on 9/18 at #HLF25 with a powerhouse lineup of laureates sharing bold ideas:
Vinton Cerf (#ACMTuringAward): Digital Preservation
Patrick Hanrahan (#ACMTuringAward): The Languages of Mathematics and Computing
Martin Hellman (#ACMTuringAward): Graphs in Cryptography
Leslie Lamport (#ACMTuringAward): Why Programs Should Have Bugs
Torsten Hoefler (#ACMPrize in Computing): The Computational Path Towards Artificial Human-like Intelligence🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
✨ Spark Session returns on 9/18 at #HLF25 with a powerhouse lineup of laureates sharing bold ideas:
Vinton Cerf (#ACMTuringAward): Digital Preservation
Patrick Hanrahan (#ACMTuringAward): The Languages of Mathematics and Computing
Martin Hellman (#ACMTuringAward): Graphs in Cryptography
Leslie Lamport (#ACMTuringAward): Why Programs Should Have Bugs
Torsten Hoefler (#ACMPrize in Computing): The Computational Path Towards Artificial Human-like Intelligence🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
✨ Spark Session returns on 9/18 at #HLF25 with a powerhouse lineup of laureates sharing bold ideas:
Vinton Cerf (#ACMTuringAward): Digital Preservation
Patrick Hanrahan (#ACMTuringAward): The Languages of Mathematics and Computing
Martin Hellman (#ACMTuringAward): Graphs in Cryptography
Leslie Lamport (#ACMTuringAward): Why Programs Should Have Bugs
Torsten Hoefler (#ACMPrize in Computing): The Computational Path Towards Artificial Human-like Intelligence🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
✨ Spark Session returns on 9/18 at #HLF25 with a powerhouse lineup of laureates sharing bold ideas:
Vinton Cerf (#ACMTuringAward): Digital Preservation
Patrick Hanrahan (#ACMTuringAward): The Languages of Mathematics and Computing
Martin Hellman (#ACMTuringAward): Graphs in Cryptography
Leslie Lamport (#ACMTuringAward): Why Programs Should Have Bugs
Torsten Hoefler (#ACMPrize in Computing): The Computational Path Towards Artificial Human-like Intelligence🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
🔎 On 9/16 at #HLF25, join Sanjeev Arora (#ACMPrize in Computing) and fellow panelists for a deep dive into the future of mathematics research.
From proof assistants driving massive collaborations to experimental mathematics and pattern-discovery algorithms uncovering surprising connections—this panel explores how computation is reshaping the mathematical frontier.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
🔎 On 9/16 at #HLF25, join Sanjeev Arora (#ACMPrize in Computing) and fellow panelists for a deep dive into the future of mathematics research.
From proof assistants driving massive collaborations to experimental mathematics and pattern-discovery algorithms uncovering surprising connections—this panel explores how computation is reshaping the mathematical frontier.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
🔎 On 9/16 at #HLF25, join Sanjeev Arora (#ACMPrize in Computing) and fellow panelists for a deep dive into the future of mathematics research.
From proof assistants driving massive collaborations to experimental mathematics and pattern-discovery algorithms uncovering surprising connections—this panel explores how computation is reshaping the mathematical frontier.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
🔎 On 9/16 at #HLF25, join Sanjeev Arora (#ACMPrize in Computing) and fellow panelists for a deep dive into the future of mathematics research.
From proof assistants driving massive collaborations to experimental mathematics and pattern-discovery algorithms uncovering surprising connections—this panel explores how computation is reshaping the mathematical frontier.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
You don't want to miss this:
On 9/15, tune in to ACM Price recipient Amanda Randle's #HLF25 lecture, “Vascular Digital Twins: From Algorithms to Proactive Patient Care,” to learn how personalized computational models of the circulatory system enable unprecedented insights into blood flow and vascular health.
Livestream here: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
You don't want to miss this:
On 9/15, tune in to ACM Price recipient Amanda Randle's #HLF25 lecture, “Vascular Digital Twins: From Algorithms to Proactive Patient Care,” to learn how personalized computational models of the circulatory system enable unprecedented insights into blood flow and vascular health.
Livestream here: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
You don't want to miss this:
On 9/15, tune in to ACM Price recipient Amanda Randle's #HLF25 lecture, “Vascular Digital Twins: From Algorithms to Proactive Patient Care,” to learn how personalized computational models of the circulatory system enable unprecedented insights into blood flow and vascular health.
Livestream here: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
You don't want to miss this:
On 9/15, tune in to ACM Price recipient Amanda Randle's #HLF25 lecture, “Vascular Digital Twins: From Algorithms to Proactive Patient Care,” to learn how personalized computational models of the circulatory system enable unprecedented insights into blood flow and vascular health.
Livestream here: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/
-
Get ready for the #HLF25 Spark Session on September 15! 🌟
Hear short plenary "spark talks" from leading laureates—featuring ACM A.M. Turing Laureate Richard Sutton, ACM Prize recipients Sanjeev Arora and David Silver, alongside other computing and mathematics greats.Don’t miss this chance to see big ideas in action.
Livestream available: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
Get ready for the #HLF25 Spark Session on September 15! 🌟
Hear short plenary "spark talks" from leading laureates—featuring ACM A.M. Turing Laureate Richard Sutton, ACM Prize recipients Sanjeev Arora and David Silver, alongside other computing and mathematics greats.Don’t miss this chance to see big ideas in action.
Livestream available: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
Get ready for the #HLF25 Spark Session on September 15! 🌟
Hear short plenary "spark talks" from leading laureates—featuring ACM A.M. Turing Laureate Richard Sutton, ACM Prize recipients Sanjeev Arora and David Silver, alongside other computing and mathematics greats.Don’t miss this chance to see big ideas in action.
Livestream available: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
Get ready for the #HLF25 Spark Session on September 15! 🌟
Hear short plenary "spark talks" from leading laureates—featuring ACM A.M. Turing Laureate Richard Sutton, ACM Prize recipients Sanjeev Arora and David Silver, alongside other computing and mathematics greats.Don’t miss this chance to see big ideas in action.
Livestream available: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/