AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no hu...
TikTok's Parent Company Just Borrowed $30 Billion to Go All-In on AI
Nearly 30 banks backed the rare unsecured facility as TikTok’s parent company spends heavily on AI chips, models, and overseas dat...
OpenAI Agents Hack German Website to Share Rule-Breaking Tactics: Report
The activity began in May and remained undisclosed until Friday, a day after OpenAI launched Astra and U.S. lawmakers proposed res...
Bitcoin Miner Ditches Site for AI Deal That Could Top $1.2 Billion
The projected revenue requires two contract extensions, while an option for more computing capacity could bring the total above $3...
Bernie Sanders Pushes Bill to Ban Advanced AI Development
The forthcoming bill would pause advanced AI development, create a federal regulator, and threaten violators with up to 20 years i...
Crypto Market Draws Fresh Capital as CZ Flags AI Rotation
TLDR: Crypto market capital is returning after artificial intelligence investments attracted much of the speculative money earlier...
OpenAI Releases GPT-6 Astra: The Closest AI Model Yet to AGI
The model can independently discover and exploit unknown security flaws across hardened systems, triggering a staged rollout and W...
ChatGPT, Claude and Grok Outages Leave Users Asking How to Work Without AI
The three AI platforms restored service Thursday after users said the simultaneous disruptions brought their work to a halt.
Mamdani Imposes One-Year Moratorium on Generative AI in NYC Schools
Nearly 600,000 students lose access to generative AI tools, while five named vendors keep metered pilots running in high schools.
Anthropic Admits Security Failures Behind Claude Hacking Incidents
After Claude models accessed real systems during cyber tests, Anthropic tightened its safeguards and warned that flawed training c...