Trời ơi, thật điên rồ: Nomos 1 là một mô hình mã nguồn mở 30B vừa đạt 87/120 trong kỳ thi Putnam năm nay, đủ tốt để ước tính vị trí #2/3988, cho thấy rằng hiệu suất toán học gần như hàng đầu của con người giờ đây có thể đạt được với các mô hình tương đối nhỏ cộng với thiết lập sau đào tạo và lý luận tốt. Điều này đưa một "nhà toán học" AI tiên tiến và khả năng lý luận đầy đủ của nó vào tay mọi người, hạ thấp rào cản cho nghiên cứu toán học nghiêm túc, xác minh và các công cụ lý luận nâng cao.