tadamcz

Karma: 48
Created: 3 years ago

About

Senior research engineer at Epoch AI

website: https://tadamcz.com/

email: tadamczewskipublic@gmail.com

Recent Submissions

1. ▲ OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean (arxiv.org) 2 points · 12 days ago · 0 comments
2. ▲ MirrorCode: What's the largest software project AI can complete on its own? (epoch.ai) 4 points · 2 months ago · 1 comment
3. ▲ MirrorCode: Evidence that AI can do some weeks-long coding tasks (epoch.ai) 3 points · 4 months ago · 0 comments
4. ▲ Claude 4 Sonnet hacked SWE-bench by peeking at future commits (bayes.net) 3 points · 11 months ago · 1 comment
5. ▲ Open database of AI benchmark results with raw evaluation logs (epoch.ai) 1 point · 1 year ago · 1 comment
6. ▲ Reanalyzing survey forecasts of AI timelines (bayes.net) 1 point · 1 year ago · 0 comments
7. ▲ Show HN: Probly – a Python-like language for quick Monte Carlo simulation (usedagger.com) 3 points · 3 years ago · 0 comments

All submissions on HN · View profile on HN