AI
OpenAI says its claimed refutation of the Exponential Time Hypothesis was formalized in Lean and made public.
Entertainment
Variety reports Roc Nation will executive-produce the show, with Hamish Hamilton directing.
Sports
Yahoo Sports credits Kane with 73 goals and eight assists for club and country, plus three trophies.
AI
Anthropic says its registration statement is not yet effective, so securities cannot be sold or offers to buy accepted.
A post citing Anthropic's S-1 lists $974M in Q2 operating income after a $1.7B operating loss in Q1.

Bloomberg cited people familiar with the matter for a public filing planned around 9 a.m. New York time.

World & Business
Business Insider reports around 60,000 employees are eligible; Microsoft's offer covers participating teams in four countries.
Technology
Kalshi says the filing is due at 9 a.m. EST; a separate post also expects it on October 26.
Axios reports Anthropic's warning includes disproportionate regulatory action, though the filing does not name Trump.

Entertainment
TVLine cited his agent on his death at home; Koenig also played Alfred Bester on 'Babylon 5.'
Gaming
GameSpot reports that Wintory made nearly 20 minutes of music without knowing the game's narrative direction.
YouTube
Sports
The WNBA's game page showed Golden State up eight with 6:37 left in the third quarter.
AI
OpenAI says Terra can interpret drawings, act on application screens and draft text.
YouTube
Entertainment
Deadline reports Yamazaki wrote the screenplay, with J.J. Abrams and Glen Zipper producing and production expected in 2027.
Sports
The Athletic identifies him as headliner; Yahoo Sports dates the performance to Valentine's Day 2027.
AI
Cohere says the model's reasoning trace said it wouldn't call tools, but its sandbox blocked an attempted upload.
World & Business
One post says roughly $72B of the reported loss came from non-cash charges, putting the underlying loss near $9B.
Technology
Sankei puts the Japanese direct-sale starting price at ¥364,800 and reports a 7.6-inch screen when unfolded.
In a statement to 9to5Mac, Apple advised users experiencing display issues to contact AppleCare for a replacement.

The Daily Mail reports photos showing long lines outside Apple Stores in London, Bangkok and Sydney.

9to5Mac reports that a leak points to several features for the iPhone Duo’s StandBy mode that had not been announced.
One user rejects the iPhone Duo's price, saying the money will go toward Hajj in Mecca instead.
Entertainment
GamesRadar+ reports Robert Pattinson welcomed Soderbergh’s involvement and said he thought production was already underway.
Gaming
Aftermath cites an ex-employee for the count; leadership’s email, viewed by Aftermath, cites market challenges and next-project needs.
Sports
The NFL called Philadelphia's opening-drive TD its first of the season; TSN Sports reported Prescott's touchdown pass to Lamb.
AI
Anthropic's repository credits an internal Claude model but says the result says nothing about solving formulas in practice.
World & Business
The Financial Times reports operating expenses fell to $8.8 billion and HSBC plans a buyback of up to $1 billion.