Sharing AI progress in mathematics

October 6, 2026

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

ai-adoption-by-industry-shows-what-other-sectors-can-learn

AI adoption by industry shows what other sectors can learn

October 20, 2026

yelp-can-now-call-on-your-behalf-to-check-wait-times-at-a-restaurant

Yelp can now call on your behalf to check wait times at a restaurant

October 20, 2026

otter.ai-raises-$320-million-from-general-catalyst’s-growth-fund-for-its-meeting-tool

Otter.ai raises $320 million from General Catalyst’s growth fund for its meeting tool

October 20, 2026