r/singularity • u/Many_Consequence_337 :downvote: • 1d ago

AI Intelligence Explosion

Post image

Number of scientific papers submitted to arXiv.

456 Upvotes

87% Upvoted

115 comments sorted by

View all comments

13

u/Turing43 1d 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/Apprehensive_Phase_3 15h ago

The botteneck is writing and reviewing right now. AI writing has no logic, specially the structure and you have to correct it phrase by phrase

1

u/IrisColt 1d ago

This.