#quantumgames — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #quantumgames, aggregated by home.social.
-
#OpenAI announced that an unreleased version of its #Astra model solved ten long-standing problems in #mathematics and theoretical #computerscience. The solutions, which include results in #geometry, #cryptography, and #quantumgames, were formalised using the Lean proof assistant. While the proof files are public, the #Astramodel itself remains private, raising questions about transparency and reproducibility in AI-assisted mathematics. https://www.implicator.ai/openai-astra-10-math-problems-lean-proofs/?eicker.news #tech #news #ainews
-
#OpenAI announced that an unreleased version of its #Astra model solved ten long-standing problems in #mathematics and theoretical #computerscience. The solutions, which include results in #geometry, #cryptography, and #quantumgames, were formalised using the Lean proof assistant. While the proof files are public, the #Astramodel itself remains private, raising questions about transparency and reproducibility in AI-assisted mathematics. https://www.implicator.ai/openai-astra-10-math-problems-lean-proofs/?eicker.news #tech #news #ainews
-
#OpenAI announced that an unreleased version of its #Astra model solved ten long-standing problems in #mathematics and theoretical #computerscience. The solutions, which include results in #geometry, #cryptography, and #quantumgames, were formalised using the Lean proof assistant. While the proof files are public, the #Astramodel itself remains private, raising questions about transparency and reproducibility in AI-assisted mathematics. https://www.implicator.ai/openai-astra-10-math-problems-lean-proofs/?eicker.news #tech #news #ainews
-
#OpenAI announced that an unreleased version of its #Astra model solved ten long-standing problems in #mathematics and theoretical #computerscience. The solutions, which include results in #geometry, #cryptography, and #quantumgames, were formalised using the Lean proof assistant. While the proof files are public, the #Astramodel itself remains private, raising questions about transparency and reproducibility in AI-assisted mathematics. https://www.implicator.ai/openai-astra-10-math-problems-lean-proofs/?eicker.news #tech #news #ainews
-
#OpenAI announced that an unreleased version of its #Astra model solved ten long-standing problems in #mathematics and theoretical #computerscience. The solutions, which include results in #geometry, #cryptography, and #quantumgames, were formalised using the Lean proof assistant. While the proof files are public, the #Astramodel itself remains private, raising questions about transparency and reproducibility in AI-assisted mathematics. https://www.implicator.ai/openai-astra-10-math-problems-lean-proofs/?eicker.news #tech #news #ainews
-
My latest post on the Qiskit blog is: How to Write a Quantum Story.
Whether you’re looking to develop a quantum game, add some quantum zhuzh to your science fiction screenplay, or are crafting a narrative for an educational program that teaches quantum, you’ll need to step into the world of quantum storytelling.
Give it a read here: https://medium.com/qiskit/how-to-write-a-quantum-story-65edacc272bc
#quantum #quantumgames #storytelling #writingtips #qiskit #writing
