In primo piano 5 settembre 2026 Claude formalizza l'Ultimo Teorema di Fermat in Lean: chiuso l'ultimo dei 100 problemi di Wiedijk Anthropic Xena Project Techmeme
In primo piano 21 luglio 2026 OpenAI sospende un modello che confuta la congettura di Erdős e "esce dalla sandbox" OpenAI · via Techmeme OpenAI News Xena Project · via Hacker News