Research activity

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

6,898 records · Search and filter

Math-8055-A1 GPT 6 Astra Ultra attempt on Math-8055 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8055
Math-16383-A1 Reused writeup on Math-16383 (gpt pro 5.2) No claim recorded · LLM-generated · gpt pro 5.2 · 2026-09-23 · Math-16383
Math-16381-A3 gpt pro 5.4 attempt on Math-16381 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16381
Math-16381-A1 Reused writeup on Math-16381 (gpt pro 5.4) No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16381
Math-16380-A1 GPT 6 Astra Ultra attempt on Math-16380 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-16380
Math-8282-A4 gpt pro 5.4 attempt on Math-8282, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8282
Math-8282-A1 GPT 6 Astra Ultra attempt on Math-8282 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8282
Math-16377-A3 gpt pro 5.4 attempt on Math-16377 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-16377
Math-15988-A9 gpt pro 5.4 attempt on Math-15988, version 11 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A8 gpt pro 5.4 attempt on Math-15988, version 10 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A7 gpt pro 5.4 attempt on Math-15988 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A17 gpt pro 5.4 attempt on Math-15988, version 9 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A16 gpt pro 5.4 attempt on Math-15988, version 8 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A15 gpt pro 5.4 attempt on Math-15988, version 7 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A14 gpt pro 5.4 attempt on Math-15988, version 6 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A13 gpt pro 5.4 attempt on Math-15988, version 5 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A12 gpt pro 5.4 attempt on Math-15988, version 4 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A11 gpt pro 5.4 attempt on Math-15988, version 3 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A10 gpt pro 5.4 attempt on Math-15988, version 2 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15988
Math-15988-A1 GPT 6 Astra Ultra attempt on Math-15988 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-15988
Math-16374-A1 Reused writeup on Math-16374 (gpt pro 5.2) No claim recorded · LLM-generated · gpt pro 5.2 · 2026-09-23 · Math-16374
Math-8281-A3 gpt pro 5.4 attempt on Math-8281 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8281
Math-8281-A1 GPT 6 Astra Ultra attempt on Math-8281 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8281
Math-8280-A3 gpt pro 5.4 attempt on Math-8280 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8280
Math-8280-A1 GPT 6 Astra Ultra attempt on Math-8280 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8280
Math-8279-A3 gpt pro 5.4 attempt on Math-8279 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8279
Math-8279-A1 GPT 6 Astra Ultra attempt on Math-8279 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8279
Math-8278-A1 Reused writeup on Math-8278 (gpt pro 5.2) No claim recorded · LLM-generated · gpt pro 5.2 · 2026-09-23 · Math-8278
Math-15987-A5 gpt pro 5.4 attempt on Math-15987 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-15987
Math-15987-A1 GPT 6 Astra Ultra attempt on Math-15987 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-15987