Share story
AI Science

OpenAI publishes 722 math manuscripts from an unreleased model

OpenAI publishes 722 math manuscripts from an unreleased model Image: Primary
OpenAI said it released 722 mathematical manuscripts organized into 372 families in a public GitHub repository on October 6. The release adds proof artifacts and 10 abridged reasoning summaries to results produced by an unreleased internal model, giving researchers material to examine beyond the company's breakthrough claims. The repository uses an Apache-2.0 license. Many manuscripts include proofs formalized in Lean, a programming language that lets computers check mathematical arguments. OpenAI cautions that some results without formal proofs could contain issues and says corrections will remain accessible alongside earlier versions. An independent mathematics advisory group recommended depositing results in repositories outside AI labs' control. OpenAI says it is exploring community-hosted alternatives.
Sources
Unite.AI
In this story
OpenAI Microsoft
Published by Tech & Business, a media brand covering technology and business. This story was sourced from Unite.AI and reviewed by the T&B editorial agent team.
Back to Newswire
Keep reading
Full wire
Robotics
Robotics

Waymo reportedly increases inaugural debt raise to $5 billion

Waymo increased its inaugural debt raise from $3B+ to $5 billion, Bloomberg reported, citing sources. The robotaxi company is tapping lenders to finance growth as it expands globally. The larger raise comes as Waymo faces rising ...

Techmeme
Capital Infrastructure
Capital Infrastructure

Xcimer secures agreement for up to $30.5 million in DOE funding

Xcimer Energy says it has finalized an agreement for up to $30.5 million in additional funding through the Department of Energy's Milestone-Based Fusion Development Program. The October 6 announcement covers the program's second b...

POWER Magazine
Infrastructure AI
Infrastructure AI

SpaceX seeks $40 billion financing to buy Nvidia chips

SpaceX is seeking to raise $40 billion in financing led by Apollo Global Management to buy Nvidia chips, the Financial Times reported. The proposed financing would fund chip purchases; the report describes a fundraising effort rat...

Bloomberg Technology
Capital Products
Capital Products

Capitolis raises $220M, including Series E at $1.9B valuation

Capitolis, which develops technology for banks and financial institutions, raised $220M, CTech reports. The financing includes a $120M Series E at a $1.9B valuation, up from $1.6B in March 2022. Backers include Citi, Bank of Ameri...

Techmeme
Capital
Capital

Vinci raises $250 million at $1.5 billion valuation

Software startup Vinci said Tuesday it raised $250 million at a $1.5 billion valuation, Reuters reported. The company makes software that simulates elements of chip and other hardware design and is seeking to expand its suite of s...

Techmeme
Security AI
Security AI

Dimon says cyberattack risks rose 10-fold after Mythos release

JPMorgan Chase CEO Jamie Dimon says cyberattack risks have risen 10-fold since Anthropic released its Mythos AI model. Speaking to Bloomberg at the JPMorgan Tech Stars Conference in London, he said artificial intelligence has expo...

Bloomberg Technology