bgavran.bsky.social
I'm building neural networks that generate provably correct code, and the software infrastructure for training them. Recently experimenting with TensorType: https://github.com/bgavran/TensorType www.brunogavranovic.com
👤 Joined on 11 August 2023
Followers
Following
Total Posts
@bgavran.bsky.socialGPT-4 was the undisputed best model in the world for a full year and we all debated whether anyone could catch up or if OpenAI had some secret formula that nobody else knew about. Now there are are 19 AI models that can run on a modern smartphone that are better than GPT-4!
Show Postevery 6 months the Trump administration realizes lowering tariffs will lower prices, applies this insight to one specific good, and then proceeds to never introspect beyond that. It’s honestly beautiful in its stupidity.
Show PostOpenAI announces 10 discoveries from their next model. Observations:: 1) AI is getting very good at math 2) Two years ago LLMs failed at basic math 3) This cost less than $2000 in current API fees 4) OpenAI is focusing on announcing benefits, not just risks, of new models openai.com/index/ten-ad...
Show Postchrist if that’s not a metaphor for our times
Show PostBuckle up, kids — we're taking the factorial of a G-set! For a natural number n, n! = n(n-1)(n-2)⋯1 counts two subtly different structures on the set [n] = {1,2,...,n}: ① the bijections [n]→[n], ② linear orderings of [n]. For a group G acting on a finite set X, we'll try to understand ②. 🧮 1/
Show Post