Conrad@innoiso

2.8K posts

Conrad@innoiso banner
Conrad@innoiso

Conrad@innoiso

@innoiso

Ex-Googler, MIT alum, technology enthusiast

San Francisco, CA Katılım Ocak 2020
86 Takip Edilen116 Takipçiler
Jonny Buchanan
Jonny Buchanan@jbscript·
Google AI Studio logo went from what? to huh?
Jonny Buchanan tweet media
English
22
4
378
58.2K
Mark Chen
Mark Chen@markchen90·
Very proud that an OpenAI model disproved Erdős’s longstanding unit distance conjecture, with an elegant and intricate proof that brings sophisticated ideas from algebraic number theory to bear on geometry. For whatever reason, mathematics has been the field most amenable to research breakthroughs with AI. I consider it lucky that it was mathematics after all - a field where experts have been willing to engage deeply with us, and with proofs generated by our models. I'm grateful for that, and don't take it for granted. Math is an artistic endeavor, and perhaps for artists, it is precisely their appreciation for art that saves them from the possibly grotesque feeling of a machine producing it. Our goal is not to replace humans. We aim to chart a path forward where humans continue to have a significant role to play, even as we build exceptionally powerful AI. I am excited to use math as a domain to explore these paths, and @SebastienBubeck, @merettm, and I are excited to engage with the broader mathematical community to chart them together. Please reach out if you are interested! I'm optimistic this will help us navigate how AI impacts society in domains like coding and general co-working.
OpenAI@OpenAI

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

English
41
35
672
143K
Andrew Ambrosino
Andrew Ambrosino@ajambrosino·
it's important, i think, to resist the temptation to ship garbage
English
75
43
987
236.4K
Google Antigravity
Google Antigravity@antigravity·
Introducing Antigravity 2.0, a new standalone desktop application that delivers fully on that original glimpse of a truly agent-optimized experience. Rebuilt from the ground up with multi-agent teams, scheduled tasks, native voice and one-click integration with other Google products. Learn how to get started with Antigravity 2.0 👇
English
1.7K
1.1K
10.3K
2.4M
Conrad@innoiso
Conrad@innoiso@innoiso·
@thsottiaux have you seen this error at all? One of my (non-technical) team members got it
Conrad@innoiso tweet media
English
0
0
0
70
Conrad@innoiso
Conrad@innoiso@innoiso·
Several data centers are now investing in their own behind the meter solutions that would make them more efficient
English
0
0
0
10
Conrad@innoiso
Conrad@innoiso@innoiso·
@joshwoodward Are you speaking again this year? If so good luck, excited for you to crush it again! One year I'd love to be there!
English
0
0
1
7
kukas :3
kukas :3@eelheir·
@innoiso @emollick I know they're not crimes. It's an analogy. That said, I can agree with you. It's what most reasonable people would arrive at: put the action in human terms. Grep becomes "Searching for X for Y reason", etc. I expect they're probably already making it work on working like that.
English
1
0
1
72
Ethan Mollick
Ethan Mollick@emollick·
Codex is very good, but it is still a very "developer coded" interface for an everything app. And it continues the somewhat annoying AI perspective that non-coders are just not as competent and need stuff hidden from them, as opposed to requiring a different form of complexity.
Ethan Mollick tweet media
English
88
17
589
42.4K
Conrad@innoiso
Conrad@innoiso@innoiso·
@eelheir @emollick Not quite. These aren't crimes the AI is committing. Every piece of software has to choose the level of transparency makes sense for the user. You or me might like a bit more view under the hood, but to others it causes more confusion. And so my proposal above is a translation
English
2
0
1
73
kukas :3
kukas :3@eelheir·
@innoiso @emollick this is like saying we shouldn't explain what crimes are to children because the criminal justice system is complicated. like yeah, it's scary and complicated, but you don't get to informed, capable users without being honest with them about what's going on
English
1
0
0
66
Conrad@innoiso
Conrad@innoiso@innoiso·
@scoopdiddy1 @emollick Yeah it might benefit from a secondary agent like the auto-review agent that just translates tool results into plain-old English
English
0
0
0
229
scoopdiddyoop
scoopdiddyoop@scoopdiddy1·
@innoiso @emollick giant grep awk tail chains are noise for everybody, but like error messages from an MCP? you can digest it with a Haiku and it's sooo much easier to understand. Had an insane situation the other day where an MCP wouldn't show errors because it didn't want to be """scary"""
English
1
0
0
241
Conrad@innoiso
Conrad@innoiso@innoiso·
They will be more confused and skeptical that the problem was solved. By contrast, Codex could set the work mode to use more understandable tools to solve the same problem. But this only matters when the user cares to see how the sausage is made
English
0
0
0
23
Conrad@innoiso
Conrad@innoiso@innoiso·
My take here: often, there is more than one path to achieving the goal. Codex will default to using command line tools over more user friendly tools because it means it will get the task done faster and with fewer tokens, but if the user is following the process, (1/x)
Ethan Mollick@emollick

@innoiso That is the opposite of what I am saying, though. It is not about hiding features.

English
1
0
0
60
Conrad@innoiso
Conrad@innoiso@innoiso·
@emollick But what's the alternative? Explaining to the user what every command line tool does? There are still some approvals that I get nervous about, even with engineering experience. But I'm not sure whether a text explanation of the tool would make me feel any more comfortable
English
2
0
3
384
Ethan Mollick
Ethan Mollick@emollick·
@innoiso That is the opposite of what I am saying, though. It is not about hiding features.
English
3
0
14
1.5K
Conrad@innoiso
Conrad@innoiso@innoiso·
@joshwoodward Does this seem in the right ballpark to you? Running the Gemma models on a Pixel 10 Pro Fold. Wasn't sure where the performance would shake out. This is a pretty simple homegrown eval, nothing special
Conrad@innoiso tweet media
English
0
0
0
67