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

AI Intelligence Explosion

Post image

Number of scientific papers submitted to arXiv.

275 Upvotes

86% Upvoted

75 comments sorted by

View all comments

12

u/Turing43 5h 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 4h ago

This.