3-SAT is a grand challenge problem for AI in which a single multimodal model is benchmarked against all 3 sections of the SAT (Mathematics, Verbal, & Writing)

Posters: davidad. davidad

2 likes recorded by the source corpus.

Topics: Learning, AI safety

View Post: https://x.com/davidad/status/1481618702948786178