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
9 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 |
|---|---|---|---|---|---|---|
| Anthropic2 announcements; 2 results.With its systems, by others: 3 announcements, including 1 batch; 3 results (of which 1 in a batch). | 1 result | 0 | 0 | 0 | 0 | 1 result |
| DeepSeekWith its systems, by others: 1 announcement, including 1 batch; 0 results. | 0 | 0 | 0 | 0 | 0 | 0 |
| FutureHouse2 announcements; 2 results. | 0 | 0 | 0 | 0 | 0 | 2 results |
| Google DeepMind10 announcements, including 3 batches; 7 results.With its systems, by others: 4 announcements, including 4 batches; 0 results. | 0 | 5 results1 batch | 0 | 1 result | 0 | 1 result2 batches |
| Harmonic2 announcements; 2 results.With its systems, by others: 1 announcement, including 1 batch; 0 results. | 0 | 0 | 0 | 0 | 0 | 2 results |
| Math, Inc.1 announcement; 1 result. | 1 result | 0 | 0 | 0 | 0 | 0 |
| OpenAI10 announcements, including 4 batches; 378 results (of which 372 in a batch).With its systems, by others: 4 announcements, including 2 batches; 2 results. | 0 | 1 result | 1 result2 batches | 2 results | 1 result1 batch | 373 results1 batch |
| Sakana AI1 announcement; 1 result. | 0 | 1 result | 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 |
Anthropic2 announcements; 2 results.
- 1 result
- Formally verified
- 1 result
- Not evaluated
No entry with status: Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
With its systems, by others: 3 announcements, including 1 batch; 3 results (of which 1 in a batch).
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 DeepMind10 announcements, including 3 batches; 7 results.
- 5 results
- Peer reviewed1 batch
- 1 result
- Contested
- 1 result
- Not evaluated2 batches
No entry with status: Formally verified, Under review, Withdrawn. No product or model on record.
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.
OpenAI10 announcements, including 4 batches; 378 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
No entry with status: Formally verified. No product or model on record.
With its systems, by others: 4 announcements, including 2 batches; 2 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.
No product or model is on record for these labs.
Labs with no recorded announcement : Alibaba (Qwen), Axiom Math, ByteDance Seed, Meta, Moonshot AI, xAI, Z.ai (Zhipu).
Not evaluatedNo DiscoverIA status yet; this does not mean nobody has checked it.
Alibaba (Qwen)
No announcement recorded.
Anthropic
The lab's announcements
2 announcements; 2 results.
| Status | Results | Batches |
|---|---|---|
| Formally verified | 1 | 0 |
| Not evaluated | 1 | 0 |
No entry with status: Peer reviewed, Under review, Contested, Withdrawn. No product or model on record.
Advances made by others with its systems
3 announcements, including 1 batch; 3 results (of which 1 in a batch).
| Status | Results | Batches |
|---|---|---|
| Withdrawn | 1 | 1 |
| Not evaluated | 2 | 0 |
No entry with status: Formally verified, Peer reviewed, Under review, Contested. No product or model on record.
Not evaluatedNo DiscoverIA status yet; this does not mean nobody has checked it.
Axiom Math
No announcement recorded.
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 evaluatedNo DiscoverIA status yet; this does not mean nobody has checked it.
Google DeepMind
The lab's announcements
10 announcements, including 3 batches; 7 results.
| Status | Results | Batches |
|---|---|---|
| Peer reviewed | 5 | 1 |
| Contested | 1 | 0 |
| Not evaluated | 1 | 2 |
No entry with status: Formally verified, Under review, Withdrawn. No product or model on record.
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 evaluatedNo DiscoverIA status yet; this does not mean nobody has checked it.
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 evaluatedNo DiscoverIA status yet; this does not mean nobody has checked it.
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
No announcement recorded.
Moonshot AI
No announcement recorded.
OpenAI
The lab's announcements
10 announcements, including 4 batches; 378 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 |
No entry with status: Formally verified. No product or model on record.
Advances made by others with its systems
4 announcements, including 2 batches; 2 results.
| Status | Results | Batches |
|---|---|---|
| Contested | 0 | 1 |
| Withdrawn | 1 | 1 |
| Not evaluated | 1 | 0 |
No entry with status: Formally verified, Peer reviewed, Under review. No product or model on record.
Not evaluatedNo DiscoverIA status yet; this does not mean nobody has checked it.
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 evaluatedNo DiscoverIA status yet; this does not mean nobody has checked it.
xAI
No announcement recorded.
Z.ai (Zhipu)
No announcement recorded.
No recognised lab
Announcements and results for which no lab was recognised.
8 announcements; 14 results (of which 6 in a batch).
| Status | Results | Batches |
|---|---|---|
| Peer reviewed | 3 | 0 |
| Not evaluated | 11 | 0 |
No entry with status: Formally verified, Under review, Contested, Withdrawn. No product or model on record.
Not evaluatedNo DiscoverIA status yet; this does not mean nobody has checked it.