The use of AI in 10-K Filings: An Empirical Analysis of SP 500 Reports | Synapse