LEAN auto closing PRs from unknown contributors due to amount of LLM slop they are receiving: https://github.com/leanprover/lean4/pull/16281/#AI
LLM router PISA-E cuts inference cost 36% while beating rivalsPISA-E, a prompt-adaptive ensemble router, cuts inference cost 36% at selected operating points while outperforming ri...
Nvidia's board opened an independent investigation into CEO Jensen Huang, who admitted an affair with a businesswoman U.S. intelligence says is a Chinese spy. China denies it, and ...
Jensen Huang has lots of spy friends.One of them lives in the White House.#AI #Nvidia #USPol