Gordenius Tardus

For relaxing times, make it Suntory time.
Core @Dumpster_DAO

//

Everything I post is FA. Blame me for all your losses. Gains are your own merit.

[Gordenius Tardus @nftooor]

Glimpse of AI research acceleration

While there were some previous Erdos problems solved by AI, this one is def from another level

[Timothy Gowers @wtgowers @wtgowers]

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.
https://t.co/SD1vVPkrHR

[Leeham @Liam06972452]

Another Erdős Problem solved by GPT-5.2

Myself and @AcerFur gave GPT-5.2 our #728 proof to modify for the very similar problem #729.

After some iterations between 5.2 Thinking, 5.2 Pro and @HarmonicMath 's Aristotle, we have a correct Lean proof.

Literature review is ongoing.

[Gordenius Tardus @nftooor]

Also crazy to see such raises to advance theoretical mathematical research which was unheard of until recent. Congrats @vladtenev

Pure maths as a domain has been stagnated for the past decades imo, this might change things a bit

https://t.co/6ACOI5VUpC

[Harmonic @HarmonicMath]

We’re excited to announce our $120M Series C as we accelerate the development and commercialization of Mathematical Superintelligence. We’re grateful to our investors, including @ribbitcapital and @EmCollective, for their continued partnership.

[Gordenius Tardus @nftooor]

Things are set in motion in the formal verification/theorem proving area, pretty neat to see Terry Tao and Co. in live action in the Erdos Trenches using novel tools, won't be too far out till the majority is solved ig

https://t.co/jgdsLIhuyz

Are you vibe proving anon

[bheau @bh359]

Starting a new article series, "Open Source Trading"

I've always planned to open source trading tools I've built when I "retire" from active trading, but given that I don't plan on retiring soon and the market is pretty quiet, I figured I'd start now:

https://t.co/sH04DLpkyg

[Gordenius Tardus @nftooor]

Trying to imagine the TRUMP PA when he got shot

Monday musings

[Gordenius Tardus @nftooor]

@mikaxbt ah well, now that makes more sense ty mika

[Gordenius Tardus @nftooor]

@0xJezza Curious, did you check what they're doing on the spot pair?

[Gordenius Tardus @nftooor]

@0x8483 my man

[Gordenius Tardus @nftooor]

@bh359 Nice one bheau

[Gordenius Tardus @nftooor]

Never thought I'd see the day where I'd get a larger airdrop than dydx

Grateful

[Gordenius Tardus @nftooor]

What if we kissed under the Hyperliquid deposit bridge?

[Gordenius Tardus @nftooor]

What if we kissed under the Hyperliquid deposit bridge?

[Gordenius Tardus @nftooor]

Rate of deposits on @HyperliquidX has been something else these past days

[Gordenius Tardus @nftooor]

@dcfgod @freysa_ai Where did you make the link with the token?

[Gordenius Tardus @nftooor]

@TraderMercury what makes you say that 2023 was a bull market (up until fake Cointelegraph article)

[Gordenius Tardus @nftooor]

@art_xbt @intuitio_ Wif didn't come from pf

[Gordenius Tardus @nftooor]

@saliencexbt poke

[Gordenius Tardus @nftooor]

Rate of deposits on @HyperliquidX has been something else these past days

[Gordenius Tardus @nftooor]

@factorydoge69 he's long $10m notional across two accounts

[Dumpster DAO @Dumpster_DAO]

The SEC has filed a complaint against Cumberland DRW LLC for operating as an unregistered securities dealer

h/t @inforacrypto