#astramodel — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #astramodel, 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