Association for Human Mathematics kêu gọi tẩy chay OpenAI sau bản phát hành toán học
marketbrief.nowAssociation for Human Mathematics kêu gọi toàn thể nhà toán học tẩy chay OpenAI sau khi hãng phát hành 722 bản thảo toán học, theo Polymarket ngày 8/10. Bộ tài liệu công bố trước đó hai ngày gồm các kết quả từ một mô hình nội bộ chưa phát hành, được phân thành 372 nhóm kết quả liên quan thay vì 722 bài toán mở được giải quyết riêng biệt.
Abhishek Saha, giáo sư toán học tại Queen Mary University of London, đánh giá phần lớn thông báo là tiến bộ xuất sắc hoặc đột phá bất ngờ, đồng thời đặc biệt nêu bật tuyên bố chứng minh giả thuyết quasi-Riemann là kết quả duy nhất thuộc danh mục “Shock breakthroughs” của ông. Các bài chứng minh chưa được kiểm tra hoàn toàn và OpenAI thừa nhận một số kết quả chưa qua kiểm chứng hình thức có thể chứa lỗi.
Các nhà nghiên cứu cũng bắt đầu phát triển dựa trên bản phát hành này. Một nhà nghiên cứu dùng bút danh 0xdoug báo cáo thêm một cải tiến đối với kết quả nhân số nguyên của OpenAI, nâng thông số tiết kiệm số mũ lên khoảng 2⁻³⁴ so với mức 2⁻¹⁸² ban đầu của OpenAI bằng cách dịch chuyển các bit điều khiển nhỏ gọn thay vì toàn bộ cửa sổ dữ liệu. Đây là cải tiến về giới hạn lý thuyết chứ không phải mức tăng tương ứng về tốc độ nhân thực tế. Riêng Co
Nguồn chính
- SOURCE@openai“We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.”x.com
- SUPPORT@kimmonismus“OpenAI says the standard procedure used an average of three hours of ChatGPT Pro thinking compute per result.”x.com
- SUPPORT@polymarket“Association for Human Mathematics urges all mathematicians to boycott OpenAI following its release of 700+ mathematical research files.”x.com
- SUPPORT@alexkontorovich“If a human did this, it would be an instant Fields Medal, no questions asked.”x.com
- SUPPORT@obhisheksaha“My current impression is that some of OpenAI's announcements today lie in A, but most fall into categories B or C. There is exactly one example in D (the Quasi-Riemann Hypothesis).”x.com
- SOURCE@garymarcus“Complementary remarks from Gary Marcus and Terence Tao on OpenAI’s giant math drop Making sense of a new regime in math”x.com
- SUPPORT@alltheyud“Machines which can do this are probably closer to improving themselves, going foom, and wiping the board.”x.com
- SUPPORT@ereliuer_eteer“Only around 120 papers have a formalized main result. Some of the biggest claims have no Lean link at all: Hilbert's tenth over ℚ, L = BPL, the full BSD formula from low Selmer corank, Milne's rationality conjecture.”x.com