Research activity

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

6,898 records · Search and filter

Math-8137-A4 gpt pro 5.4 attempt on Math-8137 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8137
Math-8137-A1 GPT 6 Astra Ultra attempt on Math-8137 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8137
Math-16129-A6 gpt pro 5.4 attempt on Math-16129, version 3 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16129
Math-16129-A5 gpt pro 5.4 attempt on Math-16129, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16129
Math-16129-A4 gpt pro 5.4 attempt on Math-16129 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16129
Math-16129-A1 GPT 6 Astra Ultra attempt on Math-16129 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16129
Math-16127-A4 gpt pro 5.4 attempt on Math-16127 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16127
Math-16127-A1 GPT 6 Astra Ultra attempt on Math-16127 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16127
Math-8135-A3 gpt pro 5.4 attempt on Math-8135 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8135
Math-8135-A1 GPT 6 Astra Ultra attempt on Math-8135 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8135
Math-8134-A3 gpt pro 5.4 attempt on Math-8134 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8134
Math-8134-A1 GPT 6 Astra Ultra attempt on Math-8134 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8134
Math-8133-A3 gpt pro 5.4 attempt on Math-8133 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8133
Math-8133-A1 GPT 6 Astra Ultra attempt on Math-8133 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8133
Math-15963-A1 GPT 6 Astra Ultra attempt on Math-15963 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-15963
Math-8132-A3 gpt pro 5.4 attempt on Math-8132 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8132
Math-8132-A1 GPT 6 Astra Ultra attempt on Math-8132 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8132
Math-8131-A3 gpt pro 5.4 attempt on Math-8131 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8131
Math-8131-A1 GPT 6 Astra Ultra attempt on Math-8131 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8131
Math-16123-A3 gpt pro 5.4 attempt on Math-16123 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16123
Math-16123-A1 GPT 6 Astra Ultra attempt on Math-16123 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16123
Math-8130-A3 gpt pro 5.4 attempt on Math-8130 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8130
Math-8130-A1 GPT 6 Astra Ultra attempt on Math-8130 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8130
Math-16122-A4 gpt pro 5.4 attempt on Math-16122, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16122
Math-16122-A3 gpt pro 5.4 attempt on Math-16122 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16122
Math-16122-A1 GPT 6 Astra Ultra attempt on Math-16122 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16122
Math-16120-A4 gpt pro 5.4 attempt on Math-16120, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16120
Math-16120-A3 gpt pro 5.4 attempt on Math-16120 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16120
Math-16120-A1 GPT 6 Astra Ultra attempt on Math-16120 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16120
Math-16119-A4 gpt pro 5.4 attempt on Math-16119, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16119