---
format: "aidr-story-markdown/v1"
id: "58639c9c87b391e09f0e2143911ef6dd7169733680317e352a5be8e6ca6a56f6"
canonical_url: "https://aidr.today/58639c9c?lang=vi"
title: "Astra AI tìm ra chứng minh tổng quát đơn giản hơn cho phương sai First Passage Percolation"
lang: "vi"
requested_lang: "vi"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-11-02T18:08:25.000Z"
category: "Research"
topics: ["agent"]
source_urls: ["https://marketbrief.now/ai/astra-ai-discovers-simpler-general-proof-for-first-passage-percolation-v-83a80f29","https://huggingnews.com/ai/astra-ai-discovers-simpler-general-proof-for-first-passage-percolation-v-83a80f29"]
summary: "Các nhà toán học Scott Armstrong và Ahmed Bourabee đã dùng AI agent Astra để tìm ra chứng minh đơn giản hóa cho một bài toán toán học liên quan đến cách phương sai thời gian đi qua trong first-passage percolation tỷ lệ dưới tuyến tính theo khoảng cách. Luận điểm mới xác định cơ chế cho phép chứng minh hợp lệ ở mọi chiều và trên lattice, với điều kiện các giả định về tính đều đặn và độ cong trên hình giới hạn được đáp ứng. Ban đầu, các nhà nghiên cứu cố gắng dùng ngôn ngữ formalization Lean để xác minh chứng minh 200 trang do Basu, Sidoravicius và Sly công bố năm 2023, vốn chỉ áp dụng cho các model 2D. Vấn đề rộng hơn này đã bỏ ngỏ hàng thập kỷ kể từ khi Harry Kesten đề cập lần đầu vào năm 1993. Armstrong cho biết chứng minh đơn giản hóa xuất hiện từ tương tác giữa con người và AI sau khi agent được dùng để tìm giải pháp thay thế cho các phần của chứng minh gốc mà không thể formalize."
---

# Astra AI tìm ra chứng minh tổng quát đơn giản hơn cho phương sai First Passage Percolation

> [Open the canonical story](<https://aidr.today/58639c9c?lang=vi>)

**Published:** 2026-11-02T18:08:25.000Z
**Category:** Research
**Topics:** agent

## Summary

Các nhà toán học Scott Armstrong và Ahmed Bourabee đã dùng AI agent Astra để tìm ra chứng minh đơn giản hóa cho một bài toán toán học liên quan đến cách phương sai thời gian đi qua trong first\-passage percolation tỷ lệ dưới tuyến tính theo khoảng cách\. Luận điểm mới xác định cơ chế cho phép chứng minh hợp lệ ở mọi chiều và trên lattice, với điều kiện các giả định về tính đều đặn và độ cong trên hình giới hạn được đáp ứng\. Ban đầu, các nhà nghiên cứu cố gắng dùng ngôn ngữ formalization Lean để xác minh chứng minh 200 trang do Basu, Sidoravicius và Sly công bố năm 2023, vốn chỉ áp dụng cho các model 2D\. Vấn đề rộng hơn này đã bỏ ngỏ hàng thập kỷ kể từ khi Harry Kesten đề cập lần đầu vào năm 1993\. Armstrong cho biết chứng minh đơn giản hóa xuất hiện từ tương tác giữa con người và AI sau khi agent được dùng để tìm giải pháp thay thế cho các phần của chứng minh gốc mà không thể formalize\.

## Sources

- [Story source](<https://marketbrief.now/ai/astra-ai-discovers-simpler-general-proof-for-first-passage-percolation-v-83a80f29>)
- [Story source](<https://huggingnews.com/ai/astra-ai-discovers-simpler-general-proof-for-first-passage-percolation-v-83a80f29>)