#mathematicalproofs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathematicalproofs, aggregated by home.social.
-
DeepSeekMath‑V2, the new open‑source math engine, can generate and verify its own proofs using an internal critique loop, all with modest test‑time compute. Could it deflate the US AI hype bubble that fuels giants like OpenAI and DeepMind? Dive into the tech, the risks, and why community‑driven research matters. #DeepSeekMathV2 #OpenSource #MathematicalProofs #USAI
🔗 https://aidailypost.com/news/deepseekmathv2-generates-verifies-proofs-aiming-pop-us-ai-bubble
-
DeepSeekMath‑V2, the new open‑source math engine, can generate and verify its own proofs using an internal critique loop, all with modest test‑time compute. Could it deflate the US AI hype bubble that fuels giants like OpenAI and DeepMind? Dive into the tech, the risks, and why community‑driven research matters. #DeepSeekMathV2 #OpenSource #MathematicalProofs #USAI
🔗 https://aidailypost.com/news/deepseekmathv2-generates-verifies-proofs-aiming-pop-us-ai-bubble
-
@Ludo
8/8Does that make sense? To learn more you might like to research how #hashing works, how bitcoin addresses are made, exactly how #blockchains work, how different types of encryption works. Some of the #maths is wild. Where #mathematicalProofs do exist, they are even more wild.
Having said all this, blockchains are not the be-all-and-end-all for all #decentralisation, because they use a lot of bandwidth and diskspace. They do work for a #LayerOne money like #bitcoin.