Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Axiom
Відправна точка для міркування
1/ ВІДПУСКАЮ ВІСЬ: Axiom Lean Engine ⚙️
Ми обслуговуємо нашу основну інфраструктуру для офіційного випробування у великому масштабі.
Це ті самі інструменти Lean метапрограмування, які стоять за AxiomProver, що допомагають йому вигравати Putnam і розкривати дослідницькі гіпотези.
Доступна для будь-кого сьогодні!
269
1/ AxiomProver розв'язав відкриту гіпотезу Феля щодо сизигій чисельних напівгруп, автономно породжуючи формальний доказ у Lean без жодного людського керівництва.
Це перший випадок, коли система штучного інтелекту розв'язала нерозв'язану дослідницьку задачу у теорорійній математиці та самоперевірках.
586
Найкращі
Рейтинг
Вибране