Author: Advanced AI Editor

Documents from the estate of Jeffrey Epstein that were submitted to the US House of Representatives Oversight Committee—including pages from a birthday book which included contributions from collectors Leon Black and Leslie Wexner—were recently released in full by the panel. A partially redacted version of the leather-bound book compiled for Epstein’s 50th birthday was released on September 8, including the lewd drawing from President Donald Trump in the shape of a naked woman, and uploaded online by Axios. The book includes poems, photos, and messages from friends and business associates. It was compiled by Ghislaine Maxwell, his former associate who…

The integration of Large Language Models (LLMs) into automated theorem proving has shown immense promise, yet is fundamentally constrained by challenges in scaling up both training-time reinforcement learning (RL) and inference-time compute. This paper introduces \texttt{BFS-Prover-V2}, a system designed to address this dual scaling problem. We present two primary innovations. The first is a novel multi-turn off-policy RL framework for continually improving the performance of LLM step-prover at training time. This framework, inspired by the principles of AlphaZero, utilizes a multi-stage expert iteration pipeline featuring adaptive tactic-level data filtering and periodic retraining to surmount the performance plateaus that typically curtail…

French artificial intelligence leader Mistral AI today announced it has raised €1.7 billion, about $2 billion, in a Series C funding round led by Dutch semiconductor equipment manufacturer ASML Holding NV. The round more than doubles Mistral’s $6 billion valuation, which it achieved during a $640 million round led by General Catalyst last year, to around $13.7 billion. Nvidia Corp., DST Global, Andreessen Horowitz, Bpifrance, General Catalyst, Index Ventures and Lightspeed also participated in the round. Mistral AI is one of the most prominent European AI developers with advanced multilingual large language models and is considered a rival to United…

The United Arab Emirates wants to compete with the U.S. and China in AI, and a new open source model may be its strongest contender yet. An Emirati AI lab called the Institute of Foundation Models released K2 Think on Tuesday, a model that researchers say rivals OpenAI’s ChatGPT and China’s DeepSeek in standard benchmark tests. “With just 32 billion parameters, it outperforms flagship reasoning models that are 20x larger,” the lab wrote in a press release on Tuesday. DeepSeek’s R1 has 671 billion parameters, though only 37 billion are active. Meta’s latest Llama 4 models range from 17 billion…

Microsoft will pay to use Anthropic’s AI in Office 365 apps, The Information reports, citing two sources. The move means that Anthropic’s tech will help power new features in Word, Excel, Outlook, and PowerPoint alongside OpenAI’s, marking the end of Microsoft’s previous reliance solely on the ChatGPT-maker for its productivity suite.  Microsoft’s move to diversify its AI partnerships comes amid a growing rift with OpenAI, which has pursued its own infrastructure projects as well as a and a potential LinkedIn competitor. Microsoft’s Anthropic deal also comes as the company negotiates a new deal with OpenAI to secure access to its…

Thomas Kurian, CEO of Google Cloud, speaks at a cloud computing conference held by the company in 2019.Michael Short | Bloomberg | Getty ImagesGoogle’s cloud chief Thomas Kurian on Tuesday explained how the tech giant is already monetizing its various artificial intelligence services to generate revenue. “We’ve made billions using AI already,” said Kurian, speaking at the Goldman Sachs Communacopia and Technology Conference in San Francisco. Kurian said that Google Cloud’s backlog of customer demand is growing faster than its revenue.”Our backlog is now at $106 billion — it is growing faster than our revenue,” he said. “More than 50%…

The Massachusetts Institute of Technology said it’s preparing for “significant new financial pressures,” including an increased tax on its endowment and uncertainty about federal science funding under President Donald Trump.“Dealing with financial realities is our focus,” MIT President Sally Kornbluth said in a letter to the campus community Tuesday, promising to provide additional details about the severity of the challenges in the coming weeks.MIT’s warning follows similar messages from other prominent US universities after months of pressure from the Trump administration. Last month, Cornell University warned of “urgent action” and signaled more job cuts, Princeton University said it’s implementing a…

Data storage company Vast Data Inc., which is in the process of transforming itself into an “operating system” for artificial intelligence, today announced a new capability called Vast SyncEngine. The company says it acts as a “universal data router,” combining a highly performant onboarding system for unstructured data with a global catalog for building AI data pipelines. Available at no additional cost to existing customers, Vast SyncEngine is designed to simplify headaches around discovering and mobilizing distributed, unstructured datasets and software-as-a-service tools, so these data sources can quickly be plugged into their AI applications. Vast SyncEngine is the latest addition to…

The School of Visual Arts (SVA) in New York will be owned by an alumni-affiliated nonprofit following a period of financial difficulties and a recent unionization effort by its faculty. On September 1, the Rhodes family, which has owned it nearly 80 years, transferred ownership to the SVA Alumni Society, a nonprofit that has funded student scholarships since 1972. The school’s longtime president, David Rhodes, has promised that “day-to-day life for students, administration, faculty, and staff would not change,” per a release. Related Articles “For almost eight decades, my family has proudly shepherded SVA through countless changes in the landscape…

BEIJING (AP) — The body camera hung from the top of the IV drip, recording the slightest twitch made by Yang Guoliang as he lay bloody and paralyzed in a hospital bed after a police beating with bricks. By then, surveillance was nothing new for the Yang family in rural China, snared in an intricate network based on U.S. technology that spies on them and predicts what they’ll do. Their train tickets, hotel bookings, purchases, text messages and phone calls are forwarded to the government. Their house is ringed with more than a dozen cameras. They’ve tried to go to…