Google DeepMind представила Aletheia: ИИ-агент для автономных математических исследований
Aletheia преодолевает разрыв между олимпиадными задачами и профессиональными доказательствами, генерируя новые стратегии через итеративное рассуждение на естественном язы...