Os POLICIAIS e os PRESOS comemorando juntos a classificação do Paraguai.
Isso aqui pra mim é o verdadeiro significado de copa do mundo. Absurdo. https://t.co/ImZzlum6ZU
This 1-hour MIT lecture by Jim Simons is like getting a masterclass from Kasparov - except the board is financial market.
Quant King reveals more about quant trading than most Wall Street players pick up in an entire career.
Bookmark it. Watch it. Then read the article below.
If we're going to have AIs that fully automate math, they not only need to solve existing problems.
We also need to teach them how to recognize what problem to solve next.
Human mathematicians have heuristic models that they use to decide what to work on, like, “There’s something important going on with the randomness of primes - let’s codify some patterns we see into specific conjectures.”
But these aren’t currently precise enough for RL.