metauni
metauni
  • Видео 581
  • Просмотров 197 882
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...
Просмотров: 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
Research Update - SLT Seminar 49
Просмотров 117Год назад
Research Update - SLT Seminar 49
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

Комментарии

  • @theentertainer1097
    @theentertainer1097 23 дня назад

    I didn't see the video and I feel already the urge to come over there and clean that blackboard... or greenboard...

  • @JulianMarkau
    @JulianMarkau 24 дня назад

    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.

  • @doyourealise
    @doyourealise 28 дней назад

    thanks for the upload <3

  • @77tigers26
    @77tigers26 29 дней назад

    This is such a great resource!

  • @animalsarkar401
    @animalsarkar401 7 месяцев назад

    At 53:00, would the delta E change needed to halve the parameter range be division by 4^k instead of 2^k?

    • @_metauni
      @_metauni 7 месяцев назад

      Yeah, that's right, oops

  • @markphc99
    @markphc99 7 месяцев назад

    How is Topoi a word? Topos is French, it must be Toposes.

  • @Game-us5zu
    @Game-us5zu 8 месяцев назад

    What is the name of the book you prefer to get all these informations,?

  • @DavidRodriguez-dy1er
    @DavidRodriguez-dy1er 8 месяцев назад

    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.

    • @_metauni
      @_metauni 26 дней назад

      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"?

  • @shonhloi1
    @shonhloi1 9 месяцев назад

    Hi. i cant create Circular rigidbody, is it possible?

  • @kekeedme
    @kekeedme 9 месяцев назад

    @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

  • @imrematajz1624
    @imrematajz1624 10 месяцев назад

    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.

  • @markborz7000
    @markborz7000 10 месяцев назад

    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.

  • @gonzalesgrandeyasserchrist2539
    @gonzalesgrandeyasserchrist2539 10 месяцев назад

    Nice , saludos desde Perú gran proyecto que tienes

  • @VanceViltrum
    @VanceViltrum 11 месяцев назад

    Why are you teaching in Roblox?

    • @_metauni
      @_metauni 11 месяцев назад

      Because it's cool

    • @VanceViltrum
      @VanceViltrum 11 месяцев назад

      I agree this is very cool

  • @beaverbuoy3011
    @beaverbuoy3011 11 месяцев назад

    Wonderful

  • @elitebyte_
    @elitebyte_ Год назад

    In your experience what has been the most challenging class of problems for GPT4?

    • @_metauni
      @_metauni Год назад

      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.

  • @emilyyyyyym
    @emilyyyyyym Год назад

    welcome to roblox university

  • @TheRevAlokSingh
    @TheRevAlokSingh Год назад

    Watching this I'm thinking of how there's hardly a paradox without utility. Play both sides.

  • @ormerodp
    @ormerodp Год назад

    I'm a random person and this is a great lecture. Thanks!

    • @_metauni
      @_metauni Год назад

      Thanks, random person

  • @evgenykuznetsov8605
    @evgenykuznetsov8605 Год назад

    At 12:05 you mention notes on lambda calculus, are the notes accessible to the general public anywhere?

    • @_metauni
      @_metauni Год назад

      Here therisingsea.org/post/seminar-ch/ and scroll down to "S2 2016 - Curry-Howard correspondence"

  • @StochasticCockatoo
    @StochasticCockatoo Год назад

    guillermo would be proud of this video

  • @teleprint-me
    @teleprint-me Год назад

    Interesting conversation. It was informative for me from a software development perspective. I appreciate you guys sharing!

  • @accountthatillusetocomment3041

    Why do you guys give lectures on roblox

  • @encapsulatio
    @encapsulatio Год назад

    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.

    • @_metauni
      @_metauni Год назад

      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.

    • @encapsulatio
      @encapsulatio Год назад

      @@_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?

    • @_metauni
      @_metauni Год назад

      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

    • @encapsulatio
      @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!

  • @ashnur
    @ashnur Год назад

    probability density not the same as the particle density, right?

  • @samuelagent
    @samuelagent Год назад

    w

  • @ashnur
    @ashnur Год назад

    communism isn't about social hierarchies, but yeah, very funny...

  • @athelstanrex
    @athelstanrex Год назад

    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.

    • @_metauni
      @_metauni Год назад

      If you're coming from pure math, I'd usually recommend Cohn's Measure Theory Chapter 10 as the starting point.

  • @gonzalesgrandeyasserchrist2539

    Nice

  • @yuuwa_rblx
    @yuuwa_rblx Год назад

    This is so cool :O

  • @_metauni
    @_metauni Год назад

    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

  • @Masivigny
    @Masivigny Год назад

    Really clear and great lecture! And somehow I am really charmed by the use of the serene backdrop :)

    • @_metauni
      @_metauni Год назад

      Math is just better in the forest

  • @Daniel-ih4zh
    @Daniel-ih4zh Год назад

    Is there any departments in Europe you would recommend that one should apply for a masters if they're interested in singular learning theory?

    • @_metauni
      @_metauni Год назад

      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).

    • @Daniel-ih4zh
      @Daniel-ih4zh Год назад

      @@_metauni Thanks! Hopefully one day we'll see it pick up more steam.

    • @_metauni
      @_metauni Год назад

      @@Daniel-ih4zh On that note, you might find www.lesswrong.com/posts/HtxLbGvD7htCybLmZ/singularities-against-the-singularity-announcing-workshop-on of interest

  • @Smurfis
    @Smurfis Год назад

    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

    • @jaipack1719
      @jaipack1719 Год назад

      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!

  • @lensmanicfeleven1847
    @lensmanicfeleven1847 Год назад

    ...What was the Audio Problem?...

    • @_metauni
      @_metauni Год назад

      Haha, from time to time the Roblox audio drops out and people need to reconnect.

  • @karinasakurai6599
    @karinasakurai6599 Год назад

    Amazing lecture!

  • @asalamkamal6365
    @asalamkamal6365 Год назад

    What are the prerequisites for this course

    • @_metauni
      @_metauni Год назад

      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.

    • @asalamkamal6365
      @asalamkamal6365 Год назад

      @@_metauni thanks

  • @alexanderlucas2659
    @alexanderlucas2659 Год назад

    That chalkboard is really shockingly bad.

  • @valentinussofa4135
    @valentinussofa4135 Год назад

    Great lecture. Thank you Sir. I subscribed your channel.

  • @biblebot3947
    @biblebot3947 Год назад

    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

    • @_metauni
      @_metauni Год назад

      Seems more complex than advertised then

  • @samuelagent
    @samuelagent Год назад

    Having a class in roblox like this is absolutely brilliant, these are the kind of lessons I'd have eagerly prepared for

  • @samuelagent
    @samuelagent Год назад

    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

  • @JackJay
    @JackJay Год назад

    Nice, ya’ll should join the decentralized intelligence agency

  • @RajpalSingh-uv8sm
    @RajpalSingh-uv8sm Год назад

    Congratulations Alok singh

  • @Millionly_
    @Millionly_ Год назад

    yo

  • @MagicMoose14587
    @MagicMoose14587 2 года назад

    Very interesting video!

  • @NguyenAn-kf9ho
    @NguyenAn-kf9ho 2 года назад

    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)

    • @_metauni
      @_metauni 2 года назад

      You're very welcome. No chance of these videos going off RUclips :)

  • @starl0rdtreizzz422
    @starl0rdtreizzz422 2 года назад

    about the aristotelian logic -> ruclips.net/video/A0gr9dJsddY/видео.html

  • @mathjitsuteacher
    @mathjitsuteacher 2 года назад

    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?

    • @_metauni
      @_metauni 2 года назад

      Good point, no you don't.

  • @darkbegin
    @darkbegin 2 года назад

    lol Why I am here