Đóng góp của các mô hình AI mới nhất cho khoa học

Một bài viết trên AI-News.ru đề cập đến những đóng góp của các mô hình AI gần đây cho khoa học, đặc biệt là trong lĩnh vực toán học. Bài viết trích dẫn một bài đăng của Terry Tao (ngày 21 tháng 7 năm 2026) về một phản ví dụ cho giả thuyết Jacobian (Jacobian conjecture), trong đó các mô hình AI bao gồm Claude Fable 5 và ChatGPT đã đóng vai trò hỗ trợ. Một bản preprint khác (arXiv:2607.18186) trình bày một chứng minh áp dụng cho các số chiều n≥3, với sự hỗ trợ của ChatGPT và Claude. Một bài báo (arXiv:2607.18619) của một nhà nghiên cứu tại Microsoft mô tả một chứng minh thay thế cho định lý bốn màu (four-color theorem) bằng cách sử dụng GPT-5.6 Sol. Ngoài ra, arXiv:2607.18655 liên quan đến Claude Fable 5, còn arXiv:2607.19675 mô tả một chứng minh sử dụng OpenAI Codex, tham chiếu đến một bài toán có từ năm 1964. Các công trình khác bao gồm một chặn (bound) do AI suy ra cho giả thuyết De Giorgi (De Giorgi conjecture) (arXiv:2607.18174) với số hạng sai số O(T^-1), một bài báo về mô hình SYK (arXiv:2607.18998) sử dụng GPT-5.6, và một chứng minh về sự tồn tại của quỹ đạo tuần hoàn (periodic orbit) cho bài toán bi-a trong đa giác của Giovanni Forni (arXiv:2606.10102). Tác giả cũng đề cập đến công trình của riêng mình có sử dụng GPT.