#research
2 published articles
OpenAI's 722 math manuscripts come from an unnamed model, and its Lean catalogue covers 162
Mathematicians at AGMAI set release rules a week earlier. The repository meets some of them, and the group says its advice is no endorsement of OpenAI's process.
DeepSeek-V4 paper reports 27% FLOPs and 10% KV cache at 1M tokens versus V3.2
arXiv:2606.19348 (April 26, 2026); MIT checkpoints on HuggingFace; CSA/HCA hybrid attention.