César Salgado

[César Salgado @cesarsvs]

@DeRonin_ If the app can easily make 3k per month then why would the owner sell for 3k? The valuation implies a 0.09 PE ratio that is ridiculously cheap

[César Salgado @cesarsvs]

@fchollet Yearly releases remind me of the imagenet days

[César Salgado @cesarsvs]

@amazing_physics We should invent an universal iron printer

[César Salgado @cesarsvs]

@AgustinLebron3 @METR_Evals The graph doesn't mean that Claude would run for 14.5 hours, but that humans would take that amount of time to complete that task.

[César Salgado @cesarsvs]

@karpathy @swyx @YorkieBuilds @Grad62304977 @tejalpatwardhan What if people are not fired due to safety reasons? That is, we know they are as smart as us but maybe we are not sure they are as trustworthy as us? Does AGI includes the alignment problem?

[César Salgado @cesarsvs]

One edge humans keep over AI: we carry context across jobs. AIs are fenced in by IP—what they learn at Company A can’t transfer to Company B.

[César Salgado @cesarsvs]

@emollick Does it work with deep research or agent mode?

[César Salgado @cesarsvs]

@mattshumer_ Yup, I often abort Claude on cursor if I see that is going on the wrong direction

[César Salgado @cesarsvs]

@kimmonismus I use it to find real estate with certain characteristics that can only be seen in photos (not always the text mentions everything)

[César Salgado @cesarsvs]

@emollick Are they comparing with other drivers driving in similar places (within the same cities and routes where waymo operates)?

[César Salgado @cesarsvs]

@VictorTaelin On cursor my biggest complain about GPT-5 is that it is much slower to finish the tasks than Claude. It seems that openai didn't focus as much on making it work well on cursor than anthropic. Maybe that is not the case on codex?

[César Salgado @cesarsvs]

@scaling01 Everyone is holding back. Why be 50% better in the short term with a more expensive model and then lose in long term because you did not allocate enough compute on training or using the more expensive model to teach the next generation?

[Oriol Vinyals @OriolVinyalsML]

Drastic progress on maths with Gemini 2.5! As a math undergrad, I am impressed 🤯

🥈 -> 🥇 ✅
Formal -> Informal ✅
Specialized model -> General model ✅
Available soon ✅

Huge thanks to IMO and congrats to all participants!

Blog: https://t.co/cW9pvFlZtN

[César Salgado @cesarsvs]

@levelsio I also don't get why nasal sprays that are just water and salt are so expensive. At least they are in Brazil. Not sure in other countries.

[César Salgado @cesarsvs]

@wmhuo168 Exactly one month ago: https://t.co/qM1ZRefBfq

[César Salgado @cesarsvs]

As always, Americans will be surprised when a deep seek moment happens for ASML tech — but they shouldn’t be. I don’t think any technology is so advanced that a well-funded, motivated group of smart individuals couldn’t eventually replicate it. China checks all those boxes.

[César Salgado @cesarsvs]

@deedydas If an eng take 12 minutes on average to review a commit then it will take 5 hours to review 50. If engineers on the team are taking code review seriously then 50 commits per eng/day getting merged seems unrealistic.

[César Salgado @cesarsvs]

@danshipper What if you ask it "what is the best next question that I should ask?" ?

If it can answer any question better than you then it will also answer the above better than you what contradicts the second part of your tweet.

[César Salgado @cesarsvs]

@arjunbhuptani I think humans will still be valuable for auditing AI systems and actions. We cannot and should not fully trust AIs to carry tasks that take days to finish without some kind of auditing and monitoring. https://t.co/FwzPrNu0xf

[César Salgado @cesarsvs]

Last remaining jobs:
1. Teaching AIs: Labeling data, creating hard questions, evaluating answers, etc
2. Auditing AI: We won't let AIs simply take over everything since we will never fully trust them. Code reviewers of deterministic theorem provers about AI are included here.

[César Salgado @cesarsvs]

@VictorTaelin @miolini What sort algo did it find? That sounds pretty cool. Any link to an older version that I can play with?