Vào ngày 20 tháng 2026, trong danh sách mới của arXiv đã xuất hiện các công trình mà trong đó các nhà toán học chỉ rõ sự trợ giúp của những mô hình như ChatGPT-6 Astra.
Trong số đó có chứng minh giả thuyết Erdős–Szemerédi về hoa hướng dương cho mọi k ≥ 3. Các tác giả lưu ý rằng định lý trung tâm chính là do ChatGPT-6 Astra Pro tìm ra.
Trước đây chỉ biết trường hợp k = 3, thu được vào năm 2016 nhờ bước đột phá với cap-set. Nay đã có tuyên bố về một cải thiện rõ rệt: kích thước của họ không chứa k-hoa hướng dương bị chặn bởi một đại lượng nhỏ hơn 2^n.
Trong cùng danh sách đó — những kết quả khác có sự tham gia của AI: một đánh giá cho giả thuyết Borodin–Kostochka, cải thiện thời gian giải các bài toán quy hoạch nguyên và các phản ví dụ cho giả thuyết Arveson trong trường hợp giao hoán.
Nhiều tác giả viết rằng mô hình đã đề xuất những bước then chốt hoặc những chứng minh hoàn chỉnh, còn con người kiểm tra và trình bày chúng. Một số công trình có kèm theo nhắc đến việc kiểm chứng bằng Lean, dù các tệp vẫn chưa được công bố.
Tất cả các kết quả được công bố đều đang chờ phản biện độc lập. Hiện chúng vẫn ở trạng thái «chờ kiểm chứng».