Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		blog.plover.com The Universe of Discourse: category 'tech/gpt'
\|	\|	www.galois.com Galois - Claude Can (Sometimes) Prove It	7.3 parsecs away Travel
\|	\|	[AI summary] The author tests Anthropic's Claude Code AI agent on formalizing a concurrent program theory in Lean, finding it surprisingly capable of handling complex interactive theorem proving tasks with human supervision.	7.3 parsecs away Travel
\|	\|	thezvi.wordpress.com Claude Opus 4.5 Is The Best Model Available \| Don't Worry About the Vase	7.7 parsecs away Travel
\|	\|	Claude Opus 4.5 is the best model currently available. No model since GPT-4 has come close to the level of universal praise that I have seen for Claude Opus 4.5. It is the most intelligent and capable, most aligned and thoughtful model. It is a joy. There are some auxiliary deficits, and areas where other...	7.7 parsecs away Travel
\|	\|	www.evanmiller.org A Taste of Rust - Evan Miller	6.6 parsecs away Travel
\|	\|	A review of Rust, the programming language built for safety - not necessarily for comfort.	6.6 parsecs away Travel
\|	\|	www.tomsguide.com Forget ChatGPT, Gemini looks set to win the AI race - here's why \| Tom's Guide	18.5 parsecs away Travel
\|		Gemini has the money, the power and the eco-system to be a dominating force in the world of AI.	18.5 parsecs away Travel