Call for stories: human–AI collaboration in recent mathematics

{"tags": ["Terence Tao", "AI for Mathematics", "Human-AI Collaboration", "Scientific Research", "Case Studies"], "risks": ["Bằng chứng mới ở mức lời kêu gọi, chưa cung cấp chi tiết nội dung hoặc kết quả tổng hợp của các câu chuyện.", "Các câu chuyện thực tế có thể mang tính chất giai thoại (anecdotal) hoặc thiên lệch chọn lọc, khó phản ánh toàn diện năng lực tổng quát của AI."], "category": "Research", "entities": ["Terence Tao", "WordPress", "Hacker News"], "summary_vi": "Nhà toán học Terence Tao đăng lời kêu gọi cộng đồng chia sẻ các trường hợp thực tế về sự hợp tác giữa con người và trí tuệ nhân tạo (AI) trong toán học hiện đại. Sáng kiến này nhằm thu thập các dữ liệu thực nghiệm về cách AI đang hỗ trợ hoặc đồng hành cùng giới nghiên cứu giải quyết các bài toán toán học.", "key_changes": ["Terence Tao kêu gọi cộng đồng đóng góp các câu chuyện thực tế về sự cộng tác giữa con người và AI trong nghiên cứu toán học gần đây.", "Chuyển dịch trọng tâm từ đánh giá benchmark toán học lý thuyết sang thu thập dữ liệu thực nghiệm về quy trình làm việc thực tế giữa nhà nghiên cứu và công cụ AI."], "sub_category": "AI for Mathematics", "novelty_score": 62, "business_score": 45, "research_score": 88, "why_it_matters": "Terence Tao là một trong những nhà toán học có tầm ảnh hưởng lớn nhất hiện nay. Việc ông tập hợp các nghiên cứu điển hình thực tế đánh dấu bước tiến quan trọng: đưa AI từ các bài kiểm tra benchmark lý thuyết vào thực tiễn nghiên cứu khoa học đỉnh cao, định hình hướng phát triển cho các công cụ AI hỗ trợ tư duy logic trong tương lai.", "developer_score": 68, "importance_score": 72, "possible_use_cases": ["Đánh giá thực trạng và hiệu quả của các công cụ AI trong quy trình nghiên cứu toán học đỉnh cao.", "Giúp các nhà phát triển công cụ AI và hệ thống chứng minh hình thức (như Lean) nắm bắt nhu cầu và rào cản thực tế của các nhà khoa học.", "Chia sẻ kinh nghiệm và quy trình tích hợp AI tối ưu cho cộng đồng nghiên cứu khoa học."], "actionability_score": 55}