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 7 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
Michael Schmidt: Fitting data with complex machine learning models is solved
“So, one interesting thing is it's actually really, really easy to fit data. It's actually, it's quite boring. You know, you have, you know, a really large, complex model. Maybe it's a neural network. Maybe it's a random forest. Or maybe it's just a really larg…”
Nutonian's Eureqa software is installed on 50,000 systems across 90 countries
“So we've been installed over, I think we're up to about 50,000 systems now in about 90 countries, and we're growing by about, you know, 1500 new users, new trials of the software per month.”
Nutonian's Eureqa software is cited in 80,000 independent peer-reviewed publications
“Seeing all the publications that are coming off where they're citing us in the results, so up to 80,000 independent peer-reviewed, you know, publications where we're directly citing the results of this cutting edge research.”
Michael Schmidt's graduate research on symbolic regression was published in Science
“We got published in Science.”
Nutonian helped the U.S. Air Force detect material cracks 10x faster
“One of our other biggest customers is the Air Force, and this is a case where they do a ton of work trying to detect when failures happen, and there's a lot of things that go into failures, and actually being able to detect when cracks form, microscopic cracks…”