Loading profile…

Loading activity…

World & Business

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Thomas Bloom (@thomasfbloom) · Digg

Thomas Bloom

@thomasfbloom

Royal Society University Research Fellow at the University of Manchester. Mathematician and owner of http://www.erdosproblems.com. He/him/his.

following
followers

Featured in

AI

Axiom announces Lean formalization of finite simple groups classification

Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.

287012345678901234567890123456789

240 Sources, 8d ago, updated 8d ago

Video from X

X

AI

Mathematician Claims AI Labs Withhold Internal Results

Mathematician Thomas Bloom states that OpenAI and Anthropic withhold additional model-proved results.

6901234567890123456789

3 Sources, 66d ago, first seen 66d ago

Connections

@thomasfbloom