Research activity

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

6,898 records · Search and filter

Math-15952-A1 GPT 6 Astra Ultra attempt on Math-15952 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-15952
Math-8034-A6 gpt pro 5.4 attempt on Math-8034 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-09-23 · Math-8034
Math-8034-A1 GPT 6 Astra Ultra attempt on Math-8034 No claim recorded · LLM-generated · gpt 6 astra ultra · 2026-09-23 · Math-8034
Math-16394-A2 claude opus 4.8 attempt on Math-16394 No claim recorded · LLM-generated · claude opus 4.8 · 2026-07-08 · Math-16394
Math-16273-A2 claude opus 4.8 attempt on Math-16273 No claim recorded · LLM-generated · claude opus 4.8 · 2026-07-08 · Math-16273
Math-16210-A2 claude opus 4.8 attempt on Math-16210 No claim recorded · LLM-generated · claude opus 4.8 · 2026-07-08 · Math-16210
Math-8141-A2 claude opus 4.8 attempt on Math-8141 No claim recorded · LLM-generated · claude opus 4.8 · 2026-07-08 · Math-8141
Math-16751-A2 claude opus 4.8 attempt on Math-16751 No claim recorded · LLM-generated · claude opus 4.8 · 2026-07-08 · Math-16751
Math-15957-A2 codex 5.2 extra high attempt on Math-15957 No claim recorded · LLM-generated · codex 5.2 extra high · 2026-05-09 · Math-15957
Math-16380-A3 gpt pro 5.4 attempt on Math-16380 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-03-07 · Math-16380
Math-8282-A3 gpt pro 5.4 attempt on Math-8282 No claim recorded · LLM-generated · gpt pro 5.4 · 2026-03-07 · Math-8282
Math-8035-A6 gpt pro 5.2 attempt on Math-8035, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8035
Math-8035-A5 gpt pro 5.2 attempt on Math-8035, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8035
Math-8055-A4 gpt pro 5.2 attempt on Math-8055, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8055
Math-15988-A6 gpt pro 5.2 attempt on Math-15988, version 4 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15988
Math-15988-A5 gpt pro 5.2 attempt on Math-15988, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15988
Math-15988-A4 gpt pro 5.2 attempt on Math-15988, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15988
Math-15987-A4 gpt pro 5.2 attempt on Math-15987, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15987
Math-8054-A4 gpt pro 5.2 attempt on Math-8054, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8054
Math-15985-A4 gpt pro 5.2 attempt on Math-15985, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15985
Math-8053-A4 gpt pro 5.2 attempt on Math-8053, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8053
Math-7540-A4 gpt pro 5.2 attempt on Math-7540, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-7540
Math-8052-A4 gpt pro 5.2 attempt on Math-8052, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8052
Math-8051-A5 gpt pro 5.2 attempt on Math-8051, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8051
Math-8051-A4 gpt pro 5.2 attempt on Math-8051, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8051
Math-8050-A4 gpt pro 5.2 attempt on Math-8050, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8050
Math-15972-A5 gpt pro 5.2 attempt on Math-15972, version 3 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15972
Math-15972-A4 gpt pro 5.2 attempt on Math-15972, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15972
Math-15971-A4 gpt pro 5.2 attempt on Math-15971, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-15971
Math-8048-A4 gpt pro 5.2 attempt on Math-8048, version 2 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-27 · Math-8048