ai쪽은 이론 -> 구현 텀이길어서 신제품나오기전부터 대충 이런기술로상품을만들수잇겟군~ 하고 감이잡힐텐데
멀티모달이라던가 RAG라던가 대충 개념은 이전부터 잇던것들이잔아요? 최신최신그림인공지능이라는놈들도 DiT 적용해서만드는것들이고
하다못해 알파프루프 <<< 이것도 자동증명연구하시던분들 시도해봣던거고 아니애초에 Lean같은건 나온지 30년도넘어가는 Coq랑 비슷한건데 여기에 머신러닝 적용하자! 라는구상자체는쉽다보니까 오픈소스버전이이미있기도했고
근데 아무튼 추론문제를 해결한 딸기? 이놈은 대체뭘어케한건지감이안잡힘 애초에정보공개를안하긴햇는데... 알파프루프같이 특수한놈이면 근들갑을안떨테고 대충감잡히는기술잇나요?
아무리생각해봐도 그래프기반초거대시맨틱온톨로지데이터베이스같은거 하나만들어서 지식과 언어를 분리햇다! 같은거밖에안떠오르는대
13일까지 기다려보아요