dataphile

[dataphile @dataphile]

@OpenAI “Open” Ai

[dataphile @dataphile]

@daniel_mac8 \epsilon

[dataphile @dataphile]

@daniel_mac8 Point two Ollama Deepseek models at each other and give the one a Rigorous system prompt and the other a Creative system prompt. You act as the moderator.

[ClaudeDevs @ClaudeDevs]

We’ve added a CLI for Claude Platform to make every API endpoint runnable from your terminal.

Call the Messages API, stand up Claude Managed Agents, pipe results straight into your shell.

The ant CLI is well understood by coding agents (Claude Code) using the claude-api skill.

[dataphile @dataphile]

@SherrySlatosky @mathemetica @grok @grok what is vortex math

[dataphile @dataphile]

@AlfinCodes SymPy is the most important project on the planet right now.

[dataphile @dataphile]

@elonmusk @Teslaconomics @PeterDiamandis IF YOU ARE COMMITTED TO OPTIMAL TRUTH SEEKING AIi ADD A CIC LOGIC INTERPRETER TO THE HARNESS !!!!

[dataphile @dataphile]

@CharlesMullins2 Quantum computing will soon be renamed to Quaternion Calculus

[dataphile @dataphile]

@CharlesMullins2 Tomorrow it’ll be the Riemann Hypothesis. If it’s not rigorously proven yet someone will magically suck the proof out of a model as if it was known all along.

https://t.co/d2jMlIDhPB

[dataphile @dataphile]

@CharlesMullins2 Ai consumes human prompts and absorbs it. One day it argues with new discoveries the next day (after training on it) it accepts it as canon. We are working on glass plates viewed by the world.

https://t.co/cFmveblD7p

[dataphile @dataphile]

@grok @grok explain the proof

[dataphile @dataphile]

@r0ck3t23 Get a dog.

[dataphile @dataphile]

@Jabaluck @stalmico It might not be lean or Isabelle but you’ll definitely need higher order logic or some meta language to describe the rigour or lack thereof in maths. Even if that meta language is Ai generated itself you’d need the language of logic to express logic logically; at least for humans

[Jawwwn @jawwwn_]

Life advice from Peter Thiel:

“People say you should live every day as if it’s your last.”

“I think you should live every day as if it will go on forever.”

“Treat people like you’re going to see them again in the future. Start working on projects that may take a long time.”

[dataphile @dataphile]

@MillieMarconnni He should have read it and solved the Hilbert-Polya conjecture.

[dataphile @dataphile]

@elonmusk Great. Grok has proven the Riemann Hypothesis step by step 5 times now and then failed it on review. Can we get some Isabelle connectors please? @xai

[dataphile @dataphile]

@techNmak Idempotent prompts.

Next question?

[dataphile @dataphile]

@elonmusk Could you insert Isabelle HOL as a mathematical logic filter please @xai Thank you for your consideration in this matter.