Ahmad
@TheAhmadOsman
Founder & CEO @OsmanticAI — Accelerating Opensource & Self-hosted / Local AI Adoption • I moderate GPUs on r/LocalLLaMA
加入 February 2011
466 正在关注 78.7K 粉丝
Why do you think Rust works so well for LLMs? Same idea
The biggest impact of mathematics won’t be the millennium problems but proofs in general software at the scale.
I think all mainstream software will be verified by 2030. You likely won’t touch an unverified library.
Some of the biggest hurdles such as formalization of specs and doing this at 1B LoC scale are the ripe targets for auto research/self-improvement loop.
The reason we can say this confidently is because either AI will get paused or the world will end if this doesn’t happen.
显示更多
