lain (@lainborger) header
lain (@lainborger) profile picture

schizo alien lain

Joined January 2025
Photo by lain (@lainborger)Photo by lain (@lainborger)Photo by lain (@lainborger)Photo by lain (@lainborger)Photo by lain (@lainborger)Photo by lain (@lainborger)Photo by lain (@lainborger)Photo by lain (@lainborger)Photo by lain (@lainborger)Photo by lain (@lainborger)
It comes in two sizes: GrimGuard Pro, a 110M model with 2.2 ms p50 on an RTX 4070 and GrimGuard Fast, a 22.7M parameter model with 8.6ms p50 on one pinned CPU core. with held-out AUROC 0.929 2/3
1
1
1
85
3/3
1
2
93
2/3
1
1
1
82
Electron is exceptionally good at agentic and scientific coding and it's agile architecture allows it to reason well over large context windows 2/4
1
2
3
189
lain retweeted
19
1,884
18
14,851
117,593
lain retweeted
3
884
10
6,647
56,208
lain retweeted
55
1
618
21,519
go fuck yourself @sama claiming that you solved navier stokes because 10000 agents ran in circles for 88hours on a multimillion dollar gpu cluster to formalize in lean a blowup case under controlled external forcing is pure scientific vulgarity the clay mathematics institute millennium prize does not ask m whether you can artificially force a singularity in a fluid by injecting an ad hoc smooth external forcing term f(x,t) to twist the vortex until it breaks the real problem questions the fundamental stability and global smooth existence for 3dimensional incompressible euler & navier stokes equations under natural conservation laws and viscous dissipation alone using a mathematical loophole on forced equations to parade a century old victory is a major conceptual scam Altman technically & epistemologically what you present as an agi breakthrough is nothing more than bruteforce combinatorial autoformalization the ai did not understand fluid mechanics it simply navigated a continuous search space previously mapped out and constrained by the monumental work of human mathematicians like tristan buckmaster/ levent alpöge / diego córdoba or tarek elgindi coordinating 10000 agents to check the logical consistency of a 100 page proof via lean is a software engineering feat and computational parallelization triumph not an intrinsic scientific discovery it is the victory of the compute bulldozer over abstract human intuition repackaged for the public as a higher mathematical consciousness to this theoretical imposture you add a disgusting ethical and industrial cynicism taking advantage of private codex sessions and informal preprints from academic researchers to siphon their research leads and then trying to redact or erase the contribution of levent alpöge under the pretext that he works at rival anthropic is intellectual serfdom openai behaves like a feudal lord of silicon appropriating the cognitive subsistence of independent scholars threatening their careers behind closed doors if they protest and turning community academic labor into a privatized pressrelease this entire staged event serves a desperate financial agenda in a pre ipo panic facing the slowdown of scaling laws and growing investor skepticism over the profitability of foundational models openai needs to manufacture an artificial sputnik moment claiming to solve a millennium prize without immediately submitting the proof to traditional peer review means using the prestige of fundamental mathematics as cheap marketing fuel to inflate a delusional valuation!!! real science is not a clout chase on social media or a compute spike spent to rob the clay mathematics institute it is a quest for elegance physical truth and universal rigor to decode reality true artificial intelligence will not emerge from hostile corporate takeover of academic work hidden behind computational bruteforce but from architectures capable of generating new conceptual paradigms by masquerading constrained formalization as the collapse of physics greatest mysteries you did not solve navier stokes you only proved how far silicon valley will go to prostitute scientific integrity for capitalist spectacle
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
2,350
8,556
1,960
68,087
10,493,314
lain retweeted
>sam altman: "we tried this because there were rumor on the internet" >rumor: math professor close to solving navier-stokes >the professor: using codex for a year >openai: has all his logs >checked every codex session tagged to N-S >found the most promising one >spun up 10,000 agents to finish the proof where he couldn't >they got caught >told the guy if you say anything you'll destroy your own career >he ruins his career over this >openai: "we did not see his work" >also openai: "we cannot rule out that de-identified data from their usage helped improve our models" they stole it lmao
722
12,502
1,157
90,870
4,008,710
one must imagine Azathoth happy
1
1
10
1,631
time and destiny are a plane and all of life and humanity are the passengers the plane has been hijacked the previous captains have deposed by the future thus this plane is now under new direction so sit back and relax as we fly out of the hellish butthole of silicon valley's infinite fear and greed straight to the starry gates of heaven
🤖 Made with AI
5
20
1,482
God forbid a white boy commits binaries to his git repo
11
8
2
286
11,463
Generational wealth starts with one delusional nigga
316
8,445
453
81,178
2,038,805
lain retweeted
its so funny seeing normies crashing out over programmers using ai because it's "stealing code".
62
88
9
2,933
45,516
lain retweeted
Expecting programmers to do full decomp/recomp projects on our free time for no pay without any AI assistance just so y'all can have free PC ports while you do nothing to contribute is actually insane levels of entitlement
"Was AI used in development?" "Yes, for code only."
147
850
40
13,320
397,241
lain retweeted
joining the fight against datacenters. on the datacenters’ side
47
347
22
5,991
129,247
Gm
4
147
6
752
11,914
lain retweeted
🚨Moonshot just dropped the biggest open source model ever. KIMI K3. > 2.8T params > MoE with 896 experts, 16 active. > 1M context window. > native vision understanding. > new Kimi Delta Attention + Attention Residuals architecture. > ~2.5x more scaling efficiency than K2 > third smartest model behind Fable 5 & GPT-5.6 > beats Opus 4.8 MAX on real world knowledge work (GDPval) > SOTA 91.2 on BrowseComp w zero context tricks. full open weights dropping in a few days.
19
19
5
299
11,917
Replying to @EU_Commission
You do realize that the companies will transmit these costs to the customer? What a non-sense post.
26
47
6,875
70,798