Dankrad Feist(@dankrad):This is a good time to remind everyone that mathematics is a language that happens to be good at describing nature, among other things. Mathematical theorems are equivalences: They say that certain ways of saying things in the language of mathematics look different but they are actually the same. It looks like we are soon reaching the point where LLMs are better at proving them than the best humans. I think that's a very significant step (but likely not the final one towards human equivalent intelligence in all fields)

2026.08.02 21:19

This is a good time to remind everyone that mathematics is a language that happens to be good at describing nature, among other things. Mathematical theorems are equivalences: They say that certain ways of saying things in the language of mathematics look different but they are actually the same. It looks like we are soon reaching the point where LLMs are better at proving them than the best humans. I think that's a very significant step (but likely not the final one towards human equivalent intelligence in all fields)

100

Forward to community

Most Popular Users