Conjecture
conjecture.dev
Actively hiring
AI Research Labs
AI Safety & Alignment
As featured in
Follow
Overview
News
Salaries
Products
People
Growth
Offices
Financials
Funding and backers
Backers
1
Meta Planet
Momentum
15/100
in the news
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Mar 9, 2022
Founded per the company register
Tractionpublic signals, read monthly
Web presence
top 2%
of 133.2M domains by links, Common Crawl
Hacker News stories
3
best: 2 points
Registers and programsofficial lists and records that name the company
| Legal entity | CONJECTURE LTD | Companies House |
| Registered | 9 Mar 2022 |
Backed byfrom the funds' portfolios and accelerator catalogs
Meta Planet Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Flower is a full-stack AI neolab with a mission to advance collaborative superintelligence by building open-source frontier models, agents…
Goodfire is an artificial intelligence research company focused on mechanistic interpretability, building tools and methods to understand…
Zyphra is an artificial intelligence research company that develops open foundation models, including the Zamba hybrid state-space language…
Headquartered in San Francisco, California, Patronus AI is an artificial intelligence security and evaluation company that enables…
Martian researches AI interpretability, working to explain what happens inside a model rather than treating it as a black box. It applies…
Answer.AI - Practical AI R&D. Answer.AI is a new kind of AI R&D lab which creates practical end-user products based on foundational…
Visa sponsorship
- United Kingdom · Licensed UK visa sponsor (Senior or Specialist Worker, Skilled Worker)
Overview
Conjecture is an artificial intelligence alignment laboratory working on systems that remain controllable and understandable as capability grows. Its research agenda covers cognitive emulation, interpretability and the epistemics of building safe advanced models, and it deliberately publishes negative results alongside positive ones. The company also advises policymakers on frontier model risk and argues publicly for stronger governance of large training runs; its researchers previously worked on open source language model replication before turning to safety.
News
OpenAI's Unpublished AI Claims 'Proof in All Dimensions'-The 88-Year History of the Mahler Conjecture Opened Up by Two Japanese MathematiciansZun-Beho
On the night of October 6, OpenAI dropped 722 mathematical manuscripts on GitHub all at once.They took an unnamed internal model, threw about 4,000 problems at it, and organized the successful ones into 372 'families.' The computational effort per manuscr
Read more
Report
Presenting a proof of the Kannan-Lovasz-Simonovits conjecture
Abstract page for arXiv paper 2610.05474: Presenting a proof of the Kannan-Lovasz-Simonovits conjecture
Read more
Report
The List Total Colouring Conjecture is False
Abstract page for arXiv paper 2609.38417: The List Total Colouring Conjecture is False
Read more
Report
Mathematicians Harness Randomness To Crack a 55-Year-Old Conjecture
After a long hiatus, the problem, which was likely inspired by juggling, has finally been resolved by a group of young mathematicians.
Read more
Report
Ayush Khaitan (@ayushkhaitan343) on X
With Ben Chow, Yuan Liao and Ziyang Qin, we have completed a full Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture!The proof is around 4.7 million lines of code, written in roughly two weeks. Grateful to the @DARPA expMath prog
Read more
Report
A Proof of the Most Informative Boolean Function Conjecture
Abstract page for arXiv paper 2609.24931: A Proof of the Most Informative Boolean Function Conjecture
Read more
Report
Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
Abstract page for arXiv paper 2605.02331: Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
Read more
Report
Report
How I Vibed a Proof of Conway's Conjecture - overreacted
You can just prove things, apparently.
Read more
Report
Show more news
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
London
United Kingdom
HQ