Yes, here is another example of major work in this area:

> Our most capable agent autonomously resolved 9 of 353 open Erdős problems at the per-problem cost of a few hundred dollars, proved 44/492 OEIS conjectures

▲

einpoklum 2 days ago | parent [-]

The actual quote:

> Our full-featured agent autonomously solved 9 Erdős problems out of 353 attempted, including two questions that had been open for 56 years

Note _had_ been open, not _have_ been open. Can you clarify?

	▲	jsnell 2 days ago \| parent [-]
		The original was an actual quote? But "had" still doesn't mean what you are implying: once the model solved the problems and the solutions were verified, the problems weren't open any more, so a later description using the past tense is totally consistent.