Imtiaz Adam CS #AI Postgrad |#Strategy #MachineLearning RSI Evolutionary Neurosymbolic |#RL #Agentic | #LLM Liberal | MBA alum @morganstanley @LBS @Columbia_Biz
Joined September 2012
- Tweets66.8K
- Following109K
- Followers135K
- Likes164K
AI retweeted
AxiomProver's swarm built the proof in 50 million lines of Lean, over 24 days.
The repository is the largest Lean code base to date.
Code generation at this scale forced us to reimagine the underlying engineering infrastructure.
We saw a glimpse of the future of swarm coding.
AI retweeted
The problem is Kassam spent the whole of Reform conference briefing journalists he was being lined up as Nigel Farage's chief of staff. He's recently spent a lot of time in Reform HQ. He constantly boasts about how close he is to Farage. So Farage can't "distance himself". He either cuts him loose. Or remains contaminated.
AI retweeted
This is getting stranger.
Raheem Kassam calls Kemi Badenoch a “Nigerian scammer”.
Jenrick won’t condemn it.
Kruger won’t condemn it.
Now Farage can’t give Sally Nugent a straight answer about it either.
Kassam says he has no official Reform role but also says he regularly visits Reform HQ.
So the obvious question is:
Why is Reform finding it so difficult simply to distance itself from him and his comments?
Car crash alert 🚨
Sally Nugent asks Nigel Farage about Raheem Kassam's “Nigerian scammer” comments on Kemi Badenoch and his response is painful to watch.
#bbcbreakfast
AI retweeted
Farage lies outright here about the role of Raheem Kassam. He was his UKIP head of staff, and considered running for the leadership. He isn’t “someone in America” but his close advisor
Car crash alert 🚨
Sally Nugent asks Nigel Farage about Raheem Kassam's “Nigerian scammer” comments on Kemi Badenoch and his response is painful to watch.
#bbcbreakfast
AI retweeted
🚨 BREAKING: Vivek Ramaswamy has collapsed to an all-time low in the Ohio Governors race.
Serves him right!
AI retweeted
🇷🇸 Something hopeful from Serbia 👉 and a blow to Putin ✅
After nearly two years of student-led protests against corruption and creeping authoritarianism, Aleksandar Vučić has conceded defeat.
A movement that began after the Novi Sad station disaster has just beaten a political machine that dominated Serbia for 12 years.
That matters far beyond Serbia. Strongmen survive by convincing people resistance is pointless.
Then one day people organise, vote and discover the strongman was not inevitable after all.
The students still have an enormous job ahead of them.
But today Serbia has reminded Europe of something important:
Authoritarianism can look permanent right up until the moment it isn’t.
AI retweeted
Anthropic already has $132bn of cash.
Add a ~$140bn IPO, $77bn of committed funding from Google, Amazon and Broadcom and cash from a business growing 14x a year and it could be sitting on roughly $400bn by the end of 2027.
That's more firepower than almost any company on earth, aimed at one thing and one thing only: compute.
In a race where the winner is whoever can build the most, Anthropic is about to have the deepest pockets in AI outside of Big Tech itself.
AI retweeted
Kimi K3.1 Pro is now the best open-weight model at training other AI models.
But it’s still far behind Opus 5.5 at every budget.
New FrontierML results, our benchmark for end-to-end ML work ⬇️
AI retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
AI retweeted
The trip highlights the remarkable relationship between a son of the US president and a tycoon with a criminal record who has close ties to Vladimir Putin’s personal security service. Intelligence experts say such connections are ripe for manipulation. ft.trib.al/p0LBRYI
AI retweeted
I guess I'm old-fashioned, but I think it should be a bigger story that the eldest son of the President of the United States is vacationing with corrupt Russian oligarchs.
Wow. Financial Times reports that Trump Jr. went on a Mongolian hunting trip with the Russian businessman who financed his wedding party. The trip was in August, three months after the wedding. ft.com/content/f41fc704-c9e6…
AI retweeted
Another story impossible to imagine in any other administration: the president's son goes hunting with a Russian criminal who is part of Putin's security entourage
The trip highlights the remarkable relationship between a son of the US president and a tycoon with a criminal record who has close ties to Vladimir Putin’s personal security service. Intelligence experts say such connections are ripe for manipulation. ft.trib.al/p0LBRYI
AI retweeted
From tomorrow Oxford Street is going to be car-free, bus free and it is set to be pedestrianisation only.
The stretch between Orchard Street, near Selfridges, and Great Portland Street, just east of Oxford Circus, will be closed to vehicles.
Buses, taxis, private hire vehicles, bicycles, scooters and pedicabs will all be diverted.
AI retweeted
Do u really think they’ll keep paying the security guards long-term? Once they disappear, cyclists will just ignore the rules again. It’s gonna be dangerous, especially with the modified e-bikes.
AI retweeted
Cyclists are the worst… think the rules of the road don’t apply to them and are often extremely pretentious. This is coming from someone who e-bikes everywhere!
AI retweeted
Cyclists are continuing to ride along the newly pedestrianised section of Oxford Street, despite being asked to dismount.
Around seven security staff have been stationed near Oxford Circus, calling out to cyclists to get off their bikes, with mixed success.
More on this story ➡️ bbc.in/3W32bbT
#OxfordStreet #London #Cycling #Pedestrianisation
