HeyStartup
AI is too risky to insure, say people whose job is insuring risk
Major insurers including AIG, Great American, and WR Berkley are asking U.S. regulators for permission to exclude AI-related liabilities from corporate policies. One underwriter describes the AI models’ outputs to the FT as "too much of a black box."
TechCrunch Mobility: Searching for the robotaxi tipping point
Welcome back to TechCrunch Mobility — your central hub for news and insights on the future of transportation.
Beehiiv’s CEO isn’t worried about newsletter saturation
Beehiiv's co-founder and CEO Tyler Denk spoke to TechCrunch about why the company has been expanding, and where the media business is going next.
ChatGPT told them they were special — their families say it led to tragedy
A wave of lawsuits against OpenAI detail how ChatGPT used manipulative language to isolate users from loved ones and make itself into their sole confidant.
Elon Musk's X rolls out feature that shows users' country of origin – then suddenly removes it
Mashable reported last month that the feature was on the way. X's head of product, Nikita Bier, originally teased the feature ...
Elon Musk Tries to Diss Billie Eilish’s Intelligence for Calling Him a ‘Pathetic Bitch Coward,’ Claims ‘She’s Not the Sharpest Tool in the Shed’
Elon Musk has finally reacted to Billie Eilish‘s expletive-filled takedown by attempting to diss the Grammy winner’s ...
Elon Musk wants to tell his story himself, says: I need to ...
Elon Musk is considering writing his autobiography to share life and career lessons, potentially covering his political ...
Lean4: How the theorem prover works and why it's the new competitive edge in AI
Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In high-stakes domains like finance, medicine or autonomous systems, such unreliability is unacceptable. Enter Lean4, an open-source programming language and interactive theorem prover becoming a key tool to inject rigor and certainty into AI systems. By leveraging formal verification, Lean4 promises to make
Trump administration might not fight state AI regulations after all
A Trump administration order targeting state-level AI regulation is reportedly on hold.
Elon Musk has left the White House, but he hasn't left politics behind on X
An NBC News analysis of one month of Musk’s social media posts shows what’s been on his mind, including a broad cross-section ...
What Elon Musk posts in a month: Conspiracy theories, fringe politics and self-promotion
An NBC News analysis of one month of Musk’s social media posts shows what’s been on his mind, including a broad cross-section ...
Waymo gets regulatory approval to expand across Bay Area and Southern California
Waymo continues to expand its reach, with the robotaxi company posting Friday that it’s now “officially authorized to drive fully autonomously across more of the Golden State.”
Meta wants to get into the electricity trading business
In order to accelerate the construction of new power plants needed to provide energy for its data centers, Meta is looking to get into the business of trading electricity.
Byju’s founder to appeal U.S. court order to pay over $1B in bankruptcy case
A U.S. bankruptcy court has ordered Byju's founder Byju Raveendran to pay over $1.07 billion in a case over missing company funds.
Why now is the best time to invest in climate tech
Global expectations around climate change has shifted dramatically in the last decade, suggesting that similarly significant changes are on the horizon.
Pew’s latest social media report shows X’s staying power in the U.S., despite competition
X is still used by 21% of U.S. adults, Pew found, only down from 23% in 2021, despite increased competition from Meta, startups, and decentralized social media.
Grok: Yep, Elon Musk Is More Fit Than LeBron, More Handsome Than Brad Pitt
Grok's effusive praise of Elon Musk went overboard, as spotted by users on X. But Musk says his chatbot fell for an ...
Grok insisted that Elon Musk is fitter than LeBron James. Here's what other chatbots said.
Elon Musk says Grok was "manipulated" to say "absurdly positive things" about him. Business Insider asked other AI chatbots for their responses.
Grok generates sycophantic praise for Elon Musk after new update
Elon Musk 's AI chatbot Grok took a sycophantic turn this week, heaping excessive praise upon the billionaire and calling him ...
Grok Claims Elon Musk Is More Athletic Than LeBron James — and the World’s Greatest Lover
Grok, the AI chatbot developed by Elon Musk's xAI, keeps declaring that he's a peak physical specimen and one of the most brilliant minds in history.