Hợp tác mở của OpenAI cải thiện nhân số nguyên, nâng κ lên 0.0017 và nhận trích dẫn học thuật đầu tiên
marketbrief.nowSự hợp tác mở rộng kết quả nhân số nguyên của OpenAI đã nâng tham số cứu giúp số mũ κ lên 0.0017137844912361143, tăng 2.6% kể từ ngày 13/10, sau khi nhận được trích dẫn học thuật đầu tiên của nguồn mở toán học mà nhà điều phối dự án Doug Colkitt gọi là "đầu tiên". Tiến trình đã bế tắc cho đến khi người đóng góp 1337isnot1337 giới thiệu kỹ thuật "vay bẩn dự phòng" tạm thời tái sử dụng thanh ghi nhàn thay vì cấp phát thanh ghi bộ nhớ mới, giảm số thanh ghi phụ trợ mỗi lần gọi từ 480 xuống 400 trong một từ kiểm tra.
Sáu người đóng góp tiếp theo đã gửi 19 yêu cầu kéo dài, nâng κ thêm 1.4% trong khoảng 13 giờ, đưa giới hạn phức chưa được xác minh trong vòng 1.7% của giới hạn phía bên bit là 0.001733. Hoạt động tổng thể đạt 518 yêu cầu kéo dài trong 24 giờ từ 64 người đóng góp, bao gồm 20 người tham gia lần đầu, với OpenAI Codex được trích dẫn trong 73% bài nộp và Anthropic Claude trong 19%. Colkitt đã hợp nhất khoảng 760 yêu cầu kéo dài vào ngày 14/10.
Tham số κ đo lường lượng cứu giúp số mũ trong giới hạn thời gian chạy lý thuyết T(n) = O(n(log n)^(1−κ)), mà OpenAI ban đầu công bố với κ = 2⁻¹⁸². Người đóng góp Rohan Arun đã cảnh báo rằng việc tạo ra bằng chứng hình thức Lean đầy đủ có thể...
Lịch sử nội dung (2)
- 2026-10-15 · Tóm tắt · vi · Thay nội dung đã lưuOpenAI đã công bố kết quả hợp tác nhân với Integer Multiplication, nâng ngưỡng lên 0.0017…Sự hợp tác mở rộng kết quả nhân số nguyên của OpenAI đã nâng tham số cứu giúp số mũ κ lên…
- 2026-10-15 · Tiêu đề · vi · Thay nội dung đã lưuOpenAI nâng ngưỡng hợp tác nhân lên 0.0017, nhận trích dẫn học thuật đầu tiênHợp tác mở của OpenAI cải thiện nhân số nguyên, nâng κ lên 0.0017 và nhận trích dẫn học t…
Nguồn chính
- SOURCE@rohanarun“Instead of paying for a fresh scratch "helper" register, a helper borrows another register that's idle at that moment, and hands it back restored. That cut helpers per call from 480 to 400 in their test word.”x.com
- SOURCE@rohanarun“Generating the full Lean proof could still take months, but it's clear Github is accelerating faster than we can publish papers now.”x.com
- SOURCE@0xdoug“Awesome to see what looks like the first example of open source math being cited in an academic paper.”x.com
- SUPPORT@jointheparti“First up: Doug Colkitt’s AI-agent swarm vs. the n log n barrier in integer multiplication. Will its κ hit 0.01 by Nov 19? Opens at 40%.”x.com
- SUPPORT@sj_swapnil_jain“Eleventh update to OpenAI problem #109 (integer multiplication): κ rises to 2⁻¹⁰·⁵⁴⁷, still past 2⁻¹¹.”x.com
- SUPPORT@8teapi“The "wall" has switched sides: the bit side (8.017e-4) now sits 1.07% above the complex cap (7.932e-4), so the next gains must come from the complex side.”x.com
- SUPPORT@rohanarun“Credit also to DaysSky for raising the complex cap to 9.33e-4 with a seven-stage E8 word.”x.com
- SUPPORT@anderssandberg“Always fun when math turns into a team sport with daily updates (the current bound is 0.001467289440740487).”x.com