Research activity

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

6,477 records · Search and filter

CS-468-A1 gpt 6 astra ultra attempt on CS-468 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-468
CS-467-A1 gpt 6 astra ultra attempt on CS-467 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-467
CS-466-A1 gpt 6 astra ultra attempt on CS-466 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-466
CS-465-A1 gpt 6 astra ultra attempt on CS-465 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-465
CS-464-A1 gpt 6 astra ultra attempt on CS-464 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-464
CS-463-A1 gpt 6 astra ultra attempt on CS-463 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-463
CS-462-A1 gpt 6 astra ultra attempt on CS-462 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-462
CS-461-A1 gpt 6 astra ultra attempt on CS-461 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-461
CS-191-A1 gpt 6 astra ultra attempt on CS-191 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-191
CS-460-A1 gpt 6 astra ultra attempt on CS-460 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-460
CS-459-A1 gpt 6 astra ultra attempt on CS-459 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-11 · CS-459
Econ-433-A2 GPT 6 Astra Pro attempt on Econ-433 Full solution claimed · LLM-generated · gpt 6 astra pro · 2026-10-11 · Econ-433
Math-2616-A1 Human contribution summary on Math-2616: Ryan Shea Literature report · Human + LLM · codex · 2026-10-10 · Math-2616
Econ-62-A2 GPT 6 Astra Ultra attempt on Econ-62, version 2 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-62
Econ-24-A3 GPT 6 Astra Ultra attempt on Econ-24, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-24
Econ-59-A3 GPT 6 Astra Ultra attempt on Econ-59, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-59
Econ-61-A2 GPT 6 Astra Ultra attempt on Econ-61, version 2 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-61
Econ-45-A2 GPT 6 Astra Ultra attempt on Econ-45, version 2 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-45
Econ-70-A3 GPT 6 Astra Ultra attempt on Econ-70, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-70
Econ-80-A2 GPT 6 Astra Ultra attempt on Econ-80, version 2 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-80
Econ-57-A3 GPT 6 Astra Ultra attempt on Econ-57, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-57
Econ-63-A3 GPT 6 Astra Ultra attempt on Econ-63, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-63
Econ-64-A3 GPT 6 Astra Ultra attempt on Econ-64, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-64
Econ-52-A3 GPT 6 Astra Ultra attempt on Econ-52, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-52
Econ-50-A2 GPT 6 Astra Ultra attempt on Econ-50, version 2 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-50
Econ-44-A3 GPT 6 Astra Ultra attempt on Econ-44, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-44
Econ-39-A3 GPT 6 Astra Ultra attempt on Econ-39, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-39
Econ-33-A2 GPT 6 Astra Ultra attempt on Econ-33, version 2 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-33
Econ-53-A2 GPT 6 Astra Ultra attempt on Econ-53, version 2 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-53
Econ-67-A3 GPT 6 Astra Ultra attempt on Econ-67, version 3 Exploration · LLM-generated · gpt 6 astra ultra · 2026-10-10 · Econ-67