Search results for Carnegie Mellon University
AI & Enterprise
Cardano founder shocked by advances in AI mathematical proofing
Cardano founder Charles Hoskinson said AI is advancing faster than expected, reaching a level where it can generate complex mathematical proofs and formally verify them. He highlighted AI-generated claims tied to the Navier-Stokes equations, a Millennium Prize problem, and said he did not anticipate AI completing proofs directly. Hoskinson warned that the provenance of AI-generated results and protection of research data need scrutiny, calling for private AI environments to safeguard sensitive information and intellectual property.
Telecommunications & Media
Apple has not abandoned foldable Mac development; soft keyboard is key
Apple’s foldable Mac may remain a long-term project rather than being discontinued, an analysis said, citing the difficulty of matching a laptop-level keyboard experience when the screen is unfolded. The report said a dynamic hardware keyboard that changes layout by app is one proposed step, while the ultimate goal could be using the display itself as a keyboard. Apple has previously outlined related patented approaches, including haptics and surface texture cues.
Industry
Ryu Jae-cheol (류재철) says LG Electronics making physical AI bet to drive meaningful change
Ryu Jae-cheol, CEO of LG Electronics, hosted a North America Tech Conference in San Francisco on Aug. 29 to secure overseas R&D talent, the company said. About 100 participants attended, including PhD researchers from major U.S. universities and experienced R&D staff from big tech and startups. LG Electronics presented robotics, AI data center cooling and mobility as key growth pillars based on physical AI, and outlined data and manufacturing strengths.
-
AI & Enterprise
Moonshot AI in talks with U.S. cloud big three on revenue sharing for Kimi K3 model
-
Mobility
Surge in self-driving taxis in city centres raises unexpected incident issues
-
AI & Enterprise
LG, UNESCO launch AI ethics online education program
-
Industry
Silicon Valley takes cautious look at China’s Kimi K3 despite benchmark lead
-
AI & Enterprise
Robotics AI model race pits world models against VLA
-
AI & Enterprise
Race to develop \'world models\' targets robots, games and weather forecasting
-
Industry
Nvidia unveils ENPIRE self-training robot framework, achieves 99 percent success rate with 8 robots
-
AI & Enterprise
U.S. researchers flag five misconceptions about AI-blockchain combination
-
Mobility
Waymo, Tesla were preceded by a car that hit 180 kph in autonomous driving in 1995
-
Industry
Tesla FSD safety claims questioned; some internal AI staff say they do not trust it
-
Games & Commerce
Naver D2SF invests in user judgement prediction AI startup Clonlabs
-
People
Korea Exchange appoints Han Gu as executive director
-
AI & Enterprise
Jensen Huang says now is best time to start career amid AI job fears
-
AI & Enterprise
AI data centers in U.S. seen causing $25 billion a year in environmental damage costs
-
Automotive
Tesla\'s Grok AI in cars proves more dangerous than expected in test