idk if this fits your def of labor, but there's a lot of interesting discourse in the math community about what AI means for the field, e.g. arxiv.org/abs/2608.16753
Mathematics in the age of AI arxiv.org
AI Weekly's analysis
→
- Terence Tao's ICM 2026 essay sidesteps the debate over AI's math capability and focuses on how results are verified, communicated and digested by the community.
- In the First Proof evaluation Tao cites, seven of ten novel problems got at least one passing grade from an AI system, at tens to hundreds of dollars each.
- Tao would block publication if authors cannot give a clear, expert-level talk on their own AI-assisted result, and requires disclosure of any tool use.
Read full analysis →
I'm at #UIST2026 presenting an early version of our study in the poster session, please stop by if you're here! TractorBeam is also available on the Chrome Web Store, if you'd like to try it out! All you need is an API key to try the AI highlighting.
chromewebstore.google.com
Can't speak fully authoritatively about this, but I believe this pivot to natural language is when neural approaches started to be widely deployed at Google. In particular, BERT (an early LLM) started being used in search around this time. I wouldn't be surprised if they start…
Understanding searches better than ever before blog.google
So excited to talk about something that I've been working on for a while: TractorBeam, a tool for customizable AI highlighting on PDFs. Highlighting in TractorBeam is based on categories that you define and can update at any point, to reflect how your mental model changes as y…
TractorBeam: Malleable AI support for the way that you read - AI in the Last Mile lastmile-ai.leaflet.pub
↻
Sireesh Gururaja reposted
