---
format: "aidr-story-markdown/v1"
id: "9c6bd61f8a15e0283cd44b223851d455a2983bc6fb068a2b0e78e7376f914158"
canonical_url: "https://aidr.today/9c6bd61f?lang=vi"
title: "Anthropic bác bỏ 3SUM conjecture bằng thuật toán mới"
lang: "vi"
requested_lang: "vi"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-06T11:08:42.000Z"
category: "Research"
topics: ["anthropic","llm"]
source_urls: ["https://huggingnews.com/ai/anthropic-ai-disproves-3sum-conjecture-with-new-algorithm-e1a12548","https://marketbrief.now/ai/anthropic-ai-disproves-3sum-conjecture-with-new-algorithm-e1a12548"]
summary: "Một thuật toán do mô hình AI tìm ra đã bác bỏ giả thuyết APSP và Exact Triangle, đồng thời giải quyết bài toán All-Pairs Shortest Paths trong thời gian subcubic thực sự. Một bài báo mới cùng bản hình thức hóa Lean kèm theo khẳng định những kết quả này bác bỏ Randomized Integer Word-RAM 3SUM Conjecture vốn được một số bảng xếp hạng dựa trên LLM liệt kê là một trong những bài toán mở quan trọng nhất của toán học. Anthropic, đơn vị tạo ra mô hình Claude dùng để tìm ra chứng minh, đã dùng một mô hình nghiên cứu nội bộ để kiểm chứng các phát hiện sau khi các tác giả hoàn thành bản thảo đầu tiên. Để hoàn tất công bố, công ty đã trả thù lao và cấp quyền truy cập Claude cho các chuyên gia học thuật để hỗ trợ viết bài sau khi xác định được chứng minh và bản hình thức hóa."
---

# Anthropic bác bỏ 3SUM conjecture bằng thuật toán mới

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

**Published:** 2026-10-06T11:08:42.000Z
**Category:** Research
**Topics:** anthropic, llm

## Summary

Một thuật toán do mô hình AI tìm ra đã bác bỏ giả thuyết APSP và Exact Triangle, đồng thời giải quyết bài toán All\-Pairs Shortest Paths trong thời gian subcubic thực sự\. Một bài báo mới cùng bản hình thức hóa Lean kèm theo khẳng định những kết quả này bác bỏ Randomized Integer Word\-RAM 3SUM Conjecture vốn được một số bảng xếp hạng dựa trên LLM liệt kê là một trong những bài toán mở quan trọng nhất của toán học\. Anthropic, đơn vị tạo ra mô hình Claude dùng để tìm ra chứng minh, đã dùng một mô hình nghiên cứu nội bộ để kiểm chứng các phát hiện sau khi các tác giả hoàn thành bản thảo đầu tiên\. Để hoàn tất công bố, công ty đã trả thù lao và cấp quyền truy cập Claude cho các chuyên gia học thuật để hỗ trợ viết bài sau khi xác định được chứng minh và bản hình thức hóa\.

## Sources

- [Story source](<https://huggingnews.com/ai/anthropic-ai-disproves-3sum-conjecture-with-new-algorithm-e1a12548>)
- [Story source](<https://marketbrief.now/ai/anthropic-ai-disproves-3sum-conjecture-with-new-algorithm-e1a12548>)