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