Machine Learning Jobs for Category Theorists
Posted by John Baez
Former Tesla engineer George Morgan has started a company called Symbolica to improve machine learning using category theory.
When Musk and his AI head Andrej Karpathy didn’t listen to Morgan’s worry that current techniques in deep learning couldn’t “scale to infinity and solve all problems,” Morgan left Tesla and started Symbolica. The billionaire Vinod Khosla gave him $2 million to prove that ideas from category theory could help.
Khosla later said “He delivered that, very credibly. So we said, ‘Go hire the best people in this field of category theory.’ ” He says that while he still believes in OpenAI’s continued success building large language models, he is “relatively bullish” on Morgan’s idea and that it will be a “significant contribution” to AI if it works as expected. So he’s invested $30 million more.
Needless to say, this raises lots of issues. Some category theorists are worried about hype. I’m more worried about what happens if this technology actually works!
But perhaps the most immediate issue is that Symbolica is hiring category theorists. It’s already hired some, and here are job ads for 6 more. They are hiring in the UK and Australia.
If category theorists are getting jobs in this field, they might as well be readers of the n-Category Café. Here are those 6 positions — you can see more detailed descriptions at the links:
Principal Category Theory Scientist - UK - Categorical Deep Learning.
Senior Category Theory Scientist - UK - Categorical Deep Learning.
Principal Category Theory Scientist - AUS - Categorical Deep Learning.
Senior Category Theory Scientist - AUS - Categorical Deep Learning.
Category Theory Scientist - AUS - Categorical Deep Learning.
For more on the math, check out these papers.
Re: Machine Learning Jobs for Category Theorists
do they realize how stupid this sounds ?
“that current techniques in deep learning couldn’t “scale to infinity and solve all problems,”
Khosla later said “He delivered that, very credibly. So we said, ‘Go hire the best people in this field of category theory.’ ”