ws

[Deedy @deedydas]

The International Math Olympiad (IMO) 2026, the hardest math contest for high schoolers, just ended.

I ran Fable (high), Sol (xhigh), K3 (max) and Axiom against it and all got a perfect score of 42/42 (repo below if you want to check their solutions):
— Claude Fable 5 was the solved it in 1 attempt, and was the fastest.
— GPT 5.6 Sol took 1 more attempts, and was cheapest.
— Kimi K3 did it but took 4 more attempts, and took a LOT of tokens.
— Axiom Math actually proved everything in Lean.

P3 and P6 were the hardest followed by P2, judging by attempts + num tokens.

Students had 9hrs to solve these 6 problems, and Fable and Sol were under 4hrs.

The frontier of AI has officially moved well past IMO math.

[Sam Altman @sama]

How To Be Successful
(At Your Career, Twitter Edition)

[ws @chrsow]

Here is my PoC for the Frozen Heart vulnerability in PlonK (https://t.co/Azmt46rAul) which was discovered by @trailofbits @TheMijCipher, check it out!

https://t.co/eJXSAeDTkH

[0xngmi @0xngmi]

ohm fork dev doxxes itself with a photo to prove that it's not a rug, then rugs and it turns out that picture was AI generated

kek

[Zeus @DefiZeus]

Look at the video of the “CEO” of DeTrade Fund which just rugged.. the audio is a little delayed because of screen record but you can tell that the video is glitchy and hes an AI. This needs to be shared to everybody so we can be more careful in the future #defi #crypto #uniswap

[Worawit Wang @sleepya_]

Exploit for CVE-2021-3156 (Sudo Baron Samedit) https://t.co/uE3qnQeJYH
Should work on CentOS>=6, Ubuntu>=14.04, Debian>=9, ...

[Marcel Böhme👨‍🔬 @mboehme_]

What are open challenges in #fuzzing and symbolic execution and why has fuzzing gained so much traction recently?

Talk at #fuzzconeurope2020.

https://t.co/cV1xEAVWTX

[Kaspersky @kaspersky]

We'd normally say it's not a good idea to use your name as a password... 🤔

[Prof. Feynman @ProfFeynman]

Schrödinger's Plates: They are both broken and not broken until you open the door.

[Guido van Rossum @gvanrossum]

Python 2.7.15 released -- the last 2.7 release! https://t.co/3VNiKJLAYr