2026-03-12
New York Times
2 related
Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prove math problems, raised $200M at a $1.6B valuation
In January, a team of researchers at Carnegie Mellon University published a study analyzing the use of artificial intelligence technologies …
2020-10-14
CNBC
7 related
Facebook partners with Carnegie Mellon University to use AI in a bid to find new “electrocatalysts”, which help store electricity from renewable energy sources
Sam Shead / CNBC :
2019-06-26
TechCrunch
1 related
Ford-backed Argo AI will invest $15M over five years to create a center for self-driving car research at Carnegie Mellon University
and researchers! This combination of industry and academia shows #PGH continuing to lead the way on self-driving technology. https://techcrunch.com/...
2015-02-03
Wall Street Journal
9 related
Sources: Report of Google's plan for Uber rival overblown; app is only internal tool for carpooling
Uber Chases Google in Self-Driving Cars With Carnegie Mellon Deal — Uber on Monday said it formed a partnership with Carnegie Mellon University to develop driverless car and mapping technology …
Loading articles...