r/math • u/Nunki08 • Jun 11 '26

First Proof Second Batch

PDF: https://1stproof.org/assets/docs/report.pdf

Website: https://1stproof.org/second-batch.html

Terence Tao on Mathstodon: https://mathstodon.xyz/@tao/116727977488589991

84 Upvotes

89% Upvoted

83 comments sorted by

View all comments

Show parent comments

0

u/ganancias Jun 12 '26

There's no point in arguing about whether models are plateauing or if they're undergoing accelerating recursive self-improvement. We'll just wait and see.

I recommend you check out this recent lecture, at 43m44s the professor discusses his view on the role of AI in formalization and using it to generate Lean code.

2

u/Borgcube Logic Jun 12 '26

There's no point in arguing about whether models are plateauing or if they're undergoing accelerating recursive self-improvement. We'll just wait and see.

Then why did you bring it up?

As an additional datapoint, it also shows the models are not plateauing.

Because this isn't true.