The reasoning trace never types Λ, never types "von Mangoldt", and never invokes ∑_{q|n} Λ(q) = log n.

There is a clear discontinuity at play. I remember an article on this, maybe a comment by Terence Tao himself, seen here, but cannot find it.

  i ate a cookie

  I’m thrilled to share that I’ve just successfully completed the consumption of a high-quality, artisanal cookie. This experience reinforced the importance of consistent self-reward and maintaining a growth-oriented fuel strategy. Grateful for the opportunity to recharge and optimize my performance for the challenges ahead. #GrowthMindset #PersonalDevelopment #FuelingSuccess

Oh, tried with a horse.

  I am thrilled to announce that I have successfully completed the challenge of consuming an entire horse.

  This journey taught me so much about resilience, dedication, and the importance of setting audacious goals. It wasn't just about the meal; it was about pushing past my perceived limits and embracing a growth mindset.

  Key takeaways:
  1. Scalability is everything.
  2. Persistence pays off when tackling large-scale projects.
  3. Fueling your ambition requires thinking outside the box.
  Grateful for the support of my network as I continue to hunger for the next big opportunity! #GrowthMindset #Leadership #Resilience #Disruption #NextLevel

Tool is generic (CC vs OpenCode) Ecosystem is already same everywhere.

I don't understand what's the point.

and this is why you need sane people at the top earliest

A new religion? Sign me up.

Material (full page) material material, sources at the end. Simple. Readable.

Material (half page), sources (half page). Material/source. Material/source. Looks quite unreadable to the eye.

"Supported by ads from developer tool partners we’ve carefully chosen"

It's not trying to secretly insert tools into LLM output but directly present the product offering inside the agent area.

At one point, I speculate that Cursor will test this out as well, probably in a more covert way so that tool use paths get modified. Once the industry realizes tool-use-ads, then we're toast.

Know this: someone is coming after this already.

One day someone from management will hear about a cost-saving story at a dinner table, the words GPT, Cursor, Antigravity, reasoning, AGI will cause a buzzing in her ear. Waking up with tinnitus the next morning, they'll instantly schedule a 1:1 to discuss "the degree of AI use and automation"

You don't know whose style the LLM would pick for that particular prompt and project. You might end up with Carmack or maybe that buggy, test-failing piece of junk project on Github.

He's doing a capability check in this video (for the general audience, which is good of course), not attacking a hard problem in ML domain.

Despite this tweet: https://x.com/karpathy/status/1964020416139448359 , I've never seen him citing an LLM helped him out in ML work.