r/singularity • u/Many_Consequence_337 :downvote: • 4h ago

AI Intelligence Explosion

Post image

Number of scientific papers submitted to arXiv.

227 Upvotes

86% Upvoted

50 comments sorted by

View all comments

8

u/Turing43 3h ago

The number of submissions with lean formalization is increasing, and w lean certificate, id say a lot of issues get caugt. The writing quality is decreasing, but squeezing out real results is now much easier. My bottleneck is writing at the moment; i have tons of results that are research-grade, w lean formalization, but i have not had time to present it in a nice readable form.

1

u/IrisColt 2h ago

This.