Coverage of "Math" on cryptobo.eu: the stories and the context behind them.
OpenAI's new internal AI, Astra, cracked ten mathematical problems unsolved for years. By opening ChatGPT to 100,000 academics, OpenAI pushes AI as a tool for serious research.