Sex vlogger 2025-12-13
Safe for work 2025-12-13
Pornhub 2025-12-13
GPQA 2025-12-02
Questions available to anyone under Hugging Face login / .zip with password, but you have to promise not to post them online. Lol. Either do the thing or don't.
Project Euler problem 958 Created 2025-12-02 Updated 2026-01-30
Numerical solution:
367554579311Earliest known public leak: github.com/lucky-bai/projecteuler-solutions/issues/93
LiveBench 2025-12-02
Project Euler problem 948 Created 2025-12-01 Updated 2026-01-30
Numerical solution:
1033654680825334184Earliest known public leak: github.com/lucky-bai/projecteuler-solutions/issues/87
Poetiq 2025-12-01
Ubuntu 25.10 bug 2025-11-30
Ubuntu 25.10 2025-11-30
Project Euler problem 972 Created 2025-11-30 Updated 2026-01-30
Numerical solution:
3575508Earliest known public leak:
AI Mathematical Olympiad 2025-11-30
Not too exciting because of the high school knowledge olympiad level, but respectable.
- Every problem has one final integer answer:Also unlike Project Euler and like IMO, all only limited computations are required, i.e. you are not expected to do full blown program generation to reach a final answer. Which makes this further less exciting.
Physics Derivation Graph 2025-11-30
PhysLean 2025-11-30
Formalization of physics project 2025-11-30
Formalization of physics 2025-11-30
Formalization of X 2025-11-30
This section is about formalization efforts of specific fields of mathematics.
Project Euler problem 971 Created 2025-11-23 Updated 2026-01-30
Numerical solution:
33626723890930Earliest known public leak:
Project Euler problem 970 Created 2025-11-19 Updated 2026-01-30
Numerical solution:
44754029Earliest known public leak: x.com/cirosantilli/status/1990363555309490585
ORCA Benchmark Created 2025-11-19 Updated 2025-11-30
This one doesn't seem to exciting to be honest, but it might be useful. Sample question:and it expects the correct answer down to the cents:It should be noted that Project Euler has such "precision matters" problems.
53892.27
There are unlisted articles, also show them or only show them.