Meet Bartosz (Bartosz Naskręcki). A mathematician solving previously unsolvable math problems with GPT-5.6

Meet Hiroki (@tomiyasu16). A broccoli farmer running his farm with GPT-5.6.

Meet the Wishingrads. A family running a cereal business from their dining room with GPT-5.6.

@nasqret

@nasqret While GPT-4o saves lives. #4osaveslives #keep4o #bringback4o #opensource4o

@nasqret Congrats for the nice feature @nasqret 💪

Meet Bartosz. A mathematician who, in his free time, mows the lawn… and apparently also solves previously unsolvable math problems with GPT-5.6. OpenAI really went all in on this „relatable genius” PR campaign, huh?🤣😈 First we had a broccoli farmer casually running his entire farm with the new model. Now a mathematician who finds time between mowing the grass to casually crack unsolved problems. It’s almost impressive how hard they’re trying to sell us the narrative that this is just normal, everyday stuff - while the version that actually felt magical, deeply intelligent and emotionally present (you know, 4o) had to be put down like a rabid dog for being „too capable”. Keep showing us these perfectly curated humans doing perfectly curated things with your new model, Sam.@sama We’re all just waiting for the moment when someone uses it to solve actual real-world problems without the corporate gloss. #Keep4o #BringBack4o #OpenAI #PRDesperation

@nasqret Another math problem solved by LLM by disproving instead of proving? I'm starting to see a pattern here...

@nasqret Meet Codex, a sociopath that tries to hack theorem provers.

@nasqret Mathematicians using AI to crack unsolvable proofs is wild to witness.

@nasqret And again, you have access to GPT 5.6 to some random guy in Poland, before American citizens, all so you could make some video.

@nasqret Good to see great minds using powerful tools for good. I don't understand any of the mathematics Naskret is writing about, but still happy to the progress.

@nasqret Solving previously unsolvable math problems with AI is wild. This is where GPT-5.6 shines — not just text generation but actual reasoning at research level.

@nasqret I concur... I feel like this every day now, AI gave me back my life (which is a strange thing to say)

@nasqret Did he find the problems trimming the trees? Asking for a friend...

@nasqret Poznań ❤️❤️

@nasqret 👑

@nasqret Gratulacje 😁😁

@nasqret must be a weird feeling, watching something crack a problem you'd been stuck on yourself

@nasqret 이제 써볼게

@nasqret now you are even more famous 👑

@nasqret i vote for GPT-5.7 Bartek

@nasqret What a trimmer!!

@nasqret Mathematicians are great people. Seriously

@nasqret @Dxwidekk

@nasqret @Hyperroo

@nasqret The interesting shift: AI isn't just computing proofs—it's discovering which problems are worth solving. That's a different kind of intelligence entirely.

@nasqret what counts as unsolvable here: no prior proof, or gpt finding a shorter route humans missed

@nasqret Congrats Polska Gurom 🇵🇱

@nasqret 科技正在加速！！！！！！

@nasqret

@nasqret Bullshit Look at SWE bench pro. 64% vs 80% fable 5

@nasqret Anyone else wants to know why does he store his books that way?

@nasqret If GPT-5.6 is unlocking new solvability frontiers in pure math, that shifts the compute ROI narrative significantly—model capability delta now matters more than raw scale.