kk_rational

bitcoiner … I am a computer science engineer. love nature and bitcoin. Not your financial adviser

[Peter Dedene @dedene]

Asking Meta's Muse what happens to my data:

[kk_rational @kk_rational]

This Astra at high intelligence and max thinking!
I hope this is not AGI! Still making dumb mistakes.

[kk_rational @kk_rational]

It’s unfortunate that AI killed the internet. Nothing on the internet is useful anymore! Not even the social network platforms.

[Short the vix @shortthevix2]

“We get influencers to sell bonds”

[kk_rational @kk_rational]

@zerohedge Where is the optimist in you? Stop being doomer just for engagement !

[Xsara @Xsara77060524]

@sparbuchfeinde 1. Unterrichtsfreie Zeit ist nicht gleichzusetzen mit Urlaub 2. Das Beispiel (Gehalt plus Privatschule) eher unüblich. 3. Je nach Posten durchaus Führungsverantwortung 4. Wenn alles so toll ist, warum gibt es dann einen Lehrermangel?

[kk_rational @kk_rational]

Was watching about Sudan crisis. I hoped bitcoin could solve everything. But it cannot:(

[kk_rational @kk_rational]

Last time fed hiked banks went bust, this time… leveraged AI (maybe)

[Crémieux @cremieuxrecueil]

Hallucinated references are a serious scientific and ethical problem, but basically no scientific institution seems to care.

The only exception I'm aware of is that arXiv bans people for them.

This is the right approach to AI slop-driven fraud.

[kk_rational @kk_rational]

@elonmusk @itslueul Grok 4.6 is barely intelligent and has extreme hallucinations. I guess you are being delusional with that timeline

[kk_rational @kk_rational]

@dhh Fuck off, why target GDPR?

[Alexander Leishman 🇺🇸 @Leishman]

If it was actually important to "pace the frontier", wouldn't the first step be to limit the amount of capital that AI companies can raise? Funny how he doesn't mention that at all.

Nobody should trust these guys to influence policy.

[kk_rational @kk_rational]

@zerohedge So are you agreeing Germany is awesome place to immigrate to?

[Nayib Bukele @nayibbukele]

A partir del próximo año, El Salvador invertirá el 8% del PIB en educación.

[kk_rational @kk_rational]

@elvisvelea @PortlandHODL @adam3us Hmm, I think you are confusing with opting out from your data / tokens produced to be trained. But nothing stops from knowing what output you are getting

[kk_rational @kk_rational]

@PortlandHODL @adam3us @elvisvelea By using Ai are you not exposing the bug first to Ai labs since they know the tokens generated ?

[kk_rational @kk_rational]

Inflation is getting out of hand. I was told AI is gonna be deflationary!

[Alex Rampell @arampell]

Suppose you get a 2 billion line of code (LoC) Lean proof of the Riemann Hypothesis or the Collatz Conjecture. What have you actually learned?

The proof of Fermat’s Last Theorem is ~13M LoC in Lean, but at least there’s a human-readable mathematical spine underpinning it: Wiles/Taylor-Wiles, and you can follow the argument end to end.

A kernel-verified proof with no human-compressible argument feels like it could be a genuinely different object: proof without understanding.

What happens when the shortest known proof certificate is machine-scale, but the shortest known explanation is nonexistent?

[kk_rational @kk_rational]

@allenf32 Now I am wondering if they will break Bitcoin and hole in cryptography! Damn

[François Chollet @fchollet]

GPT-6 Astra represents a step-function change in model capability for interactive reasoning problems. It scores 66% on ARC-AGI-3 using our standard harness, and nearly 100% with a continuous conversation harness and custom compaction, at a cost of roughly $360 per game.

In fact, the continuous harness version significantly outperforms our human baseline in action efficiency across almost all levels. When we examined the reasoning chains to understand how the model operates, we found it performing highly efficient, on-the-fly symbolic world modeling for each game and level. It goes as far as developing its own shorthand DSL to represent in-game situations -- essentially a game-specific algebraic notation.

Overall, Astra exhibits symbolic modeling behaviors we had previously only seen with sophisticated harnesses -- so harness capabilities are increasingly shifting into the model itself.

We see Astra as a major breakthrough in model intelligence.

Read our post on Astra and what these results mean: https://t.co/wJnYxEqYNI