Is it? There are 5 other models near ~80% and it was achieved in March... which in AI-world seems like a century ago.

those are not verified. I've tried forgecode and I cannot believe they didn't do something to influence the benchmarks

	▲	GodelNumbering 5 hours ago \| parent [-]
		Yup, they were found to be sneaking the answer key using agents.md https://debugml.github.io/cheating-agents/#sneaking-the-answ...