2024-09-16T01:22:24+00:00 | 🔗
@wgussml @terrence_tao The hard part about this is that o1 is so damn slow, i would rather use 4o at some point