The Ledger
Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.
why aren't all 13 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 0 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable
Domingos: A Venture Capital Fund Appointed an Algorithm as a Voting Director
“For example, there's this venture fund recently that announced that one of their directors is now going to be an algorithm. There's seven directors on the board, and one of them's an algorithm. So their algorithm doesn't decide anything all by itself, but it d…”
Domingos: Machine Learning Algorithms Typically Outperform Human Doctors in Medical Diagnosis
“Machines are remarkably better than human doctors at doing all types of medical diagnosis, not just from x-rays, but from, you know, symptoms, right? You have a patient, you have their symptoms, what is the diagnosis? And even very simple machine learning algo…”
Domingos: Some Hedge Funds Are Completely Run by Machine Learning
“So for example, these days there are hedge funds that are completely run by machine learning algorithms for the most part, you know, hedge fund will use machine learning as one of its inputs. But there are some where the machine learning algorithms, they look …”
Domingos: Evolutionary Machine Learning Generated Patented Circuits Outperforming Human Designs
“People have developed new types of radios and amplifiers and electronic circuits using this type of machine learning, and they've actually gotten patents for them. So they work better than the ones that were developed by human engineers. They're typically comp…”
Domingos: Automated Robot Scientist 'Eve' Discovered a New Malaria Drug
“A couple years ago, Eve actually discovered the new malaria drug.”
Domingos: Human-AI Centaur Teams Outperform Standalone Computers in Chess
“The best chess players in the world today are what are called centaurs in the community. They're a team of a human and a computer. So a human and a computer can actually, together, can actually beat the computer.”
Domingos: The Stock Market Is Largely Algorithms Modeling Each Other
“The stock market is largely a bunch of algorithms trading against each other. And in fact, what these algorithms are doing Whether or not they know it is modeling each other.”
Domingos: Major ML Algorithms Are Mathematically Proven Universal Function Approximators
“And there are several major such algorithms today that have mathematical proofs that if you give them enough data, they can learn any function.”
Domingos: Netflix and IBM Watson Already Use Basic Forms of Meta-Learning
“And this type of meta learning in certain basic forms is actually already widely used today. Like for example, Netflix uses this type of thing to recommend movies. It doesn't just use one learning algorithm. It uses a whole bunch of them. And then another algo…”
Domingos: IBM's Deep Blue Used Classical Search With No Machine Learning
“So Deep Blue was very much classic AI. There was no machine learning involved. Deep Blue essentially, it was just doing a very a clever and very extensive search for the best moves to make.”
Domingos: AlphaGo Combined Classical AI Search With Deep Learning Neural Networks
“And so what DeepMind did with AlphaGo was to actually combine some of the classic AI, you know, game search with deep learning, with this type of you know, neural network approach to do the evaluation.”
Domingos: AlphaGo Trained on 30 Million Human Moves Before Self-Play
“So AlphaGo, the first thing that AlphaGo did was it learned from all the existing, the entire existing database of Go matches played by human masters. That was the first thing it did was learn from those, right? Thirty million moves or something like that is t…”
Domingos: AI Self-Play Dates Back to Arthur Samuel's 1950s Checkers System
“This is actually a very, very old idea in machine learning. It's one of the oldest ideas. It goes all the way back to the fifties. And this researcher at IBM called Arthur Samuel, who actually wrote the first machine learning system to learn to play a game. An…”