o3-mini Level Hard Problem
·29 words·1 min
Blog
DeepSeek's Recipe Evolution
·46 words·1 min
Can You Spot Error Proving 1 = -1?
·27 words·1 min
Phi-4 Now On HuggingFace with MIT Licence!
·54 words·1 min
Phi-4: The Most Powerful smol Model!
·279 words·2 mins
Announcement: PhD Internship for AI for Reasoning
·109 words·1 min
Some Hand Wavy Estimates on FLOPs and Computational Reducibility
·253 words·2 mins
Erdős Open Problems as ASI Benchmark
·40 words·1 min
Tokenization and Decoding
·224 words·2 mins
Scaling Laws and Data Wall
·341 words·2 mins