Newsy.co

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.