José A. Alonso<p>Readings shared March 4, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/04-readings_shared_03-04-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/04-readings_shared_03-04-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logig</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Reasoning</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
ruby.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
If you are interested in the Ruby programming language, come join us! Tell us about yourself when signing up.
If you just want to join Mastodon, another server will be a better place for you.
Administered by:
Server stats:
1.1Kactive users
ruby.social: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#alphageometry
0 posts · 0 participants · 0 posts today
José A. Alonso<p>Gold-medalist performance in solving olympiad geometry with AlphaGeometry2. ~ Yuri Chervonyi et als. <a href="https://arxiv.org/abs/2502.03544" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2502.03544</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Readings shared November 29, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/11/29-readings_shared_11-29-24" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2024/11/29-readings_shared_11-29-24</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean4</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Calculemus</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/AIMO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIMO</span></a> <a href="https://mathstodon.xyz/tags/AlphaProof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaProof</span></a> <a href="https://mathstodon.xyz/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/Dafny" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Dafny</span></a></p>
José A. Alonso<p>Machine learning and mathematics (The twin catalysts poised to accelerate twenty-first century mathematics: formalisation and machine learning). ~ Harald Carlens. <a href="https://joltml.com/ml-mathematics/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">joltml.com/ml-mathematics/</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean4</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/AIMO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIMO</span></a> <a href="https://mathstodon.xyz/tags/AlphaProof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaProof</span></a> <a href="https://mathstodon.xyz/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a></p>
José A. Alonso<p>Readings shared September 11, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/09/11-readings_shared_09-11-24" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2024/09/11-readings_shared_09-11-24</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/NaprocheZF" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NaprocheZF</span></a> <a href="https://mathstodon.xyz/tags/Natty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Natty</span></a> <a href="https://mathstodon.xyz/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a> <a href="https://mathstodon.xyz/tags/AlphaProof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaProof</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/IMO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IMO</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a></p>
José A. Alonso<p>Mathematical Olympiad (To the geometry and beyond...). ~ Mirek Olšák. <a href="https://aitp-conference.org/2024/slides/MO.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">aitp-conference.org/2024/slide</span><span class="invisible">s/MO.pdf</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/IMO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IMO</span></a> <a href="https://mathstodon.xyz/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a> <a href="https://mathstodon.xyz/tags/AlphaProof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaProof</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a></p>
Alessio Pomaro<p>🧠 All'<a href="https://mastodon.uno/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> Festival, a febbraio, e al <a href="https://mastodon.uno/tags/WMF" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WMF</span></a> a giugno, ho parlato dei sistemi neuro-simbolici come proiezione verso il <a href="https://mastodon.uno/tags/futuro" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>futuro</span></a> dell'intelligenza artificiale, facendo l'esempio di <a href="https://mastodon.uno/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a> di Google DeepMind.</p><p>💡 Gary Marcus, nella sua newsletter, parla del plateau dell'AI generativa, vedendo un futuro promettente per l'IA neuro-simbolica, che combina reti neurali con sistemi simbolici per migliorare l'affidabilità e le capacità di ragionamento. </p><p><a href="https://mastodon.uno/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.uno/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenerativeAI</span></a> <a href="https://mastodon.uno/tags/IntelligenzaArtificiale" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IntelligenzaArtificiale</span></a></p>
Alessio Pomaro<p>🧠 <a href="https://mastodon.uno/tags/DeepMind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DeepMind</span></a> ha sviluppato due nuovi modelli di intelligenza artificiale, <a href="https://mastodon.uno/tags/AlphaProof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaProof</span></a> e <a href="https://mastodon.uno/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a> 2, che sono riusciti a risolvere quattro dei sei problemi della International Mathematical Olympiad (IMO), raggiungendo il livello di una medaglia d'argento. <br>💡 Questi modelli hanno dimostrato un avanzato ragionamento matematico, con AlphaProof specializzato in algebra e teoria dei numeri, mentre AlphaGeometry 2 ha eccelso in problemi geometrici. </p><p><a href="https://mastodon.uno/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.uno/tags/GenAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenAI</span></a> <a href="https://mastodon.uno/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenerativeAI</span></a></p>
IT News<p>Google claims math breakthrough with proof-solving AI models - Enlarge / An illustration provided by Google. (credit: Google) </p><p>... - <a href="https://arstechnica.com/?p=2039221" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arstechnica.com/?p=2039221</span><span class="invisible"></span></a> <a href="https://schleuss.online/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a> <a href="https://schleuss.online/tags/alphageometry2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alphageometry2</span></a> <a href="https://schleuss.online/tags/googledeepmind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>googledeepmind</span></a> <a href="https://schleuss.online/tags/alphageometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alphageometry</span></a> <a href="https://schleuss.online/tags/alphaproof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alphaproof</span></a> <a href="https://schleuss.online/tags/biz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>biz</span></a> <a href="https://schleuss.online/tags/google" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>google</span></a> <a href="https://schleuss.online/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a></p>
sofia ☮️🏴<p><a href="https://chaos.social/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a> was one of the more interesting <a href="https://chaos.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> developments lately and i hope the technique will be picked up to to try on other areas of math.</p><p>it seems like all of it is open source so that's a great start:<br><a href="https://github.com/google-deepmind/alphageometry" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/google-deepmind/alp</span><span class="invisible">hageometry</span></a></p><p>let me know of any communities doing this 🐱.</p>
sofia ☮️🏴<p><a href="https://chaos.social/tags/AnotherRoof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AnotherRoof</span></a> did a great video on <a href="https://chaos.social/tags/AlphaGeometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGeometry</span></a>. he looks into one of the proofs in detail and discusses the impact from a mathematician's perspective:</p><p><a href="https://www.youtube.com/watch?v=ZrjarkXS0Fo" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=ZrjarkXS0F</span><span class="invisible">o</span></a></p>
IT News<p>DeepMind AI rivals the world’s smartest high schoolers at geometry - Enlarge / Demis Hassabis, CEO of DeepMind Technologies and developer of... - <a href="https://arstechnica.com/?p=1997186" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arstechnica.com/?p=1997186</span><span class="invisible"></span></a> <a href="https://schleuss.online/tags/alphageometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alphageometry</span></a> <a href="https://schleuss.online/tags/alphazero" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alphazero</span></a> <a href="https://schleuss.online/tags/deepmind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>deepmind</span></a> <a href="https://schleuss.online/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>science</span></a> <a href="https://schleuss.online/tags/alphago" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alphago</span></a> <a href="https://schleuss.online/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload