After AxiomProver got Putnam perfect score, we felt like it’s the right time to move forward from math Olympiads to “adult” math - research!
We also feel like it’s crucial to choose a theory-building domain.
The first modest test case for the quest of an AI mathematician.

1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance.
This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.

Axiom

Twitter

AxiomProver가 퍼트넘 시험에서 만점을 받은 후, 우리는 수학 올림피아드를 넘어 "성숙한" 수학, 즉 연구 단계로 나아갈 적기라고 생각했습니다!
또한 이론 구축에 기여할 수 있는 분야를 선택하는 것이 중요하다고 느꼈습니다.
이것이 바로 인공지능 수학자의 여정을 위한 첫 번째 소규모 테스트 사례입니다.

Hyperliquid는 지난 2주 동안 거의 42% 상승했는데, 이는 월간 토큰 잠금 해제 비율 88% 인하와 리플과의 제휴 덕분입니다.

하이퍼리퀴드는 리플과의 제휴 이후 시장 폭락에도 불구하고 투자 심리 위축에도 불구하고 상승세를 이어갔다.

[사진 - AI 이미지]사진 - AI 이미지
싱가포르 기반 디지털 자산 플랫폼 SBI Digital Markets(SBIDM)이 지적재산권(IP)을 기초자산으로 한 실물자산(RWA) 토큰화 채권 2건의 발행을 완료했다. 하나는 음반을 담보로 한 3천만 달러 규모 거래이며, 다른 하나는 공연권을 기초로 한 채권이다. 두 거래 모두 2025년 만기로 설계됐다....

전 세계 수억 명의 사용자를 보유한 글로벌 암호화폐 거래소 바이낸스는 오늘 약 3억 달러 상당의 비트코인 ​​4,225개를 비상 준비금으로 추가하여 총 보유량을 10,455개로 늘렸습니다.