Toàn bộ tin AI · Thẻ “Phản ví dụ”

21/08

Thứ Sáu · 1 tin

01:29

Francois Chollet@fchollet

Hướng dẫnĐiểm AI 24/100

Giả thuyết sai lầm: AI tạo ra phản ví dụ để bác bỏ

The conjecture is wrong, here's an AI-generated counter example

DịchMột giả thuyết toán học đã được chứng minh là sai nhờ vào phản ví dụ do AI tạo ra, cho thấy tiềm năng của AI trong việc hỗ trợ nghiên cứu lý thuyết.

12/08

Thứ Tư · 1 tin

19:45

Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)

Hướng dẫnĐiểm AI 56/100

LLM thực sự giỏi loại toán nào?

Dù OpenAI đã giải được nhiều bài toán hóc búa, LLM vẫn mạnh về tìm phản ví dụ hơn là chứng minh lý thuyết. Bài viết phân tích lý do tại sao mô hình ngôn ngữ lại có ưu thế đặc biệt trong việc phát hiện các trường hợp ngoại lệ này.

LLM Toán học OpenAI Nghiên cứu AI

Tổng 2 tin, không còn tin nào nữa

40 tin mỗi trang, cuộn để tải tiếp · lọc và sắp xếp ngay trên máy chủ (13 ms) · bộ lọc nằm trong đường dẫn nên chia sẻ link là giữ nguyên kết quả