"Camera lucida" là một thiết bị sử dụng một lăng kính được giữ bởi một khung kim loại để chiếu hình ảnh của cảnh vật trước nó lên một tờ giấy bên dưới, giống như một máy chiếu hiện đại được kết nối với một luồng camera trực tiếp. Chúng có lẽ được phát minh vào đầu những năm 1400, mặc dù các tài liệu công bố về chúng không xuất hiện cho đến cuối những năm 1500. Một phần lý do cho điều đó có thể là vì chúng là bí mật thương mại được bảo vệ chặt chẽ của các nghệ sĩ, những người đã sử dụng chúng để đạt được một mức độ chính xác mà trước đây là không thể hoặc ít nhất là cực kỳ khó khăn để thực hiện bằng tay "tự do". Nghệ sĩ David Hockney đã rất quan tâm đến chủ đề này nhiều năm trước và đã viết một cuốn sách về nó vào năm 2001. Lý thuyết cơ bản của ông là sự cải thiện đáng kể về độ chính xác và tính chân thực có thể được quy cho việc sử dụng bí mật camera lucida (và cũng một thiết bị trước đó gọi là camera obscura). Như ông đã chỉ ra, trước thời kỳ đó, bạn sẽ không bao giờ thấy một bức tranh của một cây đàn lute theo phối cảnh mà không trông bị biến dạng và sai lệch. Trong khi bạn có thể sử dụng "các quy tắc phối cảnh" để vẽ các hình dạng hình chữ nhật đơn giản một cách thực tế, thì hình học phức tạp hơn của một cây đàn lute vượt quá khả năng bình thường của con người để mô tả một cách thực tế trong không gian. Lý thuyết này được biết đến với tên gọi là luận thuyết Hockney-Falco. Kể từ khi tôi học về điều này ở trường đại học vào đầu những năm 2000, tôi đã áp dụng một cách tâm lý một dấu sao cho các tác phẩm của một số họa sĩ nhất định. Ví dụ, mặc dù tôi rất tôn trọng và ngưỡng mộ Ingres và Caravaggio, nhưng sự kính nể của tôi đối với kỹ năng của họ đã bị giảm bớt bởi nhận thức rằng họ có thể đã sử dụng loại hỗ trợ cơ học này. Và chắc chắn, phần lớn nghệ thuật nằm ở khái niệm, bố cục và khung hình, màu sắc, nét vẽ, v.v. Nhưng sự chân thực sống động đến nghẹt thở đó là điều khiến tôi ấn tượng nhất, và phần đó đã bị phá vỡ ít nhất một phần bởi sự tiết lộ này. Nó cũng khiến tôi càng tôn trọng hơn nữa tính chân thực điêu khắc của Michelangelo (và cũng là các nghiên cứu của ông, rõ ràng là những phác thảo được thực hiện từ cuộc sống). Dù sao đi nữa, lý do tôi đề cập đến điều này bây giờ là vì tôi tin rằng chúng ta đang đứng trước bờ vực của cùng một loại điều xảy ra trong các lĩnh vực nghiên cứu toán học với sự xuất hiện của các mô hình như GPT-5 Pro. Tôi đã sử dụng nó để thực hiện những nghiên cứu mà tôi nghi ngờ là thực sự mới mẻ và thú vị (như tôi đã chi tiết trong các chủ đề gần đây), và hôm nay chúng tôi vừa nhận được một bản cập nhật từ Sebastien Bubeck tại OpenAI cho thấy rằng mô hình đã có thể chứng minh một kết quả thú vị trong toán học hiện đại bằng cách sử dụng một chứng minh mới, trong một lần duy nhất không kém. Vì vậy, thời đại mới này đột nhiên đã đến với chúng ta. Chúng tôi vừa thấy một kết quả từ các nhà khoa học máy tính Trung Quốc tuần trước đánh bại một kỷ lục về sắp xếp tối ưu đã tồn tại trong 45 năm. Tôi đã suy nghĩ vào thời điểm đó về việc liệu AI có được sử dụng theo cách nào đó để tạo ra kết quả đó hay không. Cũng xem bài báo gần đây trong tweet được trích dẫn, có một đặc điểm tương tự ở chỗ nó vừa bất ngờ vừa cơ bản. Những điều này dường như là dấu hiệu của những kết quả có thể đã được hưởng lợi từ AI theo một cách nào đó. Bây giờ, tôi không muốn buộc tội những tác giả này về bất cứ điều gì. Theo như tôi biết, họ đã làm mọi thứ bằng tay, giống như các họa sĩ vào những năm 1300. Và ngay cả khi họ đã sử dụng AI để giúp họ, chúng ta vẫn chưa có những quy tắc chấp nhận về cách xử lý điều đó: những tiết lộ nào là cần thiết, và cách tín dụng nên được phân chia và xem xét. Toàn bộ khái niệm về quyền tác giả phải được xem xét lại ngày nay. Trong chủ đề gần đây của tôi, nơi tôi đã điều tra cùng với GPT-5 Pro về việc sử dụng lý thuyết Lie trong học sâu, tôi đã tự mình nghĩ ra các gợi ý, mặc dù tôi sẽ không bao giờ có thể tạo ra lý thuyết và mã mà mô hình phát triển từ những gợi ý đó. Tôi có được tín dụng cho kết quả nếu nó hóa ra cách mạng hóa lĩnh vực này không? Còn về thí nghiệm tiếp theo của tôi, nơi tôi đã sử dụng các gợi ý ban đầu mà tôi tự viết cùng với một "gợi ý meta" để khiến GPT-5 Pro đưa ra 10 cặp gợi ý nữa được mô phỏng lỏng lẻo theo gợi ý của tôi, nhưng liên quan đến các nhánh toán học hoàn toàn khác nhau đã phát triển theo những hướng hoàn toàn khác nhau. ...