Interview with Bartosz Naskrecki on the current capabilities of AI in math
burny_tech · x · 2026-10-14
A podcast interview with Bartosz Naskrecki, described as possibly the most knowledgeable person on what AI can currently do in mathematics. The interviewer says they learned a lot from both the conversation and Naskrecki's conference talk, making this a worthwhile listen for anyone tracking the frontier of AI mathematical reasoning.
More from AGI Musings
- Geoffrey Hinton: 'We're creating alien beings — I'm selfishly choosing humans' — Eastern-Opposite9521 · 2026-10-14
- X user predicts the first AI virus: a small self-replicating model — p_e_cooper · 2026-10-14
- Lenny's Newsletter: what actually counts as a moat in the AI era — HamelHusain · 2026-10-14
- Corporate salary is a fusion of retainer and insurance premium in the AI era — curious_vii · 2026-10-14
- Greg Isenberg: the first AI was a 2021-frozen internet scrape that forgot you at half capacity — building_brocks · 2026-10-14
- Tufa Labs jumps from 56% to 68.91% to reclaim first place on ARC-AGI-3 — burny_tech · 2026-10-14