Research activity

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

6,898 records · Search and filter

Math-8145-A4 gpt pro 5.4 attempt on Math-8145 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8145
Math-8145-A1 GPT 6 Astra Ultra attempt on Math-8145 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8145
Math-8144-A4 gpt pro 5.4 attempt on Math-8144 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8144
Math-8144-A1 GPT 6 Astra Ultra attempt on Math-8144 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8144
Math-8043-A9 gpt pro 5.4 attempt on Math-8043, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8043
Math-8043-A8 gpt pro 5.4 attempt on Math-8043 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8043
Math-8043-A1 GPT 6 Astra Ultra attempt on Math-8043 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8043
Math-15946-A7 gpt pro 5.4 attempt on Math-15946 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15946
Math-15946-A1 GPT 6 Astra Ultra attempt on Math-15946 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-15946
Math-8143-A4 gpt pro 5.4 attempt on Math-8143 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8143
Math-8143-A1 GPT 6 Astra Ultra attempt on Math-8143 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8143
Math-16143-A4 gpt pro 5.4 attempt on Math-16143 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16143
Math-16143-A1 GPT 6 Astra Ultra attempt on Math-16143 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16143
Math-8141-A5 gpt pro 5.4 attempt on Math-8141 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8141
Math-8141-A1 GPT 6 Astra Ultra attempt on Math-8141 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8141
Math-15964-A1 GPT 6 Astra Ultra attempt on Math-15964 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-15964
Math-16140-A4 gpt pro 5.4 attempt on Math-16140 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16140
Math-16140-A1 GPT 6 Astra Ultra attempt on Math-16140 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16140
Math-8140-A4 gpt pro 5.4 attempt on Math-8140 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8140
Math-8140-A1 GPT 6 Astra Ultra attempt on Math-8140 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8140
Math-16139-A4 gpt pro 5.4 attempt on Math-16139 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16139
Math-16139-A1 GPT 6 Astra Ultra attempt on Math-16139 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16139
Math-16135-A4 gpt pro 5.4 attempt on Math-16135 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16135
Math-16134-A4 gpt pro 5.4 attempt on Math-16134 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16134
Math-16134-A1 GPT 6 Astra Ultra attempt on Math-16134 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16134
Math-16133-A3 gpt pro 5.4 attempt on Math-16133 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16133
Math-8042-A5 gpt pro 5.4 attempt on Math-8042 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8042
Math-8042-A1 GPT 6 Astra Ultra attempt on Math-8042 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8042
Math-16131-A4 gpt pro 5.4 attempt on Math-16131 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16131
Math-16131-A1 GPT 6 Astra Ultra attempt on Math-16131 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16131