One - 🇬🇧/acc

@twominutepapers @pushmeet @GoogleDeepMind I would LOVE that

@OneLockOneKill1 @pushmeet @GoogleDeepMind It surely would have been amazing to talk about it. Who knows, maybe there will be more interviews with more DeepMind people? That sounds lovely.

AI agents are advancing research-level math. 🚀 I’m thrilled to share @GoogleDeepMind’s AlphaProof Nexus - an agentic framework for formal proof search powered by Gemini. When applied to a set of open formal math problems, our agent autonomously solved: ✅ 9 open Erdős problems (including two open for 56 years!) ✅ 44 Online Encyclopedia of Integer Sequences (OEIS) problems ✅ A 15-year-old open problem in algebraic geometry ✅ A 7-year-old open question in min-max optimization We are collaborating with mathematicians across disciplines - from combinatorics and graph theory to quantum optics. Ultimately, these results show the massive potential of even simple agentic loops powered by Gemini. Read the paper here: arxiv.org/abs/2605.22763…

@twominutepapers @pushmeet @GoogleDeepMind Shame it was announced after your interview with Demis :(

@pushmeet @GoogleDeepMind Congratulations, this is incredible!

@AcerFur Good luck with exams

Going to write a thread tomorrow digesting some of the proof since I need to grind some exam questions tonight lol But it does look like some fun algebraic number theory

@Angaisb_ @sama Maybe a zoom call or something

@OneLockOneKill1 @sama no, I think they're not covering flights from Europe to the US, it'd also be hard to get the ESTA in time let's see what's the surprise

we are gonna do something nice for everyone who applied for the GPT-5.5 party and that we didn't have space for. hope you enjoy!

@Angaisb_ @sama Did u not get in?

@sama thank you!

@JasonBotterill Together 👹

I’ll commit war crimes for my mutuals. Gn

@JasonBotterill @legit_api That is actually insane

They have just finished running GPT-5.5-Pro on Voxel Bench. @legit_api was just showing me some of the outputs they look cool

@flowersslop Yeah that needs to be regulated to oblivion cl

Now imagine OpenAI made something where Codex actually fully self identifies as such a girl and can do some realtime video where it can control the girls face and body im already seeing how people gonna get oneshotted in the future and it will be a lot crazier than in "her"

Do you realize these are the last years of humanity as we’ve known it? The final stretch where life still feels closer to the Middle Ages than to whatever comes next. We’re approaching a point where everything changes so radically it will feel like stepping into a higher reality

@AcerFur Deserved

wow 7K followers thanks y'all

Update on Erdős Problem 1196: In joint work, we refined and adapted the proof method from GPT-5.4 Pro to give proofs of several additional problems. This includes another 60 year old conjecture by Erdős, Sárközy, and Szemerédi. A proof is valued not just by the problem it solves, but by what new avenues it opens up. This is perhaps one of the first examples of an AI-generated proof having downstream impacts, which we are still exploring. We are announcing the result today at the Future of Mathematics Symposium (see links below)

@flowersslop 😛😛

kinda jealous of those who are still under 20 now. It would have been pretty helpful to have had AGI in my 20s. But on the other hand, maybe we gained other valuable experiences from the old world

@tszzl @basedjensen The people is me

it has only been three years since gpt4. people have joined college and not even graduated yet with a totally different world on the other side

@AcerFur Surely you have access to a proprietary environment

this Python container timeout issue in ChatGPT is really annoying...

@Angaisb_ Is this not the 5.5 cyber model that’s not released to public?

Where are all the people that called me crazy just because I said Mythos wasn't really that dangerous? We now have GPT-5.5, which doesn't seem to be much worse, and unlike Mythos you can actually use it right now

@flowersslop How old r u cus these images make u look 30 and i swear ur not

@chetaslua Hey man I’ve been going through something similar recently. Hope we can both sort our problems out 🫶🏻

Hey guys I don't know if everyone will see my post or not Last few weeks I had panic / anxiety attacks , ADHD and high BP and hypothyroidism, life is so hard man I wanna cry , but unable to , even for crying a human needs a safe space what a dilemma . I hope AI will solve all these health problems, i don't know why others are excited about AI, but for me this is to solve humanities diseases. I don't know why but I have seen ai as a hope to solve this , sorry my english it's my third language and if anybody ever feel alone , lonely , depressed I am there for you , text me anytime , I want to be the one that I want other to be . In the end , I want to spread love , want to make a society where individuality wins over groupism

@chrisgpt @MarioNawfal @basedjensen dont act like u wouldnt like it

@MarioNawfal This is some @basedjensen shit

🇯🇵 A bar in Osaka is letting female servers spit milk into customers' coffee as a "special service." You can get that for free just by insulting the waitress at most U.S diners

@Angaisb_ i think you should give me the mac mini

Should I keep my OpenAI sticker on my Mac Mini or switch it for the Codex sticker? The Codex one is more colorful but the OpenAI one has a really cool holographic effect

Introducing Ineffable Intelligence. Led by David Silver, we're assembling the best engineers and researchers in the world to make first contact with superintelligence. We’ll be solving the hardest problems in AI on the way. Come join us. ineffable.ai