Google just solved 9/353 open Erdős Problems at the cost of a few hundred dollars each using its most capable LLM.
The proofs were written in Lean and mechanically verified. This is no longer just olympiad mathematics.
People see $TSLA down 11 points pre-market but all I see is a natural rejection at Tenkan resistance (blue line) while flipping 353.19 back to support
Bullish