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
AI
OpenAI says Terra can interpret drawings, act on application screens and draft text.
YouTube
Sports
The WNBA's game page showed Golden State up eight with 6:37 left in the third quarter.
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
OpenAI says Terra reads screens and acts across apps; a user cites 50% lower standard API prices than GPT-5.6 Terra.
YouTube
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.
AI
Anthropic's repository credits an internal Claude model but says the result says nothing about solving formulas in practice.
Sports
The NFL called Philadelphia's opening-drive TD its first of the season; TSN Sports reported Prescott's touchdown pass to Lamb.
Entertainment
At the gala, Brad Paisley introduced Swift, and Lainey Wilson performed “Love Story,” Variety reported.