There is no nice way to tell someone that you’ve scooped them, and this is industrial scale scooping.

A few papers have been retracted, but it looks like many are withstanding intense scrutiny. Lean is making the results more likely to be correct, but I think making them harder to understand.

The world has changed and you’ll know a math department is making a serious attempt to adapt when it teaches a required Lean course in freshman year.

▲

hodgehog11 an hour ago | parent [-]

Why do you believe that learning Lean is a better use of time when the AI is clearly better at writing and interpreting Lean than it is writing quality papers? At this point, Lean is for autoformalization, no one is really supposed to read it.

▲

creata an hour ago | parent [-]

Well, you don't necessarily need to read the proof, but the proof is useless if you don't read the specification.

	▲	hodgehog11 an hour ago \| parent [-]
		That's fair, but I would argue that reading the specification is very easy by comparison. A quick one hour tutorial is usually enough judging from my students' experiences.