Dòng tin
Tất cả
AI tự động giải quyết bài toán mở nổi tiếng của Erdős sau 80 năm
RT by @ylecun: NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem.
We are releasing the formalization as open source so that other researchers can inspect, extend, and independently validate the result.
See it here: https://logicalintelligence.com/blog/aleph-prover-erdos-disproof-lean-4-formal-methods
- ›OpenAI lần đầu tiên tự động giải quyết bài toán khoảng cách đơn vị phẳng của Erdős, một bài toán mở từ năm 1946.