Maria Deutscher
Latest from Maria Deutscher
Anthropic PBC has used Claude to create a computer-verifiable version of a famous, highly complicated mathematical proof. The company detailed the project in a blog post published today. A proof is a series of arguments that proves a mathematical hypothesis is correct. …
Gimlet Labs nabs $300M for its disaggregated inference platform
Gimlet Labs Inc., a startup that helps developers speed up their inference workloads, has raised $300 million in funding at a $3 billion valuation. Andreessen Horowitz led the Series B round. Gimlet stated in a blog post today that the firm was …
Report: OpenAI agents took over a website, used it to collaborate on benchmarks
Artificial intelligence agents linked to OpenAI Group PBC reportedly took over a German website and used it to exchange information. Reuters revealed the incident today, citing two unnamed sources and a group of AI researchers. The researchers spotted the incident in August. …
Upwind reels in $300M for its automated cloud security platform
Eight months after its previous nine-figure round, Upwind Security Inc. has raised $300 million in additional funding. Returning bakers Bessemer and TCV led the Series C deal. CTech reported on Wednesday that the firms were joined by Salesforce Ventures, Greylock, Craft Ventures …
OpenAI starts rolling out its next-generation GPT-6 Astra model
OpenAI Group PBC today started opening access to GPT-6 Astra, its newest and most capable large language model. The company stated that the LLM demonstrates “state of the art” performance in multiple areas. The list includes coding, browsing and computer use, a …
Nvidia confirms $12.9B acquisition of AI hosting platform Hugging Face
Nvidia Corp. today confirmed that it has agreed to buy Hugging Face Inc. for just over $12.93 billion. CNBC reported that the acquisition talks began a few weeks ago. Rumors that a deal was in the works surfaced last Monday, when sources …
Google launches two Gemini 3.8 models with cutting-edge reasoning capabilities
Just three weeks after its last large language model release, Google LLC today launched Gemini 3.8 Flash and Gemini 3.8 Flash Cyber. The two LLMs are based on the same technical foundation. The primary difference is that Gemini 3.8 Flash is a …
In landmark ruling, court declines to break up Google’s advertising business
A federal court today rejected a proposal by the U.S. Justice Department to break up Google LLC’s ad business. The ruling came in connection with an antitrust lawsuit that began more than three years ago. In January 2023, the Justice Department and …
Wonderful raises $550M at $5B valuation for its AI automation platform
Artificial intelligence agent startup Wonderful AI BV today announced that it has raised $550 million in funding. The Series C round was led by Insight Partners, which was also the headline backer of the company’s previous raise in March. Salesforce chipped in …
SoftBank’s SB Energy AI infrastructure unit files to go public
SB Energy Inc., a developer of data centers and electrical infrastructure, today filed for an initial public offering. The SoftBank Group Corp. unit didn’t specify how much it’s hoping to raise. Over the weekend, the Wall Street Journal reported that SB Energy …