Yannick K. @yannixk - Twitter Profile

Last year, models miserably failed on USAMO 2025. This year, GPT-5.4 scores an amazing 95%, essentially saturating the benchmark. Yes, LLMs still make many mistakes, but overall, one can be nothing but amazed at what they are achieving and how steep progress in AI4Math is.

j_dekoninck's tweet photo. Last year, models miserably failed on USAMO 2025. This year, GPT-5.4 scores an amazing 95%, essentially saturating the benchmark.

Yes, LLMs still make many mistakes, but overall, one can be nothing but amazed at what they are achieving and how steep progress in AI4Math is. https://t.co/hKMaMohedt

28

588

67

109

74K

Yannick K. @yannixk

3 months ago

@thsottiaux Saint Tibo !!

0

7

Yannick K. @yannixk

4 months ago

@thsottiaux GPT-5.4-Codex

0

29

yannixk retweeted

Math Files

@Math_files

5 months ago

Bayes’ theorem is probably the single most important thing any rational person can learn. So many of our debates and disagreements that we shout about are because we don’t understand Bayes’ theorem or how human rationality often works. Bayes’ theorem is named after the 18th-century Thomas Bayes, and essentially it’s a formula that asks: when you are presented with all of the evidence for something, how much should you believe it? Bayes’ theorem teaches us that our beliefs are not fixed; they are probabilities. Our beliefs change as we weigh new evidence against our assumptions, or our priors. In other words, we all carry certain ideas about how the world works, and new evidence can challenge them. For example, somebody might believe that smoking is safe, that stress causes mouth ulcers, or that human activity is unrelated to climate change. These are their priors, their starting points. They can be formed by our culture, our biases, or even incomplete information. Now imagine a new study comes along that challenges one of your priors. A single study might not carry enough weight to overturn your existing beliefs. But as studies accumulate, eventually the scales may tip. At some point, your prior will become less and less plausible. Bayes’ theorem argues that being rational is not about black and white. It’s not even about true or false. It’s about what is most reasonable based on the best available evidence. But for this to work, we need to be presented with as much high-quality data as possible. Without evidence—without belief-forming data—we are left only with our priors and biases. And those aren’t all that rational.