Gordan // Prydwen Writer

⇢ eng/dut .•*✎ writer for ───── reverse:1999 ☆ game design student ☆ addicted to LARP ☆ free palestine ☆ OAMO

[Gordan // Prydwen Writer @GordanVarn01]

Time for an update ✨ Howdy I am Gordan, a writer, game designer and artist who is terminally addicted to LARP. Here’s a few facts about me:

⭐️ 21+ years old.
⭐️ Can’t stfu about LARP.
⭐️ Arknights / R1999 lore nerd.
⭐️ AuDHD

[Del @TheCartelDel]

After working on multiple games with this woman, I truly WISH you guys could see her casting audition videos compared to her competition. It's like watching 1996 Michael Jordan turn up to a high school basketball game.

[Gordan // Prydwen Writer @GordanVarn01]

Are the blonde girls from the PV are probably part of the Dodo Expeditionairies as mentioned in the ARG (since it has connections to Eternity and NewBabel)?

[Valerio Capraro @ValerioCapraro]

BREAKING: OpenAI might have stolen another major proof.

In a detailed Mastodon post, which I report in full in the comments, Andreas Thom presents several pieces of evidence suggesting that OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov’s soficity conjecture, one of the ten problems OpenAI later announced Astra had solved.

I know Andreas. We met several times early in our careers. He is an exceptional mathematician, a leading expert on sofic and hyperlinear groups, and one of the most respected scholars in the field. He has spent two decades working on this problem.

If his account is correct, this is not a minor dispute over attribution. It would mean that unpublished human work was absorbed into a model and then presented to the world as a breakthrough by the model itself.

And if the allegations raised by Levent Alpöge, Tristan Buckmaster, and now Andreas Thom are all substantiated, we are no longer looking at isolated incidents.

We may be looking at one of the greatest intellectual scandals in the history of science.

AI is not discovering new mathematics.

AI is stealing human discovery.

[Roger @rdd147]

Here is where we are on the stupidity of wasteful compute spending.

As a scientist, I’ll tell you right now that nothing OpenAi did was impressive. In science this is called Brute Compute. OpenAI just blew $15 million on computer power and Ai did nothing, but act as the LLM to brute force numbers in an equation.

If anything, the mathematical proof provided is that Ai is a waste of money. $15 million + for a $1 million prize

This is not translatable to useful information to solve diseases, discover drugs, or understand cellular processes in the body. We have used Ai in health sciences for years and it does nothing but spit out thousands to tens of thousands of “solutions” that need validated in real life, with incorrect solutions being provided 99.99999% of the time.

Using an LLM to brute force a mathematical equation with numbers for $15-$20 million is a waste, not Ai.

What they actually ran Not a Navier–Stokes CFD code hammering every grid point. They ran a swarm of language-model agents writing and checking math.

• Internal model “significantly more capable than GPT-6 Astra”

• ~10,000 concurrent agents on Navier–Stokes, after ~100–1,000 agents first cracked a related Euler case

• 88 hours to a proof, then 17 hours of Lean formalization on Astra

• 2.7 million agent-to-agent messages, ~130 billion output tokens

• Tools: code execution, cached web, group chat; humans later poured all compute onto this problem once Euler looked promising

That is search over proofs, not search over fluid voxels. Each agent is proposing lemmas, constructions, estimates, and Lean code. The chips are generating tokens and checking logic, not integrating \partial_t u + (u\cdot\nabla)u = -\nabla p + \nu\Delta u + f on a 10,000³ mesh.

So is it “real AI” or brute force? It is a LLM doing mathematics at industrial scale.

• Not a single genius model that stared at the equations and said “aha.”

• Not classical supercomputer fluid simulation.

• It is massive parallel search: thousands of copies exploring “prove smoothness” vs “construct a blowup,” different forcings, different ansatze, then sharing what worked.

[Gordan // Prydwen Writer @GordanVarn01]

@amidstthera1n I mean like, anything above A-tier is going to complete the game save like… Focused Flashback or smth, so you’re fine 😭😭☝️

[Gordan // Prydwen Writer @GordanVarn01]

@ortofonia @BetterCallMedhi @InsomniaLK @sama If a kid is told to learn multiplications, and their dad keeps giving them the answers, does the kid learn? In the process of these superproblems getting solved, intermediate proofs revolutionalize science, which doesn’t happen when an ai model is doing them.

[Valerio Capraro @ValerioCapraro]

Terence Tao made a very powerful point:

“In most cases in pure mathematics, the problems are posed not because we desperately want the solution to these problems in and of themselves, but because we have seen from past experience that human-directed efforts to solve these problems tend to spur further development of the field through the efforts to solve such problems, and then to digest any partial or complete solutions that emerge for further insights.

Prematurely solving the problem by purely AI-powered methods—particularly without full transparency into the solution process—can contaminate this process to the point where it actually becomes a net negative for the progress of mathematics as a whole.”

I’ve been following Terence Tao for like 20 years, and I have always been impressed by the clarity of his thinking.

This clarity stands out even more in this difficult moment, as AI labs turn mathematics into a battleground in their race for supremacy.

In this race, they risk damaging one of humanity’s highest intellectual endeavours.

[Mehdi (e/λ) @BetterCallMedhi]

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

[Gordan // Prydwen Writer @GordanVarn01]

@Sealary503 @ReTelor

[Gordan // Prydwen Writer @GordanVarn01]

@ReTelor @Sealary503 Narcissus exists now, who perfectly slots into Recoleta’s gameplan and boosts her damage significantly!

[Gordan // Prydwen Writer @GordanVarn01]

@ReTelor @Sealary503 We don’t use Portraits in our ranking.

[Gordan // Prydwen Writer @GordanVarn01]

@titorpedia Probably Lady of the Lake (not to be confused with Lady BY the Lake, the 4-star lmao)

[Phra 🦩 WHA brain @philgollins]

love of my life

[ahmree 𐙚 fCPA 🫧 @ahm_aqt]

"shackle breaker" "swift harvest"

[Gordan // Prydwen Writer @GordanVarn01]

For a non-gacha game made by gacha devs to work said devs must first know how to make a good game, bc now you gotta do it without hyperaddictive systems. We all saw how this went with Duet: Night Abyss is this essay I will talk about how Nodusfall is going to bomb—

[🎭Loloo shades @acheswaan]

HOOOOOOOHHHH THEY COOKING THE SHIT OUT OF AMPHO OUT HERE

[sauz 🌈 @ jarona @soIdier76isgay]

walls and walls of text and big words and characters having the same personality is *not* good writing and im tired of people praising hoyo for good writing when its actually ATROCIOUS

[H&J enthusiast🍊season 2 CONFIRMED @Ol_slug_gio]

#whaspoilers
I WILL DIE IM BEING SERIOUS

[Rodericka Applewhaite @Rodericka]

"America is the only experiment that could’ve forged Dolly Parton. Only here can vestments be a bespoke sparkly number with tits akimbo. A habit blonde hair so high God’s nose twinges at the bleach." https://t.co/IGWxdH7hW8

[bele ཐི⋆ཋྀ @siniysvolk]

if you’re an older gay icon stay fucking inside im dead serious