Per aspera ad astra ליטװאַקעס
Olde City, Philadelphia
Joined June 2022
- Tweets42.5K
- Following2.9K
- Followers1.6K
- Likes91.2K
Giedrius Trump retweeted
He is a pièce unique.
Without him, there is no Nvidia and that, in my view, is a matter of national security.
@JensenHuang @POTUS @nvidia
Giedrius Trump retweeted
A big part of this is the confusion of "ML for Science" (i.e. data-driven approaches, PINNs, surrogates, etc.) which is mostly nonsense, with "AI for Science" (i.e. use of reasoning models, formal methods, etc. to accelerate scientific discovery) which is extremely promising.
I'm becoming increasingly skeptical of the entire "AI for Science" narrative.
These days, almost anything can be called AI for Science.
Train a neural network on some scientific data, beat a baseline, improve prediction accuracy by 2%, and suddenly you're accelerating scientific discovery.
But what exactly have we discovered?
A better predictor isn't necessarily a better understanding of nature.
A model that predicts molecular properties more accurately hasn't necessarily taught us anything new about chemistry.
And a model that fits experimental data better hasn't necessarily uncovered the mechanism behind it.
I think we're confusing computational progress with scientific progress.
What's even more frustrating is that much of AI for Science is still evaluated like ordinary machine learning research.
New architecture. Better benchmark. Higher accuracy. Another paper.
But science isn't supposed to be a leaderboard.
The real question should be whether AI helps us formulate new hypotheses, discover previously unknown mechanisms, or design experiments that reveal something genuinely new about the world.
If it does, that's extraordinary.
But if all we're doing is applying increasingly sophisticated models to existing datasets and calling the resulting performance improvements scientific breakthroughs, I'm not particularly impressed.
AI for Science should be judged by the science it produces, not by the AI it uses.
Otherwise, we're just giving machine learning another fashionable name.
Giedrius Trump retweeted
the nation’s most prominent tech billionaires gather over an issue of national security
Giedrius Trump retweeted
This lecture is on tangent vectors: how to define a velocity on a manifold without any surrounding space, building up to something called the “cotangent space.” As for today, here is Lecture 4 of Frederic Schuller’s course on classical mechanics, translated from the German. His classical mechanics course was the one left in German, so I’ve been building a pipeline that translates each lecture while preserving his voice and cadence, with LaTeX PDF lecture notes to boot. LINK IN REPLY
Giedrius Trump retweeted
The most demanding test of genuine mathematical reasoning, and a streamlined version of Demis Hassabis’s well-known AGI benchmark, would be the following:
Train or fine-tune a model exclusively on mathematical knowledge available before Galois and Abel (roughly pre-1820s/early 1830s). Restrict it to classical algebra, symmetric polynomials, early root-solving attempts by Lagrange, Ruffini, and others, and a formal library such as a tightly constrained Lean mathlib containing only pre-Galois and pre-Abel definitions and theorems. The model must have no exposure whatsoever to group theory, permutation groups, solvability by radicals in the modern sense, normal subgroups, solvable groups, or the Abel–Ruffini theorem itself.
The question is whether the model could autonomously rediscover the core ideas of group theory, at least the structural role of permutations and symmetries of polynomial roots, invent the necessary concepts to define solvability, and ultimately prove that no general formula in radicals exists for polynomials of degree five or higher.
In essence: starting from genuinely pre-1830 mathematics, can it independently construct the group-theoretic framework that explains why quintic equations are not solvable by radicals in general?
Success here would demonstrate profound autonomous mathematical creativity, far beyond pattern matching, proof completion, or interpolation of known results. It would serve as a focused analogue to Hassabis’s benchmark asking whether an AI, trained only on knowledge available up to about 1911, could have independently derived general relativity as Einstein did in 1915.
Today’s frontier models perform impressively on IMO-level problems, formal theorem proving in Lean, and even occasional small novel insights. But rediscovering a conceptual leap on the scale of Galois theory, purely from pre-Galois mathematics, remains far beyond current public capabilities.
Giedrius Trump retweeted
The mutual amplification between General Flynn & senior Russian official Kirill Dmitriev (who is also close with John Mappin) is a strong demonstration of Russia’s aggressive campaign to hijack Charlie Kirk’s legacy.
I went through that campaign on my podcast recently and was inundated with messages from shocked viewers.
🤖 Made with AI
Giedrius Trump retweeted
Live webcast of Starship's 15th flight test starts now → nitter.gq/i/broadcasts/2brajgZlO…
Giedrius Trump retweeted
Taiwanese here. A lot of Nvidia's server, rack, cooling and power suppliers in Taiwan started as old-economy family businesses. Foxconn began in 1974 making plastic knobs for TVs. That world still runs on ties built over years of dinners and drinks, and many of the strongest ones sit with Jensen personally.
Getting that many supply chain bosses around one table isn't easy, and Jensen had the pull to do it. I think it does make a difference when the CEO across the table isn't familiar with Taiwanese culture. When a problem spans several suppliers, someone still has to get every decision-maker in the room, and that person is now gone.
Local analysts don't see every supplier as equally exposed. $TSM, $ASX and MediaTek (2454TT) were called irreplaceable, since any AI chip still needs them, whether for wafers, packaging or design.
The worry is the next tier down, where several Taiwanese vendors can do the same job and relationships help decide who gets the order. One Taipei analyst called it a risk of orders getting "poached."
I don't think this supply chain can be replaced anytime soon. Any lost Nvidia orders would likely shift to other customers, and the same suppliers already build for $AMD and custom ASIC programs.
Giedrius Trump retweeted
They started the war now
Giedrius Trump retweeted
💪💪💪
BREAKING: hundreds of NVIDIA employees have signed an internal letter demanding the reinstatement of Jensen Huang as CEO and the resignation of the board
Readers added context they thought people might want to know
Many NVIDIA employees commented in support of bringing back Jensen Huang on an internal suggestion box post, with over 1,600 replies. No reports confirm a signed letter like the one shown. Jensen Huang has resigned as CEO; Colette Kress is interim CEO.
wired.com/story/nvidia-e…
nvidianews.nvidia.com/news/nvidia-an…
Giedrius Trump retweeted
🙏
The People’s choice award for Citizen Journalist of the Year goes to @DataRepublican!
Giedrius Trump retweeted
🤔
My assessment, as a retired CIA operations officer: it walks like a duck.
His committee has been pulling Nvidia's records on Singapore customers since April 2025. Megaspeed is a Singapore company and one of Nvidia's biggest customers. His household then sold Nvidia stock the day after its all-time high.
I assess he probably had access to non-public information about Nvidia's exposure. Whether the sales were made on it, I can't say with confidence. They were small, and he says a trustee made them.
He sits on the China committee. He doesn't get the benefit of the doubt on that stock. He owes the public what the trustee was told and when.
Giedrius Trump retweeted
We are the Fearless Four. And none of us are coming back.
We stood with the Epstein survivors when it was politically toxic. We put the truth and victims first.
We paid the price. And I'd do it all over again. No regrets.
Marjorie resigned. Thomas lost his primary. Lauren lost her election. I ran for governor and came up short.
3 million files are out because we refused to shut up.
Fearless doesn’t mean invincible. Fearless means we didn’t flinch.
@mtgreenee @laurenboebert @MassieforKY
🤖 Made with AI
Giedrius Trump retweeted
Yes, let’s scapegoat and fire the SECDEF who has killed more IRGC terrorists than ALL previous SECDEF’s combined. We aren’t a serious country.
What we actually have here is a political class incapable of recognizing results, unwilling to accept accountability, and a Congress that has become increasingly useless. It’s well past time for patriots to step up in large numbers and run for office.
The failures surrounding Iran do not boil down to the warfighter. They belong to the people responsible for negotiations. Any honest broker who understands the difference between military execution and political decision-making should be able to acknowledge that.
Stop holding warfighters solely accountable for the never-ending failures of the policy folks. We watched this happen for over 25 years, and enough is enough.
Giedrius Trump retweeted
The sandbagging will continue.
Now to try this bad boy out on spreadsheets and ppt’s.
