В Science выходит статья DeepMind об агенте AlphaProof Nexus: он сам решил 9 из 353 открытых задач Эрдёша и доказал 44 из 492 гипотез энциклопедии целочисленных последовательностей OEIS, все доказательства проверены в Lean; в том же номере математики Джереми Авигад и Мэтью Баллард пишут колонку «ИИ для исследовательской математики уже здесь»
· Наука
- технология
- ИИ в математике
- источник
- doi.org ↗
¶ ckdzaxmkz