Per-lab record
Announcements made and status reached, per lab. Alphabetical order: no score, no ranking.
An announcement is a result published on its own or a batch of results announced together: a batch counts as one announcement, and each of its results counts separately. An advance that cites several labs counts for each.
All labs
12 labs have at least one announcement or result on record, in alphabetical order. Nothing is sorted or added up.
In each status column: the number of results, then the number of batches. An advance that cites several labs counts for each of them, so there is no total.
| Lab | Formally verified | Peer reviewed | Under review | Contested | Withdrawn | Not evaluated | Announced | Available | Tested by a third party | Discontinued |
|---|---|---|---|---|---|---|---|---|---|---|
| Anthropic7 announcements; 7 results.With its systems, by others: 5 announcements, including 1 batch; 5 results (of which 1 in a batch). | 1 result | 0 | 0 | 0 | 0 | 1 result | 0 | 5 results | 0 | 0 |
| Axiom MathWith its systems, by others: 1 announcement; 1 result. | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| DeepSeekWith its systems, by others: 1 announcement, including 1 batch; 0 results. | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| FutureHouse2 announcements; 2 results. | 0 | 0 | 0 | 0 | 0 | 2 results | 0 | 0 | 0 | 0 |
| Google DeepMind16 announcements, including 3 batches; 13 results.With its systems, by others: 4 announcements, including 4 batches; 0 results. | 0 | 5 results1 batch | 0 | 1 result | 0 | 1 result2 batches | 1 result | 4 results | 0 | 1 result |
| Harmonic2 announcements; 2 results.With its systems, by others: 1 announcement, including 1 batch; 0 results. | 0 | 0 | 0 | 0 | 0 | 2 results | 0 | 0 | 0 | 0 |
| Math, Inc.1 announcement; 1 result. | 1 result | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Meta3 announcements; 3 results. | 0 | 0 | 0 | 0 | 0 | 0 | 2 results | 1 result | 0 | 0 |
| OpenAI16 announcements, including 4 batches; 384 results (of which 372 in a batch).With its systems, by others: 12 announcements, including 2 batches; 10 results. | 0 | 1 result | 1 result2 batches | 2 results | 1 result1 batch | 373 results1 batch | 0 | 5 results | 1 result | 0 |
| Sakana AI1 announcement; 1 result. | 0 | 1 result | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Together AI1 announcement, including 1 batch; 9 results (of which 9 in a batch). | 0 | 0 | 0 | 0 | 0 | 9 results1 batch | 0 | 0 | 0 | 0 |
| xAI2 announcements; 2 results. | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 results | 0 | 0 |
Anthropic7 announcements; 7 results.
- 1 result
- Formally verified
- 1 result
- Not evaluated
- 5 results
- Available
No entry with status: Peer reviewed, Under review, Contested, Withdrawn, Announced, Demo only, Tested by a third party, Discontinued.
With its systems, by others: 5 announcements, including 1 batch; 5 results (of which 1 in a batch).
With its systems, by others: 1 announcement; 1 result.
With its systems, by others: 1 announcement, including 1 batch; 0 results.
FutureHouse2 announcements; 2 results.
- 2 results
- Not evaluated
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
Google DeepMind16 announcements, including 3 batches; 13 results.
- 5 results
- Peer reviewed1 batch
- 1 result
- Contested
- 1 result
- Not evaluated2 batches
- 1 result
- Announced
- 4 results
- Available
- 1 result
- Discontinued
No entry with status: Formally verified, Under review, Withdrawn, Demo only, Tested by a third party.
With its systems, by others: 4 announcements, including 4 batches; 0 results.
Harmonic2 announcements; 2 results.
- 2 results
- Not evaluated
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
With its systems, by others: 1 announcement, including 1 batch; 0 results.
Math, Inc.1 announcement; 1 result.
- 1 result
- Formally verified
No entry with status: Peer reviewed, Under review, Contested, Withdrawn, Not evaluated. No product or model on record.
Meta3 announcements; 3 results.
- 2 results
- Announced
- 1 result
- Available
No entry with status: Demo only, Tested by a third party, Discontinued. No discovery on record.
OpenAI16 announcements, including 4 batches; 384 results (of which 372 in a batch).
- 1 result
- Peer reviewed
- 1 result
- Under review2 batches
- 2 results
- Contested
- 1 result
- Withdrawn1 batch
- 373 results
- Not evaluated1 batch
- 5 results
- Available
- 1 result
- Tested by a third party
No entry with status: Formally verified, Announced, Demo only, Discontinued.
With its systems, by others: 12 announcements, including 2 batches; 10 results.
Sakana AI1 announcement; 1 result.
- 1 result
- Peer reviewed
No entry with status: Formally verified, Under review, Contested, Withdrawn, Not evaluated. No product or model on record.
Together AI1 announcement, including 1 batch; 9 results (of which 9 in a batch).
- 9 results
- Not evaluated1 batch
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
xAI2 announcements; 2 results.
- 2 results
- Available
No entry with status: Announced, Demo only, Tested by a third party, Discontinued. No discovery on record.
Labs with no recorded announcement : Alibaba (Qwen), ByteDance Seed, Moonshot AI, Z.ai (Zhipu).
Not evaluatedThe result is declared neither right nor wrong.
Alibaba (Qwen)
No announcement recorded.
Anthropic
The lab's announcements
7 announcements; 7 results.
| Status | Results | Batches |
|---|---|---|
| Formally verified | 1 | 0 |
| Not evaluated | 1 | 0 |
| Available | 5 | 0 |
No entry with status: Peer reviewed, Under review, Contested, Withdrawn, Announced, Demo only, Tested by a third party, Discontinued.
Advances made by others with its systems
5 announcements, including 1 batch; 5 results (of which 1 in a batch).
| Status | Results | Batches |
|---|---|---|
| Withdrawn | 1 | 1 |
| Not evaluated | 4 | 0 |
No entry with status: Formally verified, Peer reviewed, Under review, Contested. No product or model on record.
Not evaluatedThe result is declared neither right nor wrong.
Axiom Math
The lab's announcements
No announcement recorded.
Advances made by others with its systems
1 announcement; 1 result.
| Status | Results | Batches |
|---|---|---|
| Not evaluated | 1 | 0 |
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
Not evaluatedThe result is declared neither right nor wrong.
ByteDance Seed
No announcement recorded.
DeepSeek
The lab's announcements
No announcement recorded.
Advances made by others with its systems
1 announcement, including 1 batch; 0 results.
| Status | Results | Batches |
|---|---|---|
| Withdrawn | 0 | 1 |
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Not evaluated. No product or model on record.
FutureHouse
The lab's announcements
2 announcements; 2 results.
| Status | Results | Batches |
|---|---|---|
| Not evaluated | 2 | 0 |
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
Advances made by others with its systems
No finding on record.
Not evaluatedThe result is declared neither right nor wrong.
Google DeepMind
The lab's announcements
16 announcements, including 3 batches; 13 results.
| Status | Results | Batches |
|---|---|---|
| Peer reviewed | 5 | 1 |
| Contested | 1 | 0 |
| Not evaluated | 1 | 2 |
| Announced | 1 | 0 |
| Available | 4 | 0 |
| Discontinued | 1 | 0 |
No entry with status: Formally verified, Under review, Withdrawn, Demo only, Tested by a third party.
Advances made by others with its systems
4 announcements, including 4 batches; 0 results.
| Status | Results | Batches |
|---|---|---|
| Contested | 0 | 1 |
| Withdrawn | 0 | 1 |
| Not evaluated | 0 | 2 |
No entry with status: Formally verified, Peer reviewed, Under review. No product or model on record.
Not evaluatedThe result is declared neither right nor wrong.
Harmonic
The lab's announcements
2 announcements; 2 results.
| Status | Results | Batches |
|---|---|---|
| Not evaluated | 2 | 0 |
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
Advances made by others with its systems
1 announcement, including 1 batch; 0 results.
| Status | Results | Batches |
|---|---|---|
| Withdrawn | 0 | 1 |
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Not evaluated. No product or model on record.
Not evaluatedThe result is declared neither right nor wrong.
Math, Inc.
The lab's announcements
1 announcement; 1 result.
| Status | Results | Batches |
|---|---|---|
| Formally verified | 1 | 0 |
No entry with status: Peer reviewed, Under review, Contested, Withdrawn, Not evaluated. No product or model on record.
Advances made by others with its systems
No finding on record.
Meta
The lab's announcements
3 announcements; 3 results.
| Status | Results | Batches |
|---|---|---|
| Announced | 2 | 0 |
| Available | 1 | 0 |
No entry with status: Demo only, Tested by a third party, Discontinued. No discovery on record.
Advances made by others with its systems
No finding on record.
Moonshot AI
No announcement recorded.
OpenAI
The lab's announcements
16 announcements, including 4 batches; 384 results (of which 372 in a batch).
| Status | Results | Batches |
|---|---|---|
| Peer reviewed | 1 | 0 |
| Under review | 1 | 2 |
| Contested | 2 | 0 |
| Withdrawn | 1 | 1 |
| Not evaluated | 373 | 1 |
| Available | 5 | 0 |
| Tested by a third party | 1 | 0 |
No entry with status: Formally verified, Announced, Demo only, Discontinued.
Advances made by others with its systems
12 announcements, including 2 batches; 10 results.
| Status | Results | Batches |
|---|---|---|
| Contested | 0 | 1 |
| Withdrawn | 1 | 1 |
| Not evaluated | 9 | 0 |
No entry with status: Formally verified, Peer reviewed, Under review. No product or model on record.
Not evaluatedThe result is declared neither right nor wrong.
Sakana AI
The lab's announcements
1 announcement; 1 result.
| Status | Results | Batches |
|---|---|---|
| Peer reviewed | 1 | 0 |
No entry with status: Formally verified, Under review, Contested, Withdrawn, Not evaluated. No product or model on record.
Advances made by others with its systems
No finding on record.
Together AI
The lab's announcements
1 announcement, including 1 batch; 9 results (of which 9 in a batch).
| Status | Results | Batches |
|---|---|---|
| Not evaluated | 9 | 1 |
No entry with status: Formally verified, Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
Advances made by others with its systems
No finding on record.
Not evaluatedThe result is declared neither right nor wrong.
xAI
The lab's announcements
2 announcements; 2 results.
| Status | Results | Batches |
|---|---|---|
| Available | 2 | 0 |
No entry with status: Announced, Demo only, Tested by a third party, Discontinued. No discovery on record.
Advances made by others with its systems
No finding on record.
Z.ai (Zhipu)
No announcement recorded.
No recognised lab
Announcements and results for which no lab was recognised.
30 announcements; 36 results (of which 6 in a batch).
| Status | Results | Batches |
|---|---|---|
| Peer reviewed | 3 | 0 |
| Not evaluated | 11 | 0 |
| Announced | 5 | 0 |
| Demo only | 4 | 0 |
| Available | 12 | 0 |
| Discontinued | 1 | 0 |
No entry with status: Formally verified, Under review, Contested, Withdrawn, Tested by a third party.
Not evaluatedThe result is declared neither right nor wrong.