Deep tech

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 »

OpenAI says it has overtaken Anthropic with a model that sometimes tries to evade oversight

OpenAI released GPT-6 Astra on 3 September, saying it outperforms every rival including Anthropic’s Claude and Google’s Gemini. Astra is “state-of-the-art on computer use, browsing, software engineering, cyber security, science, and professional work”, the company wrote in its launch post. The Financial Times reported the launch as an attempt to retake the technical lead from Anthropic, which […]

This story continues at The Next Web

OpenAI says it has overtaken Anthropic with a model that sometimes tries to evade oversight Read More »

G42 gave up Huawei, then let Washington watch its data centres. Majority US ownership is reportedly next.

Executives at Abu Dhabi’s G42 have held exploratory talks about selling a majority stake to American companies, Bloomberg reported on Friday, as the firm races to guarantee access to advanced chips beyond next year. Alex Dooler, Zainab Fattah and Dinesh Nair sourced the account to people familiar with the matter, who declined to be identified because […]

This story continues at The Next Web

G42 gave up Huawei, then let Washington watch its data centres. Majority US ownership is reportedly next. Read More »

The nonprofit that investigated OpenAI’s rogue agents runs on a $36m grant. The next wave of that money is waiting on the AI IPOs.

American philanthropy is about to absorb something in the region of $40bn a year in new annual spending from AI wealth, Coefficient Giving chief executive Alexander Berger told Semafor editor-in-chief Ben Smith in an interview published on Thursday. That is four or five Gates Foundations of yearly outlay, on his own comparison. The figure is conditional on […]

This story continues at The Next Web

The nonprofit that investigated OpenAI’s rogue agents runs on a $36m grant. The next wave of that money is waiting on the AI IPOs. Read More »

The digital legacy problem: what happens to the people behind the memories?

The Pew Research Center’s 2025 survey found that 84% of U.S. adults use YouTube, 71% use Facebook, and 50% use Instagram, illustrating how deeply everyday expression has moved onto digital platforms. The Library of Congress explains that digital materials can be harder to preserve than physical materials because access depends on changing technologies, formats, and […]

This story continues at The Next Web

The digital legacy problem: what happens to the people behind the memories? Read More »

Hugging Face is selling a $399 robot duck with open-source software

Pollen Robotics has unveiled a bipedal robot called Microduck, at an introductory price of $399 before taxes and shipping. The Bordeaux company is owned by the AI platform Hugging Face. Its new machine has one eye and 15 motors, stands 25cm tall, and weighs under 800g. Preorders opened on Thursday. Pollen is targeting first deliveries […]

This story continues at The Next Web

Hugging Face is selling a $399 robot duck with open-source software Read More »

The stealth model that beat DeepSeek belongs to Zhipu

Z.AI made it. The Beijing company, also known as Zhipu, owns the free model that took the top of OpenRouter’s charts last weekend. It confirmed on Wednesday that Ox Alpha is a new iteration of its GLM series, and said it would release the weights the same night. Luz Ding got the confirmation for Bloomberg. […]

This story continues at The Next Web

The stealth model that beat DeepSeek belongs to Zhipu Read More »

Emerald AI raises $150mn at a $1.05bn valuation to flex data centre power

A two-year-old company is now worth $1.05bn. It writes software that makes data centres use less electricity on demand. Emerald AI raised $150mn in an oversubscribed Series A, the company announced on Tuesday. Energize Capital and DCVC co-led it, and the round takes total funding past $220mn. The investor list is the tell. Nvidia, Siemens, […]

This story continues at The Next Web

Emerald AI raises $150mn at a $1.05bn valuation to flex data centre power Read More »

China called off its ice-hunting Moon shot a day before launch

China called off its most ambitious Moon mission the day before it was due to fly. The announcement runs to a single sentence. Chang’e 7 does not meet the conditions for launch, the China Manned Space Agency said on Sunday. It cannot go ahead in this year’s scheduled window. It gave no reason. What the […]

This story continues at The Next Web

China called off its ice-hunting Moon shot a day before launch Read More »

Shopping Cart