Will

he/him

computational geometry
then software engineer specializing in c++
now software engineer using react mostly

[Will @wrhall]

@TheZvi Should be most Claude users' new daily driver^. It's really excellent, and even as someone who has spent a fair bit of money on Fable I just don't miss it with Opus 5.

Question now is "which effort level" not which model

^ my use is primarily coding

[Nathan Calvin @_NathanCalvin]

This is an incredible detail.

Imagining being the cyber defender and you are getting hacked but all the hacker is doing is browsing through your cybersecurity data sets, so surreal.

[Daniel Litt @littmath]

So, you (or the model you've prompted) has proved or provided a counterexample to an open conjecture! What's next?
- Check if it's correct!
- Try to understand what new ideas, if any, have been introduced. Do they have any further applications? How are they related to the rest of math?
- Try to understand different PoV's on the argument. Can you digest/illuminate it further?
- Why is it interesting? What does it tell you about the objects in question? Does it raise any new questions?
- Start trying to solve those new questions!

[Will @wrhall]

@LongFormMath Sometimes I think about the two smartest people I know and am surprised/delighted that they have, in fact been recognized as being very very smart (and hard-working)

[Will @wrhall]

@publishiperishi $3000 reward is about to trigger tens of thousands of token spend 😂

[Will @wrhall]

@versteeml @bscholl That's much better than a speed limit!

[Jay Cummings @LongFormMath]

“Sir, another counterexample has been found. Our conjectures are under attack.”

[Will @wrhall]

@giffmana What level incident do you think this was internally?

[Will @wrhall]

@LongFormMath Jay, I want your longer form take

[Will @wrhall]

@hankgreen It's tricky, right? Hard to defend medium-sized margins when someone elsewhere in the value chain can open source something that competes directly with you

Cloudflare is an example of a mix of free and middle ground

Once you go public there's a lot of pressure towards ♾️

[Will @wrhall]

@patio11 Oh! Haha I read nonfiction that did that and it was written in the 2010s

[Will @wrhall]

@TheZvi Every time I use a sheet of aluminum foil...

[Will @wrhall]

@TheZvi This is a weird thing because image generation has become a major part of my recent workflow and codex is at this point close enough to Claude that I seriously considered answering GPT

[Will @wrhall]

@simonw Do you think it will be Opus 5.1?

[Will @wrhall]

@TheZvi Good model. For the large open-ended (code/arch) queries that I've used with Fable it's also quite good (and characteristically comprehensive). But it is expensive.

A fast model of this caliber is going to be unbelievably game-changing

Everyone should to try. Worth plus sub imo

[Will @wrhall]

@polynoamial Presumably the private model could do this one too?

[Will @wrhall]

@littmath What does the shape of open questions in math start to look like? In a few years, one could imagine large open questions that are still Hard or computationally intensive, but lots of longstanding "easier" problems are solved.

Do we focus on research directions? Something else?

[Will @wrhall]

@rwdoyle @bhargreaves By whom? With what negotiating leverage? How do they get it?

If it's obvious that we're only "not going to have overtime for a short time," then offer nothing or small bonuses

[Will @wrhall]

@AndyMasley This seems low? How credible is it?