@neuralreckoning I notice a lot of opacity regarding the current achievements of AI in mathematics.
The last time I saw a "break-through" project documented and open-sourced was when Google Deepmind released AlphaGeometry (see https://www.nature.com/articles/s41586-023-06747-5).
Since then, the hype is at all-time high but no clear information whatsoever...
=> More informations about this toot | View the thread | More toots from lipsumdev@mathstodon.xyz
=> View neuralreckoning@neuromatch.social profile
text/gemini
This content has been proxied by September (3851b).