Research activity

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

6,898 records · Search and filter

Math-16676-A2 gpt pro 5.2 attempt on Math-16676 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16676
Math-16673-A2 gpt pro 5.2 attempt on Math-16673 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16673
Math-16671-A2 gpt pro 5.2 attempt on Math-16671 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16671
Math-16670-A2 gpt pro 5.2 attempt on Math-16670 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16670
Math-16668-A2 gpt pro 5.2 attempt on Math-16668 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16668
Math-8071-A2 gpt pro 5.2 attempt on Math-8071 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-8071
Math-16667-A2 gpt pro 5.2 attempt on Math-16667 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16667
Math-16660-A2 gpt pro 5.2 attempt on Math-16660 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16660
Math-16659-A2 gpt pro 5.2 attempt on Math-16659 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16659
Math-16658-A2 gpt pro 5.2 attempt on Math-16658 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16658
Math-16011-A2 gpt pro 5.2 attempt on Math-16011 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16011
Math-16655-A2 gpt pro 5.2 attempt on Math-16655 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16655
Math-16654-A2 gpt pro 5.2 attempt on Math-16654 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16654
Math-16652-A2 gpt pro 5.2 attempt on Math-16652 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16652
Math-16651-A2 gpt pro 5.2 attempt on Math-16651 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16651
Math-16649-A2 gpt pro 5.2 attempt on Math-16649 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16649
Math-8069-A2 gpt pro 5.2 attempt on Math-8069 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-8069
Math-16643-A2 gpt pro 5.2 attempt on Math-16643 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16643
Math-16642-A2 gpt pro 5.2 attempt on Math-16642 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16642
Math-16641-A2 gpt pro 5.2 attempt on Math-16641 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16641
Math-16640-A2 gpt pro 5.2 attempt on Math-16640 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16640
Math-16010-A2 gpt pro 5.2 attempt on Math-16010 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-16010
Math-15952-A4 gpt pro 5.2 attempt on Math-15952 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-15952
Math-15952-A3 gpt 5.2 attempt on Math-15952 No claim recorded · LLM-generated · gpt 5.2 · 2026-01-17 · Math-15952
Math-15952-A2 codex 5.2 extra high attempt on Math-15952 No claim recorded · LLM-generated · codex 5.2 extra high · 2026-01-17 · Math-15952
Math-8034-A4 gpt pro 5.2 attempt on Math-8034 No claim recorded · LLM-generated · gpt pro 5.2 · 2026-01-17 · Math-8034
Math-8034-A3 gpt 5.2 attempt on Math-8034 No claim recorded · LLM-generated · gpt 5.2 · 2026-01-17 · Math-8034
Math-8034-A2 codex 5.2 extra high attempt on Math-8034 No claim recorded · LLM-generated · codex 5.2 extra high · 2026-01-17 · Math-8034
Math-10685-A1 Integer right inverses of [D X]: a finite rank criterion Full solution claimed · LLM-generated · gpt 6.1 sol · Math-10685
Math-10674-A1 A division-free partition formula for elementary symmetric functions of a sum of matrices Full solution claimed · LLM-generated · gpt 6.1 sol · Math-10674