About

Jonas Kgomo

Jonas Kgomo is a research engineer and founder of Equiano Institute. He studied mathematics at Istanbul University and Computer Science at Sussex University. He is also a researching human style theorem provers ⤴at Cambridge University under Sir. Timothy Gowers and AI alignment ⤴, ethics andeconomics ⤴. Recently, hacking on a collaborative software. Previously atEnterpreneur First ⤴. I am contributing to the Plurality Book ⤴by Glen Weyl

Photography
Jonas Kgomo

Notes

Loose, unopinionated notes on seeding ideas

On Digital Auto-Synesthesia
Vertical Network States
Plural AI Governance

Work History

I have worked in a variety of fields, including computer science, mathematics, and physics. I have also been involved in research in the areas of machine learning, computer vision, and computer graphics.

Equiano Institute

Cambridge University

Cohere4AI

Iris AI

Bohr Technology

VR First

Projects : Demo Scenes

I have worked in a variety of fields, including computer science, mathematics, and physics. I have also been involved in research in the areas of machine learning, computer vision, and computer graphics.

Theorem Proving

Human-style old-school theorem provers

wtgowers.github.io

Simulacra VR

Developing virtual reality music instrument app that lets you create and play music

Red-teaming software for LLMs

Security software for LLMs

github.com

RLHF with OpenAI

Reinforcement learning framework with OpenAI

rlhf.app