google-deepmind/alphaproof-nexus-results
github.com
Свежая работа по ИИ в математических доказательствах от Google DeepMind (AlphaProof) Успехи ИИ в решении серьёзных математических задач уже мало кого удивляют, но новая работа Google DeepMind интересна не только результатами, а тем, как именно они были получены .
Tool
AI agents