Sky-T1, an open-source reasoning AI model, can be trained for under $450. Developed by UC Berkeley's Sky Computing Lab, it's competitive with OpenAI's o1 in benchmarks. Key characters include NovaSky team and OpenAI.