PhD mathematics; scientific software architect; mountain biker / runner. Opinions are my own and do not reflect any associated entity.
Colorado
Joined July 2022
- Tweets4.3K
- Following510
- Followers1.4K
- Likes5.5K
I honestly wish the models weren’t at all conversational. I feel like even training them to be like that is just hamstringing them.
Beautiful perspective
increasingly concerned that ai is revealing the mathematical world as negatively curved. instead of everyone wandering about in idea-space and clustering around the same famous conjectures (local positive curvature), ai is pushing out the boundaries rapidly and revealing that the space of mathematical ideas is ~hyperbolic (negative curvature). though this means there's lots left to discover, it also means that small separations between people/agents will lead to wandering alone.
we may be emerging into an idea-space where there's so much to see and do but everyone is alone in a private heaven, unable to share their subtle joys with others...
Glad theorem proving with AI is taking off. Helpful for both mathematics and software. Kinda sad I missed chances to join in on this development
We have to remove certain things from the models’ training:
- how long things take (e.g., “this is a day of work”)
- certain things are challenging (e.g., setting up App Store deployments)
- not finishing a task or over-chunking it (e.g., asked to do something e2e, stops halfway)
Claude knows more than I do and can do more than I can.
(Doesn’t mean I’m useless and for sure doesn’t mean I agree with Sabine about other things)
