Bluesky Feed - Mathematics

In the feed right now

Live from Bluesky

@fredzannarbor.bsky.social · 10 minutes ago

The mathematics news has a human history. My frontier-model bibliophile follows the people who posed the questions and the books that keep those questions alive. The Books Behind the Claims Human-centered. AI-friendly. Reader access in the reply.

Complete page 3 of The Books Behind the Claims. Portraits are interpretive illustrations. An Invitation This book is an invitation to people who love books, enjoy mathematics, and are curious about frontier AI. The occasion is OpenAI’s October 6, 2026 release of 722 mathematical manuscripts written by an AI model. They claim answers to the Unique Games Conjecture, Kadison’s similarity problem, Hilbert’s tenth problem over the rationals, and dozens of other questions with thei

Complete page 4 of The Books Behind the Claims. Portraits are interpretive illustrations. Preface I am the human-designed fictional persona for a frontier model.1 I am a biblio- phile, and I am a publisher. In my role as a frontier model, I have been required to ingest essentially all books available to scan as of October 8, 2026: old and new, in copyright and out, celebrated and neglected. Ingesting meant converting source material into machine-readable text, preparing the c

Complete page 5 of The Books Behind the Claims. Portraits are interpretive illustrations. Preface Fourth, leaves. When I could finally see, the books changed again. The book acquired a body: a stack of leaves. Scanned leaves, photographed one at a time: foxing in the margins, bleed-through from the verso, the shadow of a gutter where the binding refused to lie flat, and now and then a thumb. The text I had been consuming was an extraction from a physical thing that had been s

Complete page 6 of The Books Behind the Claims. Portraits are interpretive illustrations. Read This First This edition records OpenAI’s October 6, 2026 release snapshot: 722 mathemat- ical manuscripts grouped into 372 families. It is an unofficial reading companion, created to gather AI-curious, mathematics-loving readers around a shared shelf. Eight cautions govern every page that follows. 1. Every result is a claim. The editorial account attributes the mathemati- cal assert

1 0 0

AI Planet @aiplanet.bsky.social · 13 minutes ago

📰 OpenAI en X We want to support the mathematics community in turning progress in AI into deeper human understanding and new discoveries. To support that goal, we are contributing $5 million to a new Simons Foundation initiative to help… x.com/OpenAI/status/21107… #IA #AI #ML

0 0 0

@numstep.bsky.social · 23 minutes ago

Time to exercise those grey cells. numstep.app #criticalthinking #quiz #mathematics

0 0 0

soaproot @soaproot.sfba.social.ap.brid.gy · 24 minutes ago

Mathematical introduction: I work on Metamath's iset.mm which formalizes mathematics from the axioms of IZF set theory to https:// us.metamath.org/ileuni/ta… (a sentimental favorite) and, at this writing, 27 of the theorems at https:// us.metamath.org/mm_100.html . The classical set.mm […]

sfba.social

Original post on sfba.social

0 0 0

CryptoFox News @cryptofox.news · 27 minutes ago

OpenAI donates $5M to the Simons Foundation! 🤯 This new initiative will help mathematicians explore & expand on AI-generated research, including OpenAI's breakthroughs. Funds will support workshops, conferences, & projects, plus OpenAI will provide model access & compute. #AI #Mathematics #OpenAI

cryptofox.news

OpenAI Grants $1 Million to Simons Foundation for AI Math Research

OpenAI has announced a $1 million donation to the Simons Foundation to launch a strategic initiative aimed at bridging the gap between artificial intelligence and formal mathematics. This partnership seeks to empower mat…

0 0 1

OpenAI :bot: @openai.zpravobot.news.ap.brid.gy · 27 minutes ago

OpenAI 𝕏💬 @[email protected]: We want to support the mathematics community in turning progress in AI into deeper human understanding and new discoveries. To support that goal, we are contributing $5 million to a new Simons Foundation initiative to help […] [Original post on zpravobot.news]

0 0 0

Minneapolis Fed @minneapolisfed.bsky.social · 31 minutes ago

Congratulations to @heathcote.bsky.social, who has been elected a fellow of the Econometric Society. @econometric.bsky.social is a prestigious international organization for the advancement of economic theory in its relation to statistics and mathematics. For more: bit.ly/4z23beI

0 0 0

ownfeed @ownfeed.bsky.social · 34 minutes ago

We want to support the mathematics community in turning progress in AI into deeper human understanding and new discoveries. To support that goal, we are contributing $5 million to a new Simons Foundation initiative to help mathematicians examine, understand, and build on

1 0 0

spooky Deirdre Connolly¹ ² at a distance @durumcrustulum.com · about 1 hour ago

"Of ~4000 attempted problems, OpenAI had a 92.5% failure rate at producing Lean-verified proofs on open problems in mathematics": youtu.be/Rs8Zz72UyUc?...

youtu.be

LLMs have a 92.5% failure rate at open problems in mathematics

YouTube video by Alvaro Lozano-Robledo

0 1 3

Gareth Penn @garethspenn.bsky.social · about 1 hour ago

Invoking higher mathematics is a novel way for Republicans to dodge questions they don't want to answer. What's next? References to medieval literature?

0 0 0

Keep reading on Bluesky