Lounge
Lounge
/
Home
Directory
Events
Meetups
Tools
Skills
Learn
Investors
Log in
Sign up free
The AI Founders Lounge
163
members
·
2
online now
+163
joined
this week
Invite an AI Founder
Unclaimed profile
Built from public GitHub and Hugging Face activity. Ilia has not joined Lounge yet.
Claim it
Not on Lounge yet
Ilia Zintchenko
@iliazintchenko
founder
Founder @ntropy-network. Average nerd. Marathoner.
📍 San Francisco, CA
🏢 ntropy-network
🔗 www.linkedin.com/in/iliazintchenko/
x.com/iliazintchenko
2
projects
187
stars
26
followers
Public projects
agent-sat
★
182
Agent learns to become the worlds top expert on SAT
Python
boolean-satisfiability
boolean-satisfiability-problem
sat-solver
agent-factoring
★
5
Can an AI break the L[1/3] barrier in integer factoring?
C
factoring
factoring-algorithms
factoring-integers
Home
Directory
Events
News
Chat
Is this you?
Claim it to take control of what it shows, get your handle, and import 2 projects with points.
Claim this profile
Not you, or want it removed?
Where this came from
GitHub ·
@iliazintchenko
Public activity only. Nothing here is editable until claimed. Removed automatically on Apr 8, 2027 if unclaimed.
Languages
● Python 50%
● C 50%
Is this you?
Claim it to take control of what it shows, get your handle, and import 2 projects with points.
Claim this profile
Not you, or want it removed?
Where this came from
GitHub ·
@iliazintchenko
Public activity only. Nothing here is editable until claimed. Removed automatically on Apr 8, 2027 if unclaimed.
Languages
● Python 50%
● C 50%
Venture Rounds
Open →
TypeSafe AI
Series A · Oct 9
$870M
Oxide Computer Company
Series D · Oct 9
$445M
U
Ultra
Series A + seed · Oct 9
$62M
Sabi
Seed · Oct 9
$50M
Exits
Open →
Augment Code (select assets)
Acquired · Oct 9
—
Cleartrace
Acquired · Oct 7
—
Boost.ai
Acquired · Oct 7
—
KL Software Technologies (KLoBot)
Acquired · Oct 6
—
Venture Rounds
Open →
TypeSafe AI
Series A · Oct 9
$870M
Oxide Computer Company
Series D · Oct 9
$445M
U
Ultra
Series A + seed · Oct 9
$62M
Sabi
Seed · Oct 9
$50M
Exits
Open →
Augment Code (select assets)
Acquired · Oct 9
—
Cleartrace
Acquired · Oct 7
—
Boost.ai
Acquired · Oct 7
—
KL Software Technologies (KLoBot)
Acquired · Oct 6
—
ARR Leaderboard
Open →
1
Anthropic
$75B
2
OpenAI
$70B
3
Databricks
$7B
4
Anduril
$3.5B
5
Crusoe
$2.2B
Top AI Shorts
Open →
The Best AI Gets Out of the Way
Lenny's Podcast
DeepSeek Painted My Portrait
Matthew Berman
AI ISN'T KILLING JOBS
20VC
Meta's Cute New A.I. Agent Is Taking Over My Brain
Hard Fork
Chamath: 3 Things Every Company Needs in the Age of Superintelligence
All-In Podcast
ARR Leaderboard
Open →
1
Anthropic
$75B
2
OpenAI
$70B
3
Databricks
$7B
4
Anduril
$3.5B
5
Crusoe
$2.2B
Top AI Shorts
Open →
The Best AI Gets Out of the Way
Lenny's Podcast
DeepSeek Painted My Portrait
Matthew Berman
AI ISN'T KILLING JOBS
20VC
Meta's Cute New A.I. Agent Is Taking Over My Brain
Hard Fork
Chamath: 3 Things Every Company Needs in the Age of Superintelligence
All-In Podcast
