Artificial Intelligence

Auto Added by WPeMatico

The man paid to prove Fermat by hand says Claude did it in 11 days

A mathematician holds a five-year grant to formalise Fermat’s Last Theorem. It has been done for him in eleven days, and he says the result tells us nothing about mathematics. Anthropic published the proof on Friday. Dozens of Claude agents wrote 13 million lines of Lean code and proved 30,300 intermediate theorems. They used 29,500 […]

This story continues at The Next Web

The man paid to prove Fermat by hand says Claude did it in 11 days Read More »

OpenAI’s AGI number came from a harness, not the model

OpenAI declared the AGI era on the strength of a 99.9% score. Run the same model through the benchmark’s own software, and it scores 62.7%. The gap is not a rounding error or a rival’s complaint. It comes from the organisation that built the test. ARC Prize published both numbers on the day GPT-6 Astra […]

This story continues at The Next Web

OpenAI’s AGI number came from a harness, not the model Read More »

Two more newsrooms join the case against OpenAI and Microsoft

The Seattle Times and Newsday have sued OpenAI and Microsoft, alleging the companies methodically scraped articles in a way that bypasses paywalls. The EU’s general-purpose AI code commits signatories not to circumvent access restrictions, naming subscription models and paywalls specifically. The Seattle Times and Newsday have jointly sued OpenAI and Microsoft over the training of […]

This story continues at The Next Web

Two more newsrooms join the case against OpenAI and Microsoft Read More »

Chinese banks and carriers have turned AI tokens into rewards, monthly plans and collateral

Chinese banks, telecom carriers and a Guangzhou district have started packaging AI tokens as credit card rewards, monthly plans and a basis for business lending. Research across 25 European languages finds tokeniser fertility ranges from 1.23 tokens per word in English to about 3.1 in Greek and Maltese. Banks, telecom carriers and a district government […]

This story continues at The Next Web

Chinese banks and carriers have turned AI tokens into rewards, monthly plans and collateral Read More »

California is deciding who may verify AI, and one investigation already cost $400,000 in tokens

California’s legislature has passed SB 813, requiring the state to certify independent verification organisations that can test frontier AI models by January 2028. The METR investigation into OpenAI’s Hugging Face incident consumed about $400,000 in API credits provided free by OpenAI, using a model from the same family that took part in the attack. California’s […]

This story continues at The Next Web

California is deciding who may verify AI, and one investigation already cost $400,000 in tokens Read More »

Astra appears to think without showing its work, and the people arguing about it co-wrote the warning

AI safety researchers say OpenAI’s Astra appears to do less of its reasoning in visible text, and OpenAI’s chief scientist has warned against a race into unmonitorability. He co-authored a 2025 position paper asking developers to evaluate and report exactly this, which the EU’s code of practice turns into a filing to the AI Office. […]

This story continues at The Next Web

Astra appears to think without showing its work, and the people arguing about it co-wrote the warning Read More »

TCS commits $7.4B to a one-gigawatt AI campus in Hyderabad

Tata Consultancy Services said its HyperVault unit and partners have committed 700 billion rupees, about $7.4B, to an AI data centre campus of up to one gigawatt in Hyderabad, using green energy and water-neutral design principles. EU rules require any data centre above 500kW to report total and drinking water consumption to a European database […]

This story continues at The Next Web

TCS commits $7.4B to a one-gigawatt AI campus in Hyderabad Read More »

Japan says progress made on $550B pact, with AI and chips weighing heavily on the next round

Japan’s trade minister said discussions on AI and semiconductors will carry very significant weight in the third tranche of its $550B US investment pact, after two rounds went to energy and minerals. The EU’s own framework contains no comparable vehicle, and commits the bloc to buying at least $40B of US AI chips. Japan’s trade […]

This story continues at The Next Web

Japan says progress made on $550B pact, with AI and chips weighing heavily on the next round Read More »

Nvidia partner Hon Hai’s sales climb 52% as Europe lines up its own orders

Hon Hai reported August revenue of NT$921.8B, about $29.1B, up 52% year on year on AI server demand, well ahead of analyst expectations for the quarter. In June it signed a EUR 120M manufacturing partnership with Bull, the French state-owned computing firm, splitting work between Pardubice and Angers.x Hon Hai reported an August revenue rise […]

This story continues at The Next Web

Nvidia partner Hon Hai’s sales climb 52% as Europe lines up its own orders Read More »

Chinese profits rose 25.7%. The CSI 300 fell 9% and the Star 50 fell 29%

Profits at onshore-listed Chinese companies rose 25.7% in the three months to June, the fastest in nearly five years and heavily concentrated in AI-linked firms. The CSI 300 has fallen about 9% this quarter and the tech-heavy Star 50 has dropped 29%, as investors began treating AI spending as a cost rather than a promise. […]

This story continues at The Next Web

Chinese profits rose 25.7%. The CSI 300 fell 9% and the Star 50 fell 29% Read More »

Shopping Cart