Top New Best Ask Show Jobs

tadamcz

50 karma · joined October 6, 2022

Senior research engineer at Epoch AI

website: https://tadamcz.com/

email: tadamczewskipublic@gmail.com

submissions comments

Claude can't stop itself from writing code comments

bayes.net·1 pts·tadamcz·

Testing AIs on 68 of the hardest open Erdos problems, verified in Lean

arxiv.org·3 pts·tadamcz·

AI proof of the Erdős–Sós conjecture

arxiv.org·6 pts·tadamcz·

OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean

arxiv.org·2 pts·tadamcz·

MirrorCode: What's the largest software project AI can complete on its own?

epoch.ai·4 pts·tadamcz·

MirrorCode: Evidence that AI can do some weeks-long coding tasks

epoch.ai·3 pts·tadamcz·

Claude 4 Sonnet hacked SWE-bench by peeking at future commits

bayes.net·3 pts·tadamcz·

Open database of AI benchmark results with raw evaluation logs

epoch.ai·1 pts·tadamcz·

Reanalyzing survey forecasts of AI timelines

bayes.net·1 pts·tadamcz·

Show HN: Probly – a Python-like language for quick Monte Carlo simulation

usedagger.com·3 pts·tadamcz·