schizo alien lain

Joined January 2025
lain retweeted
Introducing Electron 01, our first SOTA AI model
1
2
66
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
83
3/3
1
2
91
2/3
1
1
1
80
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
186
lain retweeted
19
1,886
18
14,869
117,489
lain retweeted
3
885
10
6,656
56,150
lain retweeted
55
1
618
20,984
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,352
8,563
1,960
68,119
10,491,671
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,506
1,157
90,905
4,007,964
2
4
201
one must imagine Azathoth happy
1
1
9
1,630
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,481
God forbid a white boy commits binaries to his git repo
11
8
2
286
11,462
Generational wealth starts with one delusional nigga
316
8,450
452
81,238
2,037,583
lain retweeted
its so funny seeing normies crashing out over programmers using ai because it's "stealing code".
62
88
9
2,935
45,509
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."
148
849
39
13,322
396,926
lain retweeted
joining the fight against datacenters. on the datacenters’ side
47
347
22
5,994
129,234
Gm
4
147
6
755
11,910