Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2025?