Forwarded from the proof is by magic.
https://arxiv.org/abs/2207.04779
«A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the gap between the different definitions of a proof and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.»
«A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the gap between the different definitions of a proof and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.»
arXiv.org
Mathematical Proof Between Generations
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique...
Forwarded from образотворчо просвітницька спілка квант войд буддизм енджоерів (аскольд)
Forwarded from Homo Technicus
Сьогодні ми публікуємо перший випуск першого українського подкасту про ризики ШІ і алайнмент!
Епізод був зроблений більше місяця тому, але все не було часу робити маркетинг. Зараз теж нема, тому публікуємо без маркетингу і сподіваємося на силу репостів.
Далі плануємо публікувати випуски раз на 1-2 тижні.
У пілотному випуску говоримо про сутність інтелекту, різницю між AI, AGI, ASI, таймлайни і темпи розвитку.
Далі буде один випуск про думки експертів і один про пояснення основних аргументів щодо ризиків. Після цього - орієнтуємося на побажання аудиторії, і також запрошуємо гостей.
Подкаст зроблено з моїм найкращим другом, фізико-математиком і трохи програмістом, який зараз захищає нас в лавах ЗСУ.
Youtube
Apple Podcasts
Spotify
Podbean
Епізод був зроблений більше місяця тому, але все не було часу робити маркетинг. Зараз теж нема, тому публікуємо без маркетингу і сподіваємося на силу репостів.
Далі плануємо публікувати випуски раз на 1-2 тижні.
У пілотному випуску говоримо про сутність інтелекту, різницю між AI, AGI, ASI, таймлайни і темпи розвитку.
Далі буде один випуск про думки експертів і один про пояснення основних аргументів щодо ризиків. Після цього - орієнтуємося на побажання аудиторії, і також запрошуємо гостей.
Подкаст зроблено з моїм найкращим другом, фізико-математиком і трохи програмістом, який зараз захищає нас в лавах ЗСУ.
Youtube
Apple Podcasts
Spotify
Podbean
YouTube
Від Сірі до Скайнету: AI, AGI, OMG
Штучний інтелект, AGI, суперінтелект: визначення, властивості, таймлайни.