Log in


A global collaboration of engineers, scientists, and other domain experts, funded by philanthropists,

building the Gold Standard of Artificial General Intelligence, for all of mankind.

(Well, that's the plan!)



All of our published videos are collected here:

  • a series of talks describing the Big Mother project:
    • event: 2019-11-29 - video: The Big Mother AGI Framework - Part 01 (Introduction & motivation, Big Mother, AI, AGI)
    • event: 2020-01-17 - video: The Big Mother AGI Framework - Part 02 (Major design choices, project management, formal systems)
    • event: 2020-02-21 - video: The Big Mother AGI Framework - Part 03 (Propositional logic, natural deduction theorem-proving)
    • event: 2020-03-20 - video: The Big Mother AGI Framework - Part 04 (FOLEQ: First-order logic with equality)
    • event: 2020-04-04 - video: The Big Mother AGI Framework - Part 05 (Infinite sets, bags, sequences, and cardinal and ordinal numbers)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 06 (Building NBG set theory on top of FOLEQ)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 07 (Metamathematics, getting an AGI to think metamathematically)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 08 (Program verification, program synthesis)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 09 (Hardware synthesis, system synthesis, witness synthesis)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 10 (Auto-refactoring, speedups)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 11 (Truth, belief, and consciousness)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 12 (Belief synthesis: Unified Belief Theory)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 13 (Educating the machine, Part 1 - sound and vision)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 14 (Educating the machine, Part 2 - all world knowledge)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 15 (From oracle to agent: autonomous planning)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 16 (From shut-in to multi-bot: sensors and effectors)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 17 (The Big Mother Roadmap, workgroups G01-G02)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 18 (Deduction: workgroups A01-A06)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 19 (Abduction: workgroups B01-B05)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 20 (Induction: workgroups C01-C06)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 21 (The organisational plan: workgroups S01-S99)
    • event: 202x-??? - video: The Big Mother AGI Framework - Part 22 (Evaluation: safety, benevolence, and trustworthiness)
Powered by Wild Apricot Membership Software