# Steve Omohundro
Лучшие выпуски подкастов
Обновлено:
Stephen M. Omohundro (born 1959) is an American computer scientist whose areas of research include Hamiltonian physics, dynamical systems, programming languages, machine learning, machine vision, and the social implications of artificial intelligence. His current work uses rational economics to develop safe and beneficial intelligent technologies for better collaborative modeling, understanding, innovation, and decision making.
== Education ==
Omohundro has degrees in physics and mathematics from Stanford University (Phi Beta Kappa) and a Ph.D. in physics from the University of California, Berkeley.
AF - Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems by Joar Skalse
Link to original articleWelcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems, published by Joar Skalse on Ma…
LW - Provably Safe AI: Worldview and Projects by bgold
Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Provably Safe AI: Worldview and Projects, published by bgold on August 10, 2024 on LessWrong.
In September 2023, Max Tegmark and Steve Omoh…
LW - Provably Safe AI: Worldview and Projects by bgold
Link to original articleWelcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Provably Safe AI: Worldview and Projects, published by bgold on August 10, 2024 on LessWrong.
In September 2023, Ma…
LW - Limitations on Formal Verification for AI Safety by Andrew Dickson
Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Limitations on Formal Verification for AI Safety, published by Andrew Dickson on August 20, 2024 on LessWrong.
In the past two years there …
LW - Limitations on Formal Verification for AI Safety by Andrew Dickson
Link to original articleWelcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Limitations on Formal Verification for AI Safety, published by Andrew Dickson on August 20, 2024 on LessWrong.
In t…
AF - Limitations on Formal Verification for AI Safety by Andrew Dickson
Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Limitations on Formal Verification for AI Safety, published by Andrew Dickson on August 19, 2024 on The AI Alignment Forum.
In the past two…
The Ethics of AI with Batya Friedman & Steve Omohundro
How can we ensure technology evolves ethically in a rapidly advancing world? Neil deGrasse Tyson, Chuck Nice & Gary O’Reilly explore the challenges of designing a future where human values and AI coexist with The Future of Life Award’s 2024 recipients, Batya Friedman & Steve Omohundro.
Thanks to ou…
Steve Omohundro on Provably Safe AGI
Steve Omohundro joins the podcast to discuss Provably Safe Systems, a paper he co-authored with FLI President Max Tegmark. You can read the paper here: https://arxiv.org/pdf/2309.01933.pdf
Timestamps:
00:00 Provably safe AI systems
12:17 Alignment and evaluations
21:08 Proofs about language mode…
ПОИСКОВАЯ СИСТЕМА ПОДКАСТОВ
Вы можете использовать наш веб-сайт для поиска подкастов3,822,814и эпизодов195,613,756по людям, местам или темам.
Инвестиции в знания приносят наибольшую отдачу, поэтому я слушаю подкасты.
‐ Benjamin "Llamacorn" Franklin
ИЗМЕНИТЬ
Спасибо, что помогаете поддерживать базу подкастов актуальной.
