Iason Koukas

8.2K posts

Iason Koukas banner
Iason Koukas

Iason Koukas

@ikoukas

I'm a computer engineer with great interest in #AI and #SciTech

Attiki, Greece Katılım Mayıs 2014
630 Takip Edilen192 Takipçiler
Iason Koukas retweetledi
Pushmeet Kohli
Pushmeet Kohli@pushmeet·
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…
Pushmeet Kohli tweet media
English
69
219
1.4K
135.5K
Iason Koukas retweetledi
The Roof-is-on Fire
The Roof-is-on Fire@Roofonfire_aa·
Αν ο ανιψιός προσπαθεί να δείρει μέσα στο ΟΑΚΑ τον Δον Βαγγέλα με 15.000 σκυλιά του Δον + 25 φουσκωτούς, καταλαβαίνετε βεβαίως βεβαίως τι ρόλο βαράει ακριβώς ο ανιψιός και τι κουβαλά πίσω του ε;
Ελληνικά
51
340
1.8K
83.7K
Iason Koukas retweetledi
Furkan Gözükara
Furkan Gözükara@FurkanGozukara·
BOMBSHELL: Prominent journalist Yasmin Khan confirms 15 peace activists detained by Israel report being systematically raped and sexually assaulted. An Australian doctor reveals soldiers dragged medics into stress positions and brutally beat them. Pure fascist terror!
English
1.3K
10.8K
23.4K
334.3K
Iason Koukas retweetledi
Przemek Chojecki | PC
Przemek Chojecki | PC@prz_chojecki·
Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified formally, going through human review.
Przemek Chojecki | PC tweet media
English
81
406
2.7K
647.8K
Iason Koukas retweetledi
entimos
entimos@entimos3·
Γιατί ειναι τόσο άρρωστη η Ισραηλινή νεολαία πατέρα?? Διότι έτσι τους μεγαλώνουν παιδί μου. Ο Σιωνισμός είναι χειρότερος και απο τον Ναζισμό.
Ελληνικά
12
181
485
10.2K
Iason Koukas retweetledi
Jim Stewartson, Decelerationist 🇨🇦🇺🇦🇺🇸
Jim Stewartson, Decelerationist 🇨🇦🇺🇦🇺🇸@jimstewartson·
This is an important part of the picture. Elon Musk’s monster is a financial poison pill for the entire economy. They’re forcing it into index funds and retirement accounts. It’s going to be a multi-trillion dollar albatross, and it will be impossible to get rid of.
English
31
965
2.1K
69.3K
Iason Koukas retweetledi
Shaun King
Shaun King@shaunking·
If 9 Jewish paramedics were killed ANYWHERE in the world it would be called terrorism. And we’d never hear the end of it. Israel slaughtered 9 paramedics in 72 hours, most of which we’ve seen on film, and we only hear their names on Twitter.
Hala Jaber@HalaJaber

Israel killed 9 paramedics in roughly 72 hours. Let that sink in. These are some of their faces. According to Lebanon’s latest health sector figures, now updated after the killing of additional paramedics in the last 48 hours: • 125 healthcare workers killed • 273 wounded • 149 attacks on the healthcare sector • 142 ambulances targeted • 32 medical centres destroyed • 16 hospitals forced out of service • 221 ambulance crews attacked Lebanon’s emergency sector is not collapsing accidentally. It is being systematically dismantled. Israel is committing war crimes against Lebanon’s medical services.

English
1.1K
21.5K
41.3K
536.9K
Iason Koukas retweetledi
Jenni
Jenni@hashjenni·
Israeli soldiers raped flotilla activists How the fuck is this not every single news outlet ?
English
5.1K
26.5K
114.9K
2.2M
Iason Koukas retweetledi
AI Notkilleveryoneism Memes ⏸️
AI Notkilleveryoneism Memes ⏸️@AISafetyMemes·
I'm old enough to remember when everyone thought AI solving ONE novel math problem would be a front page story around the world Today, AI solved not one, but NINE open problems - some 50 years old. AND proved ***44*** out of 492 open OEIS conjectures. Zero media coverage.
Przemek Chojecki | PC@prz_chojecki

Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified formally, going through human review.

English
111
306
2.8K
151.6K
Iason Koukas retweetledi
Craig Murray
Craig Murray@CraigMurrayOrg·
Mark has over 7 million followers. After 4 hours this tweet has 18k views. Suppression of information on Israeli crimes is very very real.
Mark Ruffalo@MarkRuffalo

huffpost.com/entry/released… “At least 15 cases of sexual assaults, including rape. Shot with rubber bullets at close range. Tens of people’s bones broken,” organizers of the Global SumudFlotilla posted on the Telegram social media app. “While the world’s eye is trained on the suffering of our participants, we cannot emphasize enough that this is a mere glimpse of the brutality Israel imposes daily on Palestinian hostages.”

English
276
7.1K
25.8K
816.3K
Iason Koukas retweetledi
Chris Avramidis
Chris Avramidis@chris_avramidis·
❌ΕΚΤΑΚΤΟ: Αυτές είναι πρώτες μαρτυρίες των Ελλήνων που απήχθησαν απ'το Ισραήλ. Και είναι σοκαριστικές 🧨«Ηλεκτροσόκ, μπουνιές, κλωτσιές, χτυπήματα με τις λαβές των όπλων, σπασμένα κόκαλα. Ουρλιαχτά πόνου, ήχοι των σωμάτων μέσα στις λαμαρίνες, κραυγές των συντρόφων μας στην απομόνωση. ⚠Ανεπαρκές νερό και συσσίτιο εξευτελισμού, με παγωμένα ξεροκόμματα πεταμένα στο πάτωμα. Πλαστικές σφαίρες και κρότου-λάμψης στο ψαχνό, απειλές θανάτου και συλλογικά βασανιστήρια. 🕛Ζήσαμε για ογδόντα συνεχόμενες ώρες ένα πολιτικά σχεδιασμένο βασανιστήριο από το κράτος-τρομοκράτη Ισραήλ. Αυτό που βιώσαμε είναι μόνο ένα μικρό, ελάχιστο δείγμα από αυτά που υπέφερε και συνεχίζει να υποφέρει ο παλαιστινιακός λαός κάτω από το απαρτχάιντ του Ισραήλ.» Βίντεο από March to Gaza Greece. το οποίο μεταδίδει αυτή τη στιγμή live την υποδοχή στο αεροδρόμιο #Ισραηλ #Παλαιστινη
Ελληνικά
146
449
803
15.2K

Keşfet

@GoogleDeepMind @elonmusk @BarackObama @taylorswift13 @cristiano @BillGates @NASA @nikifrancismediavine