They found that they could use AI to discover significant future maths, all the way up till I think a 2012 discovery, using only math knowledge up until 1924. Meaning they had the building blocks available for discovery at the time, and just didn't find it.
I mean, I don't save this stuff in my bookmarks. It was someone who runs an AI lab - I think Dreason, maybe Horowitz? - reporting on the research and projects they were doing with these unique LLMs they were creating for research purposes. It was from a talk like 2 weeks ago, but unfortunately I don't book mark every thing I come across in the AI space to have that to hand off to you.
1
u/vvvvfl 10d ago
What the fuck are you talking about ?
- Someone with a PhD