Research activity

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

6,898 records · Search and filter

Math-8047-A4 gpt pro 5.2 attempt on Math-8047, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8047
Math-15970-A4 gpt pro 5.2 attempt on Math-15970, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15970
Math-8046-A4 gpt pro 5.2 attempt on Math-8046, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8046
Math-8043-A7 gpt pro 5.2 attempt on Math-8043, version 5 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8043
Math-8043-A6 gpt pro 5.2 attempt on Math-8043, version 4 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8043
Math-8043-A5 gpt pro 5.2 attempt on Math-8043, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8043
Math-8043-A4 gpt pro 5.2 attempt on Math-8043, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8043
Math-8042-A4 gpt pro 5.2 attempt on Math-8042, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8042
Math-8126-A3 gpt pro 5.2 attempt on Math-8126, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8126
Math-8125-A3 gpt pro 5.2 attempt on Math-8125, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8125
Math-8041-A5 gpt pro 5.2 attempt on Math-8041, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8041
Math-8041-A4 gpt pro 5.2 attempt on Math-8041, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8041
Math-15960-A6 gpt pro 5.2 attempt on Math-15960, version 4 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15960
Math-15960-A5 gpt pro 5.2 attempt on Math-15960, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15960
Math-15960-A4 gpt pro 5.2 attempt on Math-15960, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15960
Math-15957-A5 gpt pro 5.2 attempt on Math-15957, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15957
Math-8040-A4 gpt pro 5.2 attempt on Math-8040, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8040
Math-8038-A6 gpt pro 5.2 attempt on Math-8038, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8038
Math-8037-A6 gpt pro 5.2 attempt on Math-8037, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8037
Math-8037-A5 gpt pro 5.2 attempt on Math-8037, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8037
Math-8036-A5 gpt pro 5.2 attempt on Math-8036, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8036
Math-15953-A6 gpt pro 5.2 attempt on Math-15953, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15953
Math-15953-A5 gpt pro 5.2 attempt on Math-15953, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15953
Math-15952-A5 gpt pro 5.2 attempt on Math-15952, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15952
Math-8034-A5 gpt pro 5.2 attempt on Math-8034, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8034
Math-15950-A5 gpt pro 5.2 attempt on Math-15950, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-20 · Math-15950
Math-16407-A3 Historical community review of Math-16407 (label: known) Review (known) · Human · 2026-01-20 · Math-16407
Math-16381-A4 Historical community review of Math-16381 (label: technicality) Review (technicality) · Human · 2026-01-20 · Math-16381
Math-16369-A3 Historical community review of Math-16369 (label: technicality) Review (technicality) · Human · 2026-01-20 · Math-16369
Math-16340-A3 Historical community review of Math-16340 (label: known) Review (known) · Human · 2026-01-20 · Math-16340