Research activity

Work dates retain their recorded precision. Import and ledger dates are not publication dates.

6,898 records · Search and filter

Math-16164-A1 GPT 6 Astra Ultra attempt on Math-16164 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16164
Math-16163-A1 GPT 6 Astra Ultra attempt on Math-16163 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16163
Math-16162-A1 GPT 6 Astra Ultra attempt on Math-16162 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16162
Math-8157-A1 GPT 6 Astra Ultra attempt on Math-8157 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8157
Math-8156-A1 GPT 6 Astra Ultra attempt on Math-8156 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8156
Math-16161-A1 GPT 6 Astra Ultra attempt on Math-16161 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16161
Math-8044-A5 gpt pro 5.4 attempt on Math-8044 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8044
Math-8044-A1 GPT 6 Astra Ultra attempt on Math-8044 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8044
Math-8152-A4 gpt pro 5.4 attempt on Math-8152 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8152
Math-8152-A1 GPT 6 Astra Ultra attempt on Math-8152 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8152
Math-16160-A6 gpt pro 5.4 attempt on Math-16160, version 3 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16160
Math-16160-A5 gpt pro 5.4 attempt on Math-16160, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16160
Math-16160-A4 gpt pro 5.4 attempt on Math-16160 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16160
Math-8151-A5 gpt pro 5.4 attempt on Math-8151, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8151
Math-8151-A4 gpt pro 5.4 attempt on Math-8151 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8151
Math-8151-A1 GPT 6 Astra Ultra attempt on Math-8151 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8151
Math-8150-A5 gpt pro 5.4 attempt on Math-8150, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8150
Math-8150-A4 gpt pro 5.4 attempt on Math-8150 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8150
Math-8150-A1 GPT 6 Astra Ultra attempt on Math-8150 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8150
Math-8149-A4 gpt pro 5.4 attempt on Math-8149 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8149
Math-8149-A1 GPT 6 Astra Ultra attempt on Math-8149 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8149
Math-16156-A4 gpt pro 5.4 attempt on Math-16156 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16156
Math-16156-A1 GPT 6 Astra Ultra attempt on Math-16156 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16156
Math-15965-A1 GPT 6 Astra Ultra attempt on Math-15965 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-15965
Math-16152-A4 gpt pro 5.4 attempt on Math-16152 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16152
Math-16152-A1 GPT 6 Astra Ultra attempt on Math-16152 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16152
Math-8147-A4 gpt pro 5.4 attempt on Math-8147 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8147
Math-8147-A1 GPT 6 Astra Ultra attempt on Math-8147 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8147
Math-8146-A4 gpt pro 5.4 attempt on Math-8146 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8146
Math-8146-A1 GPT 6 Astra Ultra attempt on Math-8146 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8146