Mahir Daiyan

[Mahir Daiyan @MHR7DYN]

@lyraxana It's easier for tibo to release a new minor model version than shipping every day

[Mahir Daiyan @MHR7DYN]

@benln Hong kong please

[Mahir Daiyan @MHR7DYN]

@mehulmpt Hey Mehul, I tried it out during my internship there, spent more than $2k in tokens. Explored the IDE+CLI completely and honestly it's not as bad as it might seem from the outside. It's just a harness and as you know there is no moat at all today when it comes to code

[Mahir Daiyan @MHR7DYN]

@carloAI What a chad reply, or is it

[Mahir Daiyan @MHR7DYN]

@ai_for_success Google always showed respect where it was due and never attempted pr stunts

[Mahir Daiyan @MHR7DYN]

@_ARahim_ @ngxson Credit must be given where it's due

[Mahir Daiyan @MHR7DYN]

@poteto @lingxi @larsencc need local cursor agents to be able to communicate with grok @bot. Also the bot should be able to launch agents in local ide and see the chat history!

[Mahir Daiyan @MHR7DYN]

@iruletheworldmo Also do you see the first response time, it's lightning fast. As if they send the request before you hit send

[Mahir Daiyan @MHR7DYN]

@OfficialLoganK @thsottiaux New round after truce with poteto: tibo vs logan

[Mahir Daiyan @MHR7DYN]

@CodewithP @thsottiaux @bot @poteto Absolutely. Tibo won, poteto fumbled

[Deedy @deedydas]

OpenAI’s math release is, in the words of Opus, “the single most consequential mathematical release ever” *

LLMs have how made substantial progress on 4 of 7 Millenium Prize problems: Navier-Stokes (claimed), Riemann, Hodge and Birch-Swinnerton-Dyer. Poincaré was solved in 2003. The two left are P v NP and Yang Mills.
*conditional on verification

On average, each OpenAI result used only 3hrs of thinking compute on their new unreleased models.

Two years ago, models said 9.11 > 9.9. Today, we have results that the smartest human minds have not been able to achieve in their entire lives. It is clear that data, compute and algorithms scale. Every model generation (3mos) has made substantial intelligence progress.

It also becomes incredibly hard to not believe that all knowledge work will change monumentally over time. The things AI can not do in the foreseeable future are very likely context-bound (don’t have access to the right information) than intelligence bound. Some might argue they are also creativity-bound or judgement-bound (what should I work on), although it can be argued that future generations could solve for this (given, say, the advancement in research taste for models over time).

AGI is defined as surpassing human capabilities on virtually all cognitive tasks. By most interpretations of that definition, we are there. The domains humans are still better than AI, such as, robotics / physical world control (data-bound?), natural science research (data-bound), some creative domains like writing, movies, music (creativity-bound), super long tasks (context-bound), choosing problems to solve (creativity-bound) and maybe human relationships management (meat-proxy bound?).
In many ways, we have achieved AGI.

[Mahir Daiyan @MHR7DYN]

@poteto and spacexai folks, today grok @bot had a tough time connecting with it's computer. It could literally do nothing as it waited to connect with the computer. Never saw this before

[Mahir Daiyan @MHR7DYN]

@skeptrune Yesssssssssss

[Mahir Daiyan @MHR7DYN]

@poteto Just make sure @bot is able to select opus 5.5 with lesser reasoning when I tell it to be economical with tokens. Also, it should always be able to see the current usage + next reset date

[SemiAnalysis @SemiAnalysis_]

Anthropic Subscriptions Offer 5x+ More Value Than OpenAI
Limit testing every AI subscription plan from Anthropic, OpenAI, Meta, SpaceXAI, MiniMax, Moonshot, Zdotai, Cursor, and Cognition
https://t.co/2c7PNAAksb

[Kent C. Dodds 🐨 @kentcdodds]

Note to self: never under any circumstances get into a fight on 𝕏 with poteto. She just cannot be beaten.

[Mahir Daiyan @MHR7DYN]

@designwkarthick There is no love, it's only hate - hate

[Mahir Daiyan @MHR7DYN]

@poteto @TheGeorgePu Hey Lauren. A cursor user here. I think grok bot is a great deal for the usage provided. But I'm sure you guys are missing out on a lot of users who would love grok bot, but haven't been able to try it out since there is no free tier. Even 1/4th free usage will bring many people

[Mahir Daiyan @MHR7DYN]

@Ananth7e Nope, day 3 of tibo losing to poteto