The latest verified reporting and analysis across ai.
Drax, Brookfield and Radiant are targeting more than 1 GW of AI capacity at a North Yorkshire power station. The immediate proposal is smaller and conditional: a grid-fed 100 MW first phase that still needs planning consent, an anchor customer and final investment decisions.
Read story
The CJEU’s first generative-AI case draws a legal line between reporting facts and recognizably reusing journalism. The opinion is not a judgment, but it could shape how grounded chatbots retrieve, summarize and pay for news across the EU.
Read story
Saudi Aramco has closed a 49% investment in state-backed AI company HUMAIN, contributing about $2.6 billion in cash plus computing and digital assets. The transaction joins oil-industry demand, sovereign capital and a 3-gigawatt data-center ambition—but it does not disclose HUMAIN’s valuation, total build cost or how much capacity is already operating.
Read story
Energy North has withdrawn the June 2028 first-power date for its proposed off-grid AI campus in Australia’s Northern Territory. The project is not cancelled, but its 1-gigawatt computing plan now depends on an environmental review whose timetable has been suspended while regulators set the rules.
Read story
OpenAI, Google, Microsoft and Anthropic are converging on one machine-readable signal for generative-AI training preferences. The proposal could simplify publisher controls, but it is not yet an IETF standard, does not block crawling or grounding by itself, and creates no licensing or payment right.
Read story
A WIPO Secretariat report gives patent offices a menu of choices for proving human contribution, handling AI-generated disclosures and deciding when routine access to AI makes an invention obvious. The options now go before member states; they are not new global rules.
Read story
The trillion-parameter model can now run on private infrastructure and reproduce real software flaws before patching them. Mistral says its safeguards distinguish defensive from malicious work, but downloadable weights cannot be recalled or centrally monitored.
Read story
The public Lean repository could turn mathematics’ ‘enormous theorem’ into a machine-checkable dependency graph. But the release is still self-assessed, and its strongest claim now depends on independent reproduction.
Read story
The AI system can now propose and prove properties for C software and Verilog hardware. Machine-checked proofs raise assurance, but only for the specifications, models and assumptions engineers actually review.
Read story