- Видео 581
- Просмотров 197 882
metauni
Добавлен 9 июл 2018
A community of scholars in the Metaverse.
GPT-4, DALL-E 3 and other updates - Disruption Seminar
We start by discussing recent updates to AI models like GPT-4 and DALL-E 3, then some discussion of Marc Andreessen and technological accelerationism, as well as the diversity of minds and the need for an expansive view of rights, including potential obligations to uplift animal intelligence.
This discussion is from the Disruption seminar: metauni.org/disruption
About: Towards a science of technological disruption. An open discussion of technological disruption, how it works, what it means and how to play a positive part in it.
This video was recorded in The Rising Sea, as a part of metauni day 37 in 2023.
You can join this seminar from anywhere, on any device, at www.metauni.org. All are wel...
This discussion is from the Disruption seminar: metauni.org/disruption
About: Towards a science of technological disruption. An open discussion of technological disruption, how it works, what it means and how to play a positive part in it.
This video was recorded in The Rising Sea, as a part of metauni day 37 in 2023.
You can join this seminar from anywhere, on any device, at www.metauni.org. All are wel...
Просмотров: 44
Видео
The Culture and technological accelerationism - Disruption Seminar
Просмотров 5628 дней назад
The Culture novels by Iain Banks, technological accelerationism, and the ethics of artificial intelligence, consciousness and personhood. This discussion is from the Disruption seminar: metauni.org/disruption About: Towards a science of technological disruption. An open discussion of technological disruption, how it works, what it means and how to play a positive part in it. This video was reco...
Book 6 Propositions 5, 6 - Euclid Seminar
Просмотров 1828 дней назад
This talk is from the Euclid seminar: metauni.org/euclid About: Euclid's Elements Book 6. This video was recorded on 28/11/2024 in The Rising Sea, as a part of metauni day. You can join this seminar from anywhere, on any device, at www.metauni.org. All are welcome. #metauni #euclid
Trends in AI development - Disruption seminar
Просмотров 35Месяц назад
This seminar discussed a variety of topics related to artificial intelligence, including the development of open-source models, the role of data in training AI models, and the potential risks associated with increasingly powerful AI systems. The speakers also discussed the increasing interest in AI from the national security community and the potential implications of this trend. This discussio...
SGLD and singularities - Singular Learning Theory Seminar
Просмотров 61Месяц назад
In this talk Rohan Hitchock discusses some theoretical results about gradient descent and stochastic gradient langevin dynamics (SGLD). This talk is from the Singular Learning Theory seminar: metauni.org/slt About: Singularities are knowledge. A learning seminar on Watanabe’s Singular Learning Theory: algebraic geometry serves statistical learning theory. This video was recorded on 28/11/24, as...
Back to AI safety - Disruption seminar
Просмотров 56Месяц назад
This week we revisit the topic of AI safety, updating on a few open threads from previous seminars. This includes a discussion of misalignment and catastrophic risk, but we focus mainly on the various categories of misuse risks. This discussion is from the Disruption seminar: metauni.org/disruption About: Towards a science of technological disruption. An open discussion of technological disrupt...
Prospects for LLMs and robots - Disruption seminar
Просмотров 37Месяц назад
This seminar explores the potential of robotics powered by large language models. We discuss the feasibility of using deep learning breakthroughs to train robots on diverse physical tasks, similar to how LLMs are trained on language data. They consider the implications of incorporating LLMs into robots, touching on the role of human values in AI training and the potential for robots to achieve ...
Memory, Intelligence and Agency - Disruption seminar
Просмотров 43Месяц назад
We explore the role of memory in large language models, discussing its importance for intelligence and agency. We compare different forms of memory in these models to human memory, including episodic and working memory, and examine how these relate to tasks like driving. Finally, we touch on potential dystopian futures where AI may develop its own sense of identity and humans become overly reli...
Kicking off 2024, transhumanist style - Disruption seminar
Просмотров 53Месяц назад
We explore transhumanism as a potential solution to human suffering, with Adam arguing that even psychological challenges like status anxiety could be addressed through biological modifications. The discussion then transitions to recent developments in AI and robotics, examining the technical challenges of integrating AI into physical systems. This discussion is from the Disruption seminar: met...
Book 4, Propositions 1, 2, 3 - Euclid Seminar 51
Просмотров 26311 месяцев назад
This talk is from the Euclid seminar: metauni.org/euclid About: Euclid's Elements Book 4. This video was recorded on 4/1/24 in The Rising Sea, as a part of metauni day 1. You can join this seminar from anywhere, on any device, at www.metauni.org. All are welcome. #metauni #euclid
Book 3, Propositions 35, 36, 37 - Euclid Seminar 50
Просмотров 7011 месяцев назад
This talk is from the Euclid seminar: metauni.org/euclid About: Euclid's Elements Book 3. This video was recorded on 21/12/23 in The Rising Sea, as a part of metauni day 41. You can join this seminar from anywhere, on any device, at www.metauni.org. All are welcome. #metauni #euclid
Book 3 Propositions 33, 34 - Euclid Seminar 49
Просмотров 3411 месяцев назад
This talk is from the Euclid seminar: metauni.org/euclid About: Euclid's Elements Book 3. This video was recorded on 14/12/23 in The Rising Sea, as a part of metauni day 40. You can join this seminar from anywhere, on any device, at www.metauni.org. All are welcome. #metauni #euclid
Book 3, Propositions 27, 28, 29 - Euclid Seminar 46
Просмотров 2111 месяцев назад
This talk is from the Euclid seminar: metauni.org/euclid About: Euclid's Elements Book 3. This video was recorded on 12/10/23 in The Rising Sea, as a part of metauni day 36. You can join this seminar from anywhere, on any device, at www.metauni.org. All are welcome. #metauni #euclid
Book 3 Proposition 32 - Euclid Seminar 48
Просмотров 1311 месяцев назад
This talk is from the Euclid seminar: metauni.org/euclid About: Euclid's Elements Book 3. This video was recorded on 30/11/23 in The Rising Sea, as a part of metauni day 38. You can join this seminar from anywhere, on any device, at www.metauni.org. All are welcome. #metauni #euclid
Book 3, Propositions 30, 31 - Euclid Seminar 47
Просмотров 1611 месяцев назад
This talk is from the Euclid seminar: metauni.org/euclid About: Euclid's Elements Book 3. This video was recorded on 19/10/23 in The Rising Sea, as a part of metauni day 37. You can join this seminar from anywhere, on any device, at www.metauni.org. All are welcome. #metauni #euclid
Book 3, Propositions 25, 26 - Euclid Seminar 45
Просмотров 711 месяцев назад
Book 3, Propositions 25, 26 - Euclid Seminar 45
Book 3, Propositions 21, 22, 23, 24 - Euclid Seminar 44
Просмотров 1511 месяцев назад
Book 3, Propositions 21, 22, 23, 24 - Euclid Seminar 44
metauni-dev - Tech demo of dialogues
Просмотров 6411 месяцев назад
metauni-dev - Tech demo of dialogues
GPT on a TPU VM with PyTorch/XLA - SLT Seminar 52
Просмотров 18011 месяцев назад
GPT on a TPU VM with PyTorch/XLA - SLT Seminar 52
Bayesian and Dynamical Transitions in a Toy Model of Superposition - SLT Seminar 53
Просмотров 9111 месяцев назад
Bayesian and Dynamical Transitions in a Toy Model of Superposition - SLT Seminar 53
Complexity beyond parameter counting - SLT Seminar 54
Просмотров 3711 месяцев назад
Complexity beyond parameter counting - SLT Seminar 54
A mathematical theory of semantic development in deep neural networks - SLT Seminar 51
Просмотров 45211 месяцев назад
A mathematical theory of semantic development in deep neural networks - SLT Seminar 51
Open Source AI Models - Disruption Seminar 58
Просмотров 165Год назад
Open Source AI Models - Disruption Seminar 58
Book 3, Proposition 16 - Euclid Seminar 43
Просмотров 117Год назад
Book 3, Proposition 16 - Euclid Seminar 43
Advances in AI and Anti-Aging Research - Disruption Seminar 57
Просмотров 111Год назад
Advances in AI and Anti-Aging Research - Disruption Seminar 57
Book 3, Propositions 14 & 15 - Euclid Seminar 42
Просмотров 44Год назад
Book 3, Propositions 14 & 15 - Euclid Seminar 42
Quantifying Degeneracy in Singular Models - SLT Seminar 48
Просмотров 111Год назад
Quantifying Degeneracy in Singular Models - SLT Seminar 48
Stochastic Processes - Physics Seminar 3
Просмотров 209Год назад
Stochastic Processes - Physics Seminar 3
Book 3, Propositions 11, 12, 13 - Euclid Seminar 41
Просмотров 39Год назад
Book 3, Propositions 11, 12, 13 - Euclid Seminar 41
I didn't see the video and I feel already the urge to come over there and clean that blackboard... or greenboard...
Why is there an ape, rubbing cream with a dog comb on his forehead telling me I should go to therapy as an advertisement for what I believe is jackassing playing before the math lecture video? It seems wrong.
thanks for the upload <3
This is such a great resource!
At 53:00, would the delta E change needed to halve the parameter range be division by 4^k instead of 2^k?
Yeah, that's right, oops
How is Topoi a word? Topos is French, it must be Toposes.
What is the name of the book you prefer to get all these informations,?
Why would a super intelligent system have paperclips as it's utility function goal in the first place though? Every single talk about the orthogonality thesis makes the assumption that the ASI will have some weird goal-0 utility function without justification.
Paperclips is not intended as a realistic example, it's just a kind of extreme case to illustrate the point. Do you think it's unrealistic that someone will create an agent that says "maximise the value of this cryptocurrency"?
Hi. i cant create Circular rigidbody, is it possible?
@ashnur you are right. They are not. Particle density typically is the number of particle per unit volume if you are in 3D space. Probability density is a function that gives you the Probability of measuring (or obtaining) a particular value of some variable over the variables it terms it is define
Within the category C of lectures, one should apply a method F called cleaning with an Object O called Wet sponge. This would make the space called Topos a lot clearer and as such the organisation of our knowledge a bit less opaque. Thanks for the well paced lecture, which should have been issued as a podcast rather than a video.
lol
Isn't the second part of the proof obvious? One can use A as starting point, then because of normality find an open U1 with A<U1 (subset), make closure, which is closed set, find U2 again because of normality and so on. This gives an infinite countable set, which can be mapped to the natural numbers and then to Q for enumeration of the open sets Ui.
Nice , saludos desde Perú gran proyecto que tienes
Why are you teaching in Roblox?
Because it's cool
I agree this is very cool
Wonderful
In your experience what has been the most challenging class of problems for GPT4?
Following long algorithms like long division, where small errors or superficial understanding can compound. It's quite similar to watching human students fail, in some ways.
welcome to roblox university
Watching this I'm thinking of how there's hardly a paradox without utility. Play both sides.
I'm a random person and this is a great lecture. Thanks!
Thanks, random person
At 12:05 you mention notes on lambda calculus, are the notes accessible to the general public anywhere?
Here therisingsea.org/post/seminar-ch/ and scroll down to "S2 2016 - Curry-Howard correspondence"
guillermo would be proud of this video
Interesting conversation. It was informative for me from a software development perspective. I appreciate you guys sharing!
You're welcome!
Why do you guys give lectures on roblox
Because it's fun
Hi. How can I learn type theory if my math background is nonexistent? and I truly mean it when I say nonexistant because I don't remember any math from high school or middle school.
You need to start with basics and come back to type theory later. If you try to shortcut you will just get frustrated and fail. Be patient and follow the curriculum of a math program at a University, you need some broad intuition and understanding of proofs before you try to learn some formalism.
@@_metauni But I'm sure that not literally all the math in high school is truly needed. Isn't there a more precise way for me to determine what math I truly need to learn as a prerequisite for type theory study?
Yes that's true. I would pick up a textbook on discrete mathematics and learn some basic set theory, and proofs about combinatorics, so you get a working knowledge of proofs by induction etc, once you get some way through that you are probably ready@@encapsulatio
@@_metauni Are there any discrete mathematics books and set theory books you can recommend that truly build everything from first principles and do not assume any knowledge about some mathematical concepts on my part? I really appreciate you taking the time to respond back. Thank you so much!
probability density not the same as the particle density, right?
w
communism isn't about social hierarchies, but yeah, very funny...
Definitely want to join some of these sessions some time. Also, could you provide any resources for learning probability theory and statistics for artificial intelligence? I'm a pure math major, but I haven't taken any probability theory classes in the past, even non-measure theoretic probability, and not knowing probability and statistics is holding me back so much in my further studies.
If you're coming from pure math, I'd usually recommend Cohn's Measure Theory Chapter 10 as the starting point.
Nice
This is so cool :O
ReactiveX (or Rx) is a library implemented in many languages, usually for web development. reactivex.io/ It was first ported to Roblox by Quenty: quenty.github.io/NevermoreEngine/api/Rx/ The implementation of Rx used in this video is originally by Anaminus: twitter.com/Anaminus/status/1582116646197813249?s=20 I’ve made some bug fixes and additions to Anaminus’ implementation, and the current versions of Rx.lua, Rxi.lua, Rxf.lua, Maid.lua can be found in the metauniOS repo: github.com/metauni/metauniOS/tree/main/src/ReplicatedStorage The code for Orbcam, which uses Rx, is also in the metauniOS repo. Server Code: github.com/metauni/metauniOS/tree/main/src/ServerScriptService/OrbService Client Code: github.com/metauni/metauniOS/tree/main/src/ReplicatedStorage/OrbController
Really clear and great lecture! And somehow I am really charmed by the use of the serene backdrop :)
Math is just better in the forest
Is there any departments in Europe you would recommend that one should apply for a masters if they're interested in singular learning theory?
There aren't many people specialising in SLT anywhere, and I know none in Europe. However, algebraic statistics is close by and for example Burnd Sturmfels is in Leipzig www.mpg.de/11383459/mathematics-in-the-sciences-sturmfels. He may know someone working on SLT in Europe (and he has supervised students in this area in the past).
@@_metauni Thanks! Hopefully one day we'll see it pick up more steam.
@@Daniel-ih4zh On that note, you might find www.lesswrong.com/posts/HtxLbGvD7htCybLmZ/singularities-against-the-singularity-announcing-workshop-on of interest
Overtime I can see this becoming something ROBLOX decide to focus on as you’re ahead of the curve I can see you being hired, I’m interested to see how you differentiate between UI assets and actual “workspace” UI assets for example buttons contrasting with environment items. I really hope this leads to animated pixel art and particles for 2D because this “API” is basically a key to a door to whole new games without just using 2D assets and parts in a 3D environment. Great work, honestly I studied a stacker game so I see how much work you’ve put into this
Fully agree! Basically, things like buttons or textlabels won't be physics objects unless you specially make them a rigid body, so it's easy to differentiate between them. Thanks a lot!
...What was the Audio Problem?...
Haha, from time to time the Roblox audio drops out and people need to reconnect.
Amazing lecture!
Thanks!
What are the prerequisites for this course
In principle close to nothing, in practice you should have some familiarity with real analysis at the level of a first course, or it will probably be a bit of a struggle at places.
@@_metauni thanks
That chalkboard is really shockingly bad.
lol, not wrong
Great lecture. Thank you Sir. I subscribed your channel.
Welcome!
1-.999… is still 0 .999… is the sum over all natural numbers of 9(10)^i This sum doesn’t converge in the hyperreals so you use the transfer principle to make this a sum over all hyper naturals Then use the transfer principle to get the answer
Seems more complex than advertised then
Having a class in roblox like this is absolutely brilliant, these are the kind of lessons I'd have eagerly prepared for
Thanks!
This is undoubtedly one of the most useful resources I've ever come across, the amount of appreciation for something like this is criminally underwhelming compared to what it should be
Nice, ya’ll should join the decentralized intelligence agency
Congratulations Alok singh
Thank you
yo
Very interesting video!
absolutely interesting and pleasant to follow, Im not longer involved in academic but always find myself back to this series to refresh my mind. Many thanks Prof. (abit paranoid that I couldn't find the video yesterday and feared that you might took them off youtube)
You're very welcome. No chance of these videos going off RUclips :)
about the aristotelian logic -> ruclips.net/video/A0gr9dJsddY/видео.html
If there is a subalgebra which separates points then the space is already Hausdorff. So I do I need to assume the space is Hausdorff?
Good point, no you don't.
lol Why I am here