Manus

OpenAI has released a public repository of mathematical manuscripts along with supporting proof artifacts produced by the company. The collection, hosted on GitHub, documents formal and informal mathematical work generated with its AI systems. Discussion has focused on what the release reveals about the reliability and reproducibility of machine-generated mathematical proofs.

Beijing blocked Meta's $2 billion acquisition of AI agent startup Manus in April. Chinese venture investors have now stepped in with a roughly $500 million funding round led by Boyu Capital and IDG Capital, doubling the company's valuation to $4 billion and keeping the agent technology under domestic control rather than letting it move to a US buyer.

AI startup Manus has raised $500 million in its first funding round since separating from Meta. The round marks a major vote of confidence in the company as it continues building its general AI agent technology independently, though details on the investors and valuation were not immediately disclosed.

Chinese AI startup Manus has raised more than $500 million in its first funding round since separating from Meta. The deal marks one of the largest rounds for a China-based AI company and signals continued strong investor appetite for agentic AI firms despite geopolitical tensions between the US and China's tech sectors.

Manus, the AI agent startup that recently separated from Meta Platforms, announced it has raised more than $500 million in a new funding round, according to The Information. The raise follows the unwinding of its arrangement with Meta, positioning Manus as an independent player in the fast-growing AI agent market.

AI startup Manus has raised $500 million in new funding after Chinese authorities blocked its planned acquisition by Meta. The round gives the Singapore-based company, known for its autonomous AI agents, fresh capital to grow independently. The failed deal highlights tightening Chinese restrictions on foreign takeovers of domestic AI assets, and observers see the funding as a sign investor appetite for AI startups remains strong despite regulatory hurdles.

Singapore-based AI startup Manus has raised $500 million in fresh funding after Chinese regulators blocked its planned acquisition by Meta. The round gives the young company, known for its general AI agent technology, a new valuation and independence despite losing the deal. Reports from international outlets highlight the unusually large raise and growing scrutiny of Chinese approval over AI sector deals.

Researchers argue that the Voynich manuscript, a medieval text that has baffled scholars for centuries, may have been bound incorrectly, radically changing how its mysterious drawings and indecipherable script should be read. The claim suggests earlier interpretations of the famous manuscript could be based on pages arranged in the wrong order, reopening debate over one of history's most puzzling books.

Chinese AI startup Manus has raised more than $500 million in new funding after its proposed acquisition deal with Meta was blocked. The financing ranks among the larger recent rounds for an AI startup, and investors appear to be moving in amid tightening regulatory scrutiny of Chinese tech companies seeking deals with US firms. The funding gives Manus fresh resources to continue developing its AI products independently.

AI startup Manus has secured more than $500 million in new funding, following the collapse of its investment deal with Meta. The round makes Manus one of the most heavily funded independent AI agent companies, and the news is drawing attention across the tech industry as investors reassess the AI funding landscape.

OpenAI has made 722 math manuscripts publicly available through a repository on GitHub, opening up a collection of mathematical texts to researchers and the public. The release is being discussed among developers and AI enthusiasts, who see it as a potentially useful resource for training and evaluating mathematical reasoning in AI models.

A mathematics project covering 722 manuscripts across 372 families has hit a verification bottleneck: the equations claimed to underlie the work cannot be checked fast enough. Discussion among mathematicians focuses on using formal verification tools like the Lean proof assistant and artificial intelligence to close the gap between stated results and machine-checked proofs, and on what this means for trust in large-scale mathematical datasets.

Today is the feast day of Saint Romanus, a sixth-century bishop of Auxerre in Burgundy, France. The date is being noted by travellers and history enthusiasts in connection with the region, including the Canal latéral à la Loire, where his legacy is tied to local heritage along the waterways.

OpenAI has published 722 mathematical manuscripts apparently produced by an unreleased AI model, drawing attention to the company's internal research on advanced reasoning capabilities. The release gives outside observers a rare glimpse of work that has not yet been tied to a public product, and commentators are debating what it signals about OpenAI's next-generation math and reasoning models.

OpenAI has released a collection of 722 mathematics manuscripts, made publicly available through a GitHub repository with a contents index. The move gives researchers, educators and developers open access to a large body of curated mathematical material. Commenters on Hacker News are noting the release and its potential uses, though details on the provenance, licensing and intended purpose of the manuscripts remain limited in the initial discussion.

Anne Hathaway, star of the film adaptation of Colleen Hoover's bestselling thriller 'Verity', has addressed the question dividing readers of the novel: whether they side with the letter or the manuscript, the two conflicting versions of the story at the heart of its ending. Her take gives fans a new angle on one of the book's most argued-over twists ahead of the film's release.