#acmturingaward — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #acmturingaward, aggregated by home.social.
-
Where did 2025 leave the AI doomers? MIT Tech Review talked to 20 people who study or advocate AI safety and governance—including #ACMTuringAward recipients Geoffrey Hinton and Yoshua Bengio—to see if the recent setbacks and general vibe shift had altered their views.
While Geoffrey Hinton is not sure what’s coming, Yoshua Bengio wishes he’d seen the risks sooner.
Learn more: https://www.technologyreview.com/2025/12/15/1129171/the-ai-doomers-feel-undeterred/ #TechNews #AIdoomers
-
📖 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 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/ -
#ACMPrize
#2024ACMPrize
#ACMTuringAward» #ReinforcementLearning
An Introduction
1998
standard reference...cited over 75,000
...
prominent example of #RL
#AlphaGo victory
over best human #Go players
2016 2017
....
recently has been the development of the chatbot #ChatGPT
...
large language model #LLM trained in two phases ...employs a technique called
reinforcement learning from human feedback #RLHF «aka cheap labor unnamed in papers
https://awards.acm.org/about/2024-turing
2/2
-
#ACMPrize
#2024ACMPrize
#ACMTuringAward» #ReinforcementLearning
An Introduction
1998
standard reference...cited over 75,000
...
prominent example of #RL
#AlphaGo victory
over best human #Go players
2016 2017
....
recently has been the development of the chatbot #ChatGPT
...
large language model #LLM trained in two phases ...employs a technique called
reinforcement learning from human feedback #RLHF «aka cheap labor unnamed in papers
https://awards.acm.org/about/2024-turing
2/2
-
#ACMPrize
#2024ACMPrize
#ACMTuringAward» #ReinforcementLearning
An Introduction
1998
standard reference...cited over 75,000
...
prominent example of #RL
#AlphaGo victory
over best human #Go players
2016 2017
....
recently has been the development of the chatbot #ChatGPT
...
large language model #LLM trained in two phases ...employs a technique called
reinforcement learning from human feedback #RLHF «aka cheap labor unnamed in papers
https://awards.acm.org/about/2024-turing
2/2
-
#ACMPrize
#2024ACMPrize
#ACMTuringAward» #ReinforcementLearning
An Introduction
1998
standard reference...cited over 75,000
...
prominent example of #RL
#AlphaGo victory
over best human #Go players
2016 2017
....
recently has been the development of the chatbot #ChatGPT
...
large language model #LLM trained in two phases ...employs a technique called
reinforcement learning from human feedback #RLHF «aka cheap labor unnamed in papers
https://awards.acm.org/about/2024-turing
2/2
-
#ACMPrize
#2024ACMPrize
#ACMTuringAward» #ReinforcementLearning
An Introduction
1998
standard reference...cited over 75,000
...
prominent example of #RL
#AlphaGo victory
over best human #Go players
2016 2017
....
recently has been the development of the chatbot #ChatGPT
...
large language model #LLM trained in two phases ...employs a technique called
reinforcement learning from human feedback #RLHF «aka cheap labor unnamed in papers
https://awards.acm.org/about/2024-turing
2/2
-
"Tools for building new systems often require temporary scaffolding to reach the point where the intended system can support itself." Latest think piece from #ACMTuringAward recipient Vint Cerf. https://bit.ly/3G0zmC4