GPT 5.6 Sol proves 20-year-old math conjecture
A neurosurgery resident at a Peking College Hospital used GPT 5.6 Sol to prove a two-decades-old mathematical conjecture underlying a major problem in numerical linear algebra, for research on transcranial ultrasound.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Skeptic shares first impressions of ChatGPT Plus
- Hard sci-fi authors largely oppose LLMs, survey finds
- Anthropic tests folderless Claude Code sessions on Desktop and iOS
- Ethan Mollick: Using weaker AI for human-facing content may soon be disrespectful
- Pocket TTS training stack open-sourced