Агенты Axiom Math доказали полноту классификации конечных простых групп всего лишь в 41,3 млн. строчках кода Lean +6

• 02.11.2026 09:04
• Tesy
• 7

• Математика
• Машинное обучение